- •Курс лекций
- •Оглавление
- •Лекция 1 Языки и грамматики Языки
- •ГГрамматики
- •Лекция 2 Конечные автоматы Автоматы
- •Детерминированные конечные автоматы (распознаватели)
- •Языки и детерминированные конечные автоматы
- •Лекция 3 Конечные автоматы Недетерминированные конечные автоматы (распознаватели)
- •Эквивалентность дка и нка
- •Лекция 4 Конечные автоматы Минимизация конечных автоматов
- •Лекция 5 Регулярные выражения и регулярные грамматики
- •Регулярные выражения
- •Связь между регулярными выражениями и автоматными языками
- •Лекция 6 Регулярные выражения и регулярные грамматики Регулярные грамматики
- •Лекция 7 Свойства регулярных языков
- •Замкнутость класса регулярных языков
- •Алгоритмические проблемы регулярных языков
- •Лемма о расширении регулярных языков
- •Лекция 8 Контекстно-свободные языки
- •Контекстно-свободные грамматики
- •Лекция 9 Контекстно-свободные языки
- •Грамматический разбор
- •Неоднозначность грамматик и языков
- •Лекция 10 Преобразования кс‑грамматик и нормальные формы
- •Методы преобразования грамматик
- •Лекция 11 Преобразования кс‑грамматик и нормальные формы
- •Нормальные формы кс-грамматик
- •Лекция 12 Магазинные автоматы Магазинные автоматы
- •Недетерминированные магазинные автоматы
- •Лекция 13 Магазинные автоматы Магазинные автоматы и кс-языки
- •Лекция 14 Магазинные автоматы Детерминированные магазинные автоматы и детерминированные кс-языки
- •Лекция 15 Свойства контекстно-свободных языков
- •Лемма о расширении
- •Свойства замкнутости класса контекстно-свободных языков
- •Лекция 16 Свойства контекстно-свободных языков Некоторые алгоритмические проблемы для кс-языков
- •Предметный указатель
- •Формальные языки и грамматики Курс лекций
Предметный указатель
автомат
детерминированный 15
детерминированный конечный 17
недетерминированный конечный 15, 23
алфавит 6
алфавит входной 17
гомоморфизм 58
гомоморфный образ 59
грамматика
леволинейная 50
праволинейная 50
грамматики
эквивалентные 13
грамматический разбор 74
граф зависимости 89
диаграмма переходов 18
длина строки 7
дополнение 8
замыкание Клини 9
звездочка 9
информация входная 14
итерация языка 8
конкатенация 6
леворекурсивные продукции 86
лемма о расширении для контекстно-свободных языков 129
лемма о расширении регулярных языков 63
минимизация конечных автоматов 31
неоднозначность грамматик 79
нетерминалы 11
нисходящий разбор 75
нормальные формы 83
Грейбах 84, 101
Хомского 84, 98
обнуляемый нетерминал 93
обращение 7
однозначность грамматик 79
переменные 11
подстрока 7
полный разбор 75
правила подстановки 84
префикс строки 7
продукция 11
пустая строка 7
распознаватель 16, 17, 23
регулярное пересечение 137
регулярный язык 22
сентенциальная форма 12
сентенция 12
слово 12
состояние
внутреннее 17
заключительное 18
начальное 18
недостижимое 32
неразличимое 32
различимое 33
стандартное представление 61
строка 6
строка входная 14
суффикс строки 7
сцепление 8
теорема Клини 46
терминалы 11
устройство временной памяти 14
устройство управления 14
формальный язык 7
функция перехода автомата 15
функция переходов 18, 24
цепная продукция 95
эквивалентные
автоматы 27
язык
автоматный 22
однозначный 82
порождаемый грамматикой 12
существенно неоднозначный 82
Валерий Анатольевич Соколов
Формальные языки и грамматики Курс лекций
Редактор, корректор В.Н. Чулкова
Лицензия ЛР № 020319 от 30.12.96
Подписано в печать 01.09.2003. Формат 6084/16. Бумага Data Copy. Печать офсетная. Усл. печ. л. 9,0. Уч.-изд. л. 5,0. Тираж 200 экз. Заказ
Оригинал-макет подготовлен редакционно-издательским отделом Ярославского государственного университета им. П.Г. Демидова
Ярославский государственный университет им. П.Г. Демидова 150000 Ярославль, ул. Советская 14.
Отпечатано на ризографе.
ООО "Рио-Гранд", Ярославль, ул. Чкалова, 2