Biçimsel dil kuramı
Bilimsel Kavram
Genel bilgiler
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.
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.
Biçimsel dil kuramı, sıfırdan bir programlama dili geliştirmek isteyen bir bilgisayar programcısının ilk öğrenmesi gereken konulardan biridir.