ozdevinim teorisi olarak da bilinen otomata kurami, teorik bilgisayar yaklasiminda soyut makineleri diger bi degisle matematiksel makineleri ve/veya sistemleri, ve bu makineleri kullanarak hesaplama problemlerinin cozulmesini arastiran pek kiymetli daldir. soyut makinelere otomat denir.
Otomata teorisi uzerine ilk calismalari yapan gunumuz bilgisayarlari henuz var olmamisken, turing machines uzerinde calisan alan turing`dir.
kavranmasi oldukca zordur. program yazarken kullandigimiz derleyici/yorumlayicilarin tasarlanmasiyla yakinen ilgilidir.
yamulmuyorsam otomat kelimesi yunanca`dir. dikkat sac bas yoldurtur.*
