ЯЗЫКИ И ТРАНСЛЯЦИИ Часть I

download report

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