Yazeka
Arama sonuçlarına göre oluşturuldu
Biçimsel diller, bilgisayar bilimlerinde, mantıkta ve dil bilim çalışmalarında kullanılan bir dil ailesidir 2. Dilde bulunan bütün ögeler ve dilin ulaşabileceği sınırlar belirli kurallar dahilinde tanımlanabiliyorsa bu dillere biçimsel dil ismi verilir 2.
Otomata teorisi ise teorik bilgisayar biliminde soyut makineleri ve bu makineleri kullanarak hesaplama problemlerinin çözülebilmesini araştıran daldır 2. Bu soyut makineler otomat olarak adlandırılır 2.
Otomata teorisinin yakından ilgilendiği biçimsel dil kuramının bazı unsurları şunlardır:
- Alfabe 24. Bir dilde kullanılan sembollere harf denir ve harflerin listesine de alfabe veya abece denir 24.
- Kelime 24. Harf içermeme durumu null string ile gösterilir 2.
- Kleene Star (*) 24. Bir alfabenin önüne yıldız konulduğunda, o alfabedeki tüm karakterlerin mümkün olan tüm kombinasyonları elde edilir 24.
- Plus (+) 24. En az bir kere o karakterden gelmesi anlamında gelir 2.
- Öz yinelemeli tanımlamalar 2. Bir yapının (kendi kendine) yinelenmesidir 2.
- Düzenli ifadeler (REX) 2. Tanımlı olan dilde üretilebilecek olan ifadelerin gösterim biçimidir 2.
5 kaynaktan alınan bilgiyle göre: