Özdevinim kuramı

Vikipedi, özgür ansiklopedi
Atla: kullan, ara
Bir özdevinim örneği. Özdevinim kuramında, bu gibi özdevinimlerin matematiksel özellikleri incelenir.

Özdevinim kuramı, otomat kuramı ya da otomata kuramı, kuramsal 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 özdevinim ya da otomat denir. Otomat kelimesinin kökeni Yunanca'dır (αὐτόματα) ve "kendi kendine hareket eden" anlamına gelir.

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

Özdevinim sınıfları[değiştir | kaynağı değiştir]

Ayrıca bakınız[değiştir | kaynağı değiştir]