Teorya ng automata

Sa teoretikal na agham pangkompyuter, ang teoriya ng automata (Ingles: automata theory) ang pag-aaral ng mga abstraktong makina (o mas angkop na mailalarawang abstraktong 'matematika' na mga makina o sistema kung paanong ang mga ito ay inilalarawan sa mga terminong matematikal) at mga komputasyonal na problema na malulutas gamit ang mga makinang ito. Ang mga abstraktong makinang ito ay tinatawag na automata. Ang salitang automata ay nanggaling sa salitang Griyegong αὐτόματα na nangangahulugang "umaasal sa sarili".

Teoretikal na agham pangkompyuter