Dalam teori sains komputer, teori automata ialah kajian mengenai mesin-mesin abstrak dan masalah-masalah yang mampu diselesaikannya. Teori automata sangat berkait rapat dengan teori bahasa formal dan teori automata kerap dikelaskan sebagai sebahagian kajian dalam bahasa-bahasa formal.


Jika anda melihat rencana yang menggunakan templat {{tunas}} ini, gantikanlah ia dengan templat tunas yang lebih spesifik.