automata theory (Q214526)
study of abstract machines and automata
Language: