- •Елементи теорії формальних мов Означення формальної мови Алфавіт і ланцюжки
- •Формальні мови і регулярні операції над мовами
- •Способи визначення формальних мов
- •Форма Бекуса-Наура
- •Розширена форма Бэкуса-Наура
- •Синтаксичні діаграми
- •Граматики Хомського
- •Розпізнавачі
- •Скінченні автомати
- •Приклад недетермінованого скінченного автомата
- •Приклад детермінованого скінченного автомата
- •Моделювання роботи скінченного детермінованого автомату
- •If (q is in f) // автомат попав в заключний стан ?
- •Магазинні автомати
- •Приклад магазинного автомата
- •Регулярні множини і регулярні вирази
- •Література
Література
Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов.–М.: Мир, 1979.–654 с.
Хантер Р. Проектирование и конструирование компиляторов.–М.: Финансы и статистика, 1984.–232 с.
Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. т. 1. Синтаксический анализ,–М.: Мир, 1978.–489с.
Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. т. 2. Компиляция.–М.: Мир, 1978.– 612с.
Бек Л. Введение в системное программирование.–М.: Мир, 1988.– 448 с.
Гинзбург С. Математическая теория контекстно-свободных языков. – М.: Мир, 1970.– 326 с.
Гладкий А. В. Формальные грамматики и языки. – М.: Наука, 1973. –368 с.
Грис Д. Конструирование компиляторов для цифровых вычислительных машин. – М.: Мир, 1975.–544 с.
Гросс М., Лантен А. Теория формальных грамматик. – М.: Мир, 1971. –294 с.
Рейуорд-Смит В. Дж. Теория формальных языков: Вводный курс. – М.: Радио и связь, 1988. –129 с.
Альфред Ахо, Рави Сети, Джеффри Ульман. Компиляторы. Принципы, технологии, инструменты.–M.: Издательский дом "Вильямс", 2001.–768 c.
Карпов Ю.Г. Теория автоматов. – СПб.: Питер, 2002. – 224 с.
Фридл Дж. Регулярные выражения. Библиотека программиста. –СПб.: Питер, 2002. – 352 с.
Хопкрофт Джон, Мотвани Раджив, Ульман Джефри. Введение в теорию автоматов, языков и вычислений.–M.: Издательский дом "Вильямс", 2002.–528 c.
