Stav dette: Counter-free automata [by] Robert McNaughton [and] Seymour Papert.