Automata Studies. (AM-34) (Annals of Mathematics Studies)