Otomat teorisi: Revizyonlar arasındaki fark

[[Dosya:DFAexample.svg|thumb|sağ|Bir otomat örneği. Otomat teorisinde, bu gibi otomatların matematiksel özellikleri incelenir.]]

'''Otomat teorisi''' ('''özdevinim kuramı''' ya da '''otomata teorisi''', [[teorik bilgisayar bilimi]]nde [[soyut makine]]leri (ya da daha uygun bir deyimle soyut 'matematiksel' makineleri veya sistemleri) ve bu makineleri kullanarak hesaplama problemlerinin çözülebilmesini araştıran daldır. Bu soyut makinelere otomat denir. Otomat kelimesinin kökeni [[Yunanca]] "{{dil|grc|αὐτόματα}}" kelimesi olup "kendi kendine hareket eden" demektir.

{{bilgisayar bilimi}}

{{yazılım-taslak}}

 

[[Kategori:Otomat teorisi| ]]