Otomat teorisi

Bir otomat örneği. Otomat teorisinde, bu gibi otomatların matematiksel özellikleri incelenir.

Otomat teorisi (özdevinim kuramı ya da otomata teorisi, teorik bilgisayar biliminde soyut makineleri (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 αὐτόματα kelimesi olup "kendi kendine hareket eden" demektir.

Otomatlar hesaplama teorisi, derleyici tasarımı ve çözümlemede (parsing) önemli bir rol oynamaktadır.

Özdevinim sınıfları

Ayrıca bakınız

This article is issued from Vikipedi - version of the 8/28/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.