Рейуорд-Смит В. Дж. Теория формальных языков

Учебный вводный курс. Пер. с англ. — M.: Радио и связь, 1988. — 128 c.: ил. — ISBN 5-256-00159-0. В книге автора из Великобритании изложены основы теории формальных языков. Использован математический аппарат теории множеств, теории графов и математической логики. Все сведения, необходимые для понимания рассмотренных в книге вопросов, приведены в соответствующих главах. Удачно подобранные упражнения в конце каждой главы не только поясняют, но и дополняют основной материал книги.
Для разработчиков программного обеспечения ЭВМ. Предисловие редактора перевода.
Предисловие.
Введение.
Математическое предисловие.
Множества.
Мощность и счетность множества.
Произведения множеств.
Графы и деревья.
Строки.
Упражнения.
Введение в грамматики.
Контекстная грамматика.
Контекстно свободные грамматики.
Грамматический разбор арифметических выражений.
Пустая строка в определении контекстно свободной грамматики.
Упражнения.
Регулярные языки, I.
Регулярные грамматики.
Конечный автомат.
Конечный автомат с ε-переходами.
Упражнения.
Регулярные языки, II.
Регулярные выражения.
Минимизация.
Алгоритмы определения регулярности грамматики.
Упражнения.
Контекстно свободные языки.
Нормальная форма Хомского.
Нормальная форма Грейбаха.
Контекстно свободный язык как решение уравнения.
Упражнения.
Магазинный автомат.
Недетерминированный магазинный автомат.
Недетерминированные магазинные автоматы и контекстно свободные языки.
Детерминированные магазинные автоматы.
Упраженения.
Синтаксический анализ "сверху вниз".
LL(k)-грамматики.
Рекурсивный спуск.
Упражнения.
Синтаксический разбор "снизу вверх".
Грамматика простого предшествования.
LR(0)-грамматики.
LR(1)-грамматики.
Теоретические рассуждения.
Упражнения. файл - b/w 600 dpi (цв. обложки), OCR вычитан, букмарки.