Bu madde hiçbir kaynak içermemektedir. (Bu şablonun nasıl ve ne zaman kaldırılması gerektiğini öğrenin)
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 "Grekçe: αὐτόματα" kelimesi olup "kendi kendine hareket eden" demektir.
Bir otomat 5 elemanlı bir demet ile tanımlanır ⟨Q,∑,δ,q0,F⟩:
|Yazılım ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.|