Biçimsel dil kuramı: Revizyonlar arasındaki fark

[[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.

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_dilleriProgramlama dilleri|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.

[[heko:שפה형식 פורמלית언어]]

[[kohu:형식Formális 언어nyelv]]