"Introduction to Formal Language Theory (Addison-Wesley series in computer science)" - читать интересную книгу автора (Michael A. Harrison)