Teori automata

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.

Rencana ini merupakan rencana tunas. Anda boleh membantu Wikipedia dengan mengembangkannya.