[[Dosya:DFAexample.svg|thumb|right|Bir özdevinimotomat örneği. ÖzdevinimOtomat kuramındateorisinde, bu gibi özdevinimlerinotomatların matematiksel özellikleri incelenir.]]
'''ÖzdevinimOtomat kuramıteorisi''', ('''otomatözdevinim kuramı''' ya da '''otomata kuramıteorisi''', [[kuramsalteorik 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 özdevinim ya da otomat denir. Otomat kelimesinin kökeni [[Yunanca]]'dır({{dil|grc|αὐτόματα)}} vekelimesi olup "kendi kendine hareket eden" anlamına gelirdemektir.
ÖzdevinimlerOtomatlar [[hesaplama kuramıteorisi]], [[derleyici]] tasarımı ve [[çözümleme]]de (''{{dil|en|parsing}}'') önemli bir rol oynamaktadır.