Список литературы
1.Ахо, А., Ульман, Д. Теория синтаксического анализа, перевода и компиляции : в 2 т. Москва : Мир, 1978. Т. 1. 309 с.
2.Handbook of Formal Languages. Word, Language, Grammar : in 3 vols / ed. by G. Rozenberg, A. Salomaa. Berlin ; Heidelberg : Springer, 1997. Vol. 1. 873 p.
3.Salomaa, A. Formal languages. New York ; London : Academic press, 1973.
322 p.
4.Волкова, И. А., Вылиток, А. А., Руденко, Т. В. Формальные грамматики и языки. Элементы теории трансляции. Москва : Издательский отдел факультета ВМиК МГУ им. М. В. Ломоносова, 2009. 115 с.
5.Ахо, А., Лам, М., Сети, Р., Ульман, Д. Компиляторы: принципы, технологии и инструментарий. 2-е изд. Москва : Вильямс, 2018. 1184 с.
6.Мартыненко, Б. К. Языки и трансляции. 2-е изд. Санкт-Петербург : Издательство Санкт-Петербургского университета, 2013. 265 с.
7.Саломаа, А. Жемчужины теории формальных языков. Москва : Мир, 1986.
159 с.
8.Хопкрофт, Д. Э., Мотвани, Р., Ульман, Д. Д. Введение в теорию автоматов, языков и вычислений. 2-е изд. Москва : Вильямс, 2008. 528 с.
9.Linz, P. An introduction to formal languages and automata. 5th ed. Sudbury, MA : Jones & Bartlett Learning, 2012. 456 p.
Оглавление
Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
3 |
1. Формальные языки . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.1. Алфавит и цепочки . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.2. Языки и операции над ними . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.3. Способы задания языков . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2. Грамматики . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.1. Формальное определение грамматики . . . . . . . . . . . . . . . . . . . . . . 13 2.2. Классификация грамматик по Хомскому . . . . . . . . . . . . . . . . . . . . 17 2.3. Свойства языков и грамматик . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3. Иерархия автоматов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 3.1. Конечные автоматы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 3.2. Автоматы с магазинной памятью . . . . . . . . . . . . . . . . . . . . . . . . . 49 3.3. Линейно ограниченные автоматы . . . . . . . . . . . . . . . . . . . . . . . . . 51 3.4. Машины Тьюринга . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4. Регулярные и контекстно-свободные языки . . . . . . . . . . . . . . . . . . . . 56
4.1. Регулярные множества и регулярные выражения . . . . . . . . . . . . . . 56 4.2. Самовставленные языки . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 4.3. Лемма о накачке для регулярных языков . . . . . . . . . . . . . . . . . . . . 65 4.4. Деревья вывода и однозначность грамматик типа 2 . . . . . . . . . . . . 66 4.5. Преобразования КС-грамматик . . . . . . . . . . . . . . . . . . . . . . . . . . . 70 4.6. Лемма о накачке для КС-языков . . . . . . . . . . . . . . . . . . . . . . . . . . 74
Список литературы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
78 |
Учебное издание
Миронов Сергей Владимирович
ФОРМАЛЬНЫЕ ЯЗЫКИ И ГРАММАТИКИ
Учебное пособие для студентов факультета компьютерных наук
и информационных технологий
Редактор Е. А. Малютина
Технический редактор М. В. Садыкова
Корректор Т. К. Певная
Оригинал-макет подготовил И. А. Каргин
Подписано к использованию 24.12.19. Формат 60×84 1/16. Усл. печ. л. 4,65 (5,00). Объем данных 0,5 Мб.
Издательство Саратовского университета. 410012, Саратов, Астраханская, 83.