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.