Teori Otomata adalah teori mengenai mesin-mesin abstrak, dan berkaitan erat dengan teori bahasa formal.

Otomata Berhingga

Definisi Matematis

Otomata adalah sebuah 5-tupel  :

  •   adalah himpunan berhingga dari state,
  •   adalah himpunan simbol-simbol,
  •   adalah fungsi transisi
  •   adalah simbol awal
  •   adalah state akhir

Jenis-jenis Otomata Berhingga

Hubungan dengan Tata Bahasa