"Elementary computability, formal languages, and automata" - читать интересную книгу автора (McNaughton R.)