Counter-free automata by Robert McNaughton | Menrva Books