# Biçimsel dil kuramı

### Vikipedi, özgür ansiklopedi

Biçimsel dil kuramı, teorik bilişimin temel dallarından biridir. Bir biçimsel dil, alfabe denilen belli bir küme Σ üzerinde kurulan katarlardan oluşur. Biçimsel dilleri tanımlamak için ifadeler, gramerler, ya da tanımlanan dile ait olan katarları kabul eden otomatlar kullanılır. Bunun yüzünden otomat kuramı ile ilişkisi çok önemlidir.

Biçimsel diller, Chomsky sınıflandırmasına göre 4 sınıfa ayırılır:

- Tip 3 Düzenli diller
- Tip 2 Bağlamdan bağımsız diller
- Tip 1 Bağlama duyarlı diller
- Tip 0 Özyinelemeli sayılabilir diller

Her sınıf, daha küçük sayılı sınıfların bir alt kümesidir. Tip 0 en genel sınıftır, Turing makina ve bilgisayar programıyla sayılanan her dilli kapsar.

Bu sınıflandırma (hiyerarşi), dillerin katarlarını türetten gramer ya da kabul eden makinaların hesaplama gücüne göre yapılmıştır.

## [değiştir] Uygulama

Teorik bilişim bilimi bakımından önemli olan bu madde pratikte programlama dilleri kullanarak bilgisayar programları üretilmesini sağlayan derleyici ve yorumlayıcı yazılımlarının hazırlanmasında önemli bir rol oynar. Biçimsel dil kuramı, sıfırdan bir programlama dili geliştirmek isteyen bir bilgisayar programcısının ilk öğrenmesi gereken konulardan biridir. Mesela alttaki Tip 2 grameri Java,C,C++ de kullanılan floating point sayılarından oluşan biçimsel dili tanımlar; bu dil 3.1415, ya da 1.40239846e-45f gibi sayıların yazılış şekillerini gösterir.

    FloatingPointLiteral:
           Digits . [Digits] [ExponentPart] [FloatTypeSuffix]
           . Digits [ExponentPart] [FloatTypeSuffix]
           Digits ExponentPart [FloatTypeSuffix]
           Digits [ExponentPart] FloatTypeSuffix
    Digits:
           Digit
           Digits Digit
    Digit:
           0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
    ExponentPart:
           ExponentIndicator SignedInteger
    ExponentIndicator: one of
           e E
    SignedInteger:
           [Sign] Digits
    Sign: one of
           + -
    FloatTypeSuffix: one of
           f F d D

| Dil ile ilgili bu madde bir taslaktır. İçeriğini geliştirerek Vikipedi'ye katkıda bulunabilirsiniz.

"http://tr.wikipedia.org../../../b/i/%C3%A7/Bi%C3%A7imsel_dil_kuram%C4%B1.html"'dan alındı

Sayfa kategorisi: Dil taslakları

##### Views

- Madde
- Tartışma
- Güncel sürüm

##### Ara

##### Diğer diller

- العربية
- Български
- Česky
- Deutsch
- Ελληνικά
- English
- Español
- Suomi
- Français
- עברית
- Magyar
- Italiano
- 日本語
- 한국어
- Nederlands
- Polski
- Português
- Română
- Русский
- Slovenčina
- 中文