Otomat teorisi: Revizyonlar arasındaki fark

'''Özdevinim kuramı''', '''otomat kuramı''' ya da '''otomata kuramı''', [[kuramsal bilgisayar bilimi]]nde [[soyut makine]]lerinleri (ya da daha uygun bir deyimle soyut 'matematiksel' makinelerinmakineleri veya sistemlerinsistemleri) 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.