"An introduction to formal languages and machine computation" - читать интересную книгу автора (Song Y. Yan.)