Оглавление Предисловие Глава 1. Автоматы: методы и понятия Глава 2. Конечные автоматы Глава 3. Регулярные выражения и языки Глава 4. Свойства регуляных языков Глава 5. Контекстно-свободные грамматики и языки Глава 6. Автоматы с магазинной памятью Глава 7. Свойства контекстно-свободных языков Глава 8. Введение в теорию машин Тьюринга Глава 9. Неразрешимость Глава 10. Труднорешаемые проблемы Глава 11. Дополнительные классы проблем Предметный указатель