Введение в теорию компиляции презентация

исходном (входном) языке в эквивалентную ей программу на результирующем (выходном) языке




Входные данные – программа на исходном языке программирования
Выходные данные – программа на результирующем языке, или сообщение об ошибках
Эквивалентность – совпадение смысла исходной и результирующей программ с точки зрения семантики входного и семантики выходного языка

Транслятор

исходная программа

результир.
программа

сообщение об ошибках

программу в эквивалентную ей результирующую программу на языке машинных команд или на языке ассемблера

Компилятор – частный случай транслятора

Результирующая программа называется объектной программой

Результирующая программа предназначена для выполнения на вычислительной системе определенной архитектуры – на целевой вычислительной системе

исходную программу на входном языке и выполняет ее

Не порождает результирующую программу

Результат работы интерпретатора – результат выполнения исходной программы

Исходная программа преобразовывается в язык машинных команд, но команды порождаются, выполняются и уничтожаются интерпретатором по мере надобности и невидимы для пользователя

анализ
- синтаксический разбор
- семантический анализ
- подготовка к генерации кода
- генерация кода

специальным образом организованные наборы данных для хранения информации об элементах исходной программы

Элементы программы – переменные, константы, функции и т.п.

преобразованного, текста исходной программы, т.е. выполнение одной или нескольких фаз компиляции
Количество проходов – важная техническая характеристика компилятора
Результат прохода – внутреннее представление исходной программы (кроме последнего), которое хранится в оперативной памяти или во временных файлах на диске

Зависимость:

Количество проходов зависит от грамматики и семантических правил исходного языка

проход

2-ой проход

3-ий проход

Таблица лексем

Семантическое дерево
(ОПЗ, тетрады, триады)

Исходная программа

Объектная программа

информации
может быть одна ТИ или несколько (например, для различных модулей или различных типов элементов)
состав информации, хранимой в ТИ, зависит от семантики входного языка и типа элемента
информация в ТИ заполняется не сразу, а по мере того, как становится известна – на различных фазах компиляции
принцип работы с ТИ – многократное обращение компилятора для поиска информации и записи новых данных на различных фазах компиляции

ТИ должны быть организованы таким образом, чтобы обеспечить максимально быстрый поиск нужного элемента

разрешения коллизий