Formal Language
Belirli bir alfabe üzerindeki sonlu dizgeler kümesi olarak tanımlanan ve üyeliği matematiksel kurallarla incelenen dil modeli.
Biçimsel dil, bir alfabenin oluşturabildiği tüm sonlu dizgelerin içinden seçilmiş bir kümedir. Bir dizgenin anlamlı görünmesi değil, tanımlanan üyelik koşulunu sağlayıp sağlamaması önemlidir.
Diller; düzenli ifadeler, gramerler veya onları tanıyan makine modelleri üzerinden tanımlanabilir. Bellek modeli güçlendikçe tanınabilen dil sınıfı da değişir.
Sonlu Otomat düzenli dilleri tanır; Sağ Doğrusal Dilbilgisi aynı sınıfı üretim kuralları üzerinden ifade eder. Konunun sistematik akışı Otomatlar Kuramı ve Biçimsel Diller ders notunda ele alınır.