Automaton (satu automaton, beberapa automata) adalah sebuah konsep dari matematika. Kadang-kadang konsep ini disebut mesin keadaan. Ini seperti mesin abstrak.
Mesin semacam itu bisa diberi input, yang ditolak, atau diterima. Ini seperti mesin penjual otomatis. Ketika sesuatu dibeli, koin (atau uang) perlu dimasukkan ke dalam mesin. Jika koin-koin ini benar, maka koin-koin ini diterima, dan barang yang diminta akan dijatuhkan sehingga bisa dikeluarkan. Jika koinnya salah, maka ditolak.
Secara internal, otomat memiliki berbagai keadaan yang berbeda. Memberi input mungkin (atau mungkin tidak) mengubah keadaannya. Dengan begitu, automaton melewati semua input, mengkonsumsi satu item (yang oleh para matematikawan disebut simbol) pada satu waktu. Ketika tidak ada simbol yang tersisa, automaton berada dalam keadaan tertentu. Ini mungkin merupakan keadaan akhir. Dalam hal ini input diterima. Jika tidak, input ditolak.
Jika mesin memiliki jumlah state yang dapat dihitung dan terbatas, maka mesin itu disebut finite state machine. Diagram yang menunjukkan semua state, dan transisi dari mesin seperti itu disebut finite state diagram.

