teorik bilişimin temel dallarından biridir. bir biçimsel dil, abece 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 ozyinelemeli 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.
kaynak: wikipedia.
#960441
