Automata theory (Acad. Pr., 1966)