Скачиваний:
11
Добавлен:
01.05.2014
Размер:
15.96 Кб
Скачать

ОГЛАВЛЕНИЕ

Введение 3

1.ОПИСАНИЕ СИНТАКСИСА ВХОДНОГО ЯЗЫКА 4

1.1. Нормальные формы Бэкуса  5

1.2. Формальные грамматики и языки  7

2. ВНУТРЕННИЕ ФОРМЫ ПРЕДСТАВЛЕНИЯ ПРОГРАММЫ 12

2.1  Лексемы 12

2.2. Польская инверсная запись 13

2.3. Тетрады 17

2.4. Триады и косвенные триады 19

3. АТРИБУТНЫЕ ТРАНСЛИРУЮЩИЕ ГРАММАТИКИ 21

3.1. Транслирующие грамматики 21

3.2. Атрибутные транслирующие грамматики 24

3.2.1. Синтезированные атрибуты 24

3.2.2. Унаследованные атрибуты 26

3.2.3. Определение атрибутной транслирующей грамматики 28

3.2.4. L-атрибутные и S-атрибутные транслирующие грамматики 33

3.2.5. Форма простого присваивания 34

4. ПРОЕКТИРОВАНИЕ ОПИСАНИЯ ПЕРЕВОДА 38

4.1. Методика проектирования описания перевода 38

4.2. Пример разработки атрибутной транслирующей грамматики 41

5. РЕАЛИЗАЦИЯ ПЕРЕВОДА С ИСПОЛЬЗОВАНИЕМ АТРИБУТНЫХ ТРАНСЛИРУЮЩИХ ГРАММАТИК 53

5.1. Реализация перевода нисходящими методами 53

5.2. Реализация перевода восходящими методами 58

Список литературы  62

Опалева Эльвира Александровна

Самойленко Владимир Петрович

Семенова Оксана Николаевна

Формальные методы описания перевода

Учебное пособие

Редактор Э. К. Долгатов

ЛР № 020617 от 24.06.98

Подписано в печать Формат 60 х 84 1/16. Бумага офсетная.

Печать офсетная. Усл. печ. л. 3.72 . Уч.-изд. л. 4.0.

Тираж 100 экз. Заказ

––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––

Издательство СПбГЭТУ “ЛЭТИ”

197376, С.-Петербург, ул. Проф. Попова, 5

Соседние файлы в папке ФОРМАЛЬНЫЕ МЕТОДЫ ОПИСАНИЯ ПЕРЕВОДА