Аннотація | Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и неразрешимых проблем, а также определяются функции временной и емкостной оценки сложности алгоритмов. Изложение ведется строго, но доступно, и сопровождается многочисленными примерами, а также задачами для самостоятельного решения. Книгабудет полезна читателям различных категорий - студентам, аспирантам, научным сотрудникам, преподавателям высших учебных заведений, а также всем, кто интересуется математическими основами современной вычислительной техники.
Предисловие
ГЛАВА 1. Автоматы: методы и понятия
ГЛАВА 2. Конечные автоматы
ГЛАВА 3. Регулярные выражения и языки
ГЛАВА 4. Свойства регулярных языков
ГЛАВА 5. Контекстно-свободные грамматики и языки
ГЛАВА 6. Автоматы с магазинной памятью
ГЛАВА 7. Свойства контекстно-свободных яз |