"Languages and machines: An introduction to the theory of computer science" - читать интересную книгу автора (Sudkamp T.)