Transcript ЯЗЫКИ И ТРАНСЛЯЦИИ Часть I
ТЕОРИЯ ФОРМАЛЬНЫХ ЯЗЫКОВ И ТРАНСЛЯЦИЙ
Мартыненко Борис Константинович
д.ф.-м.н., проф. кафедры информатики Лекции для студентов 3 курса отделения информатики 1
ОГЛАВЛЕНИЕ
•
Введение
Часть I: ЯЗЫКИ, ГРАММАТИКИ, АВТОМАТЫ
• •
Глава 1
. Языки и их представление
Глава 2
.
Грамматики 2
ОГЛАВЛЕНИЕ
• • •
Глава 3
.
Конечные автоматы и регулярные грамматики
Глава 4
.
Контекстно-свободные грамматики
Глава 5
.
Магазинные автоматы 3
ОГЛАВЛЕНИЕ
• • •
Глава 6
.
Машины Тьюринга
Глава 7
.
Машины Тьюринга: проблема остановки, языки типа 0
Глава 8
.
Линейно ограниченные автоматы и контекстно зависимые языки •
Глава 9
. Операции над языками 4
Часть II: ТРАНСЛЯЦИИ И СИНТАКСИЧЕСКИЕ МЕТОДЫ ИХ РЕАЛИЗАЦИИ
• •
Глава 1
.
Трансляции, их представление и реализация
Глава 2
.
LL
(
k
)-Грамматики и трансляции 5
ТЕОРИЯ ФОРМАЛЬНЫХ ЯЗЫКОВ И ТРАНСЛЯЦИЙ
Приложение:
Неразрешимые и разрешимые проблемы, касающиеся формальных языков
Программа курса Список задач
6
Литература
Учебное пособие
Мартыненко Б. К.
Языки и трансляции.
— С.Пб.: 2-e изд., СПбГУ, 2013. 265 с.
7
Литература
1.
Greibach S. A.
A note on undecidable properties of formal languages // Math.
Systems Theory. 1968. Vol. 2, №1. P.1–6.
2. Hopcroft J. E., Ullman J. D.
Formal languages and their relation to automata. — Reading, MA: Addison-Wesley Pub. Co., Inc., 1969. 242 p.
8
Литература
3.
Rozenberg G., Salomaa A.
Handbook of Formal Languages. — Berlin, Heidelberg: Springer-Verlag, 1997.
Vol.1: Word, Language, Grammar, 873 p., Vol. 2: Linear modeling: background and application, 528 p., Vol. 3: Beyond words, 625 p.
4.
Salomaa A.
Formal languages. — N.Y.: Academic Press, 1973. 335 p.
9
Литература
5.
Агафонов В. Н.
Синтаксический анализ языков программирования: Учеб. пособие. — Новосибирск: Изд-во НГУ, 1981. 91 с.
6. Ахо А., Ульман Дж.
Теория синтаксиче ского анализа, перевода и компиляции. — М.: Мир, 1978.
Т. 1: Синтаксический анализ. 612 с.; Т. 2: Компиляция. 487 с. 10
Литература
7.
Братчиков И. Л.
Синтаксис языков про граммирования. — М.: Наука, 1975. 232 с.
8.
Гинзбург С.
Математическая теория контекстно-свободных языков. — М.: Мир, 1970. 326 с.
9.
Гладкий А. В.
Формальные грамматики и языки. — М.: Наука, 1973. 368 с.
11
Литература
10.
Грис Д.
Конструирование компиляторов для цифровых вычислительных машин. — М.: Мир, 1975. 544 с.
11.
Гросс М., Лантен А.
Теория формаль ных грамматик. — М.: Мир, 1971. 294 с.
12.
Кнут Д.
Искусство программирования для ЭВМ. Т.1. — М.: Мир, 1976. 735 с.
12
Литература
13.
Льюис Ф., Розенкранц Д., Стирнз Р.
Теоретические основы проектирования компиляторов. — М.: Мир, 1979. 654 с.
14.
Рейуорд-Смит В. Дж.
Теория формаль ных языков: Вводный курс. — М.: Радио и связь, 1988. 129 с.
15.
Саломаа А.
Жемчужины теории фор мальных языков. — М.: Мир, 1986. 159 с.
13
Литература
16.
Сб.
Семантика
статей языков программирования: под ред.
А.Н.Маслова Э.Д.Стоцкого — М.: Мир, 1980. 394 с.
и
17.
Фитиалов С.Я.
Формальные граммати ки. — Л..: Изд-во Ленингр. ун-та, 1984. 99 с.
18.
Фостер Дж.
Автоматический синтакси ческий анализ. — М.: Мир, 1975. 71 с.
14
Литература
19.
Хантер Р.
Проектирование и конструи рование компиляторов. — М.: Финансы и статистика, 1984. 232 с.
20.
Языки и автоматы:
Сб. статей под ред.
В.М.Курочкина. — М.: Мир, 1975. 358 с.
15