Biçimsel dil kuramı
kendisine özgü kurallar tarafından kısıtlanabilecek sembol dizileri kümesi; harfleri bir alfabeden alınan ve belirli kurallara göre iyi biçimlendirilmiş kelimeler / From Wikipedia, the free encyclopedia
Biçimsel dil kuramı, teorik bilişimin temel dallarından biridir. Bir biçimsel dil, abece denilen belli bir küme Σ üzerinde kurulan dizilerden oluşur. Biçimsel dilleri tanımlamak için ifadeler, gramerler ya da tanımlanan dile ait olan dizileri kabul eden otomatlar kullanılır. Bunun yüzünden otomat kuramı ile ilişkisi çok önemlidir.
![]() | Bu madde çoğu okuyucunun anlayamayacağı kadar teknik olabilir. (Nisan 2023) |
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 makine ve bilgisayar programıyla sayılanan her dilli kapsar.
Bu sınıflandırma (hiyerarşi), dillerin dizilerini türeten gramer ya da kabul eden makinaların hesaplama gücüne göre yapılmıştır.