Структура компилятора

Введение в компиляцию

Лекция 3

Все изложенные выше сведения о грамматиках и формальных языках необходимы для создания трансляторов.

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

Если входной язык высокого уровня (алгоритмические языки Паскаль, Си и др.), а выходной – машинные коды или АССЕМБЛЕР (т.е. машинно-ориентированный язык), то такой транслятор называется КОМПИЛЯТОРОМ.

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

Препроцессор – транслятор, осуществляющий перевод с одного языка высокого уровня на другой язык тоже высокого уровня.

Итак, обобщая сказанное, можно определить, что транслятор – компьютерная программа, которая читает последовательно символ за символом текст некоторой другой компьютерной программы на каком-то алгоритмическом языке и осуществляет перевод этой программы на другой (выходной) язык. В случае, если транслятором является программа-компилятор, после перевода с алгоритмического языка будет получена компьютерная программа или на АССЕМБЛЕРЕ, или в виде последовательности машинных команд в кодах (объектный модуль). Один или несколько объектных модулей обрабатываются программой - компоновщиком. В результате создается готовая к исполнению программа.

Компилятор осуществляет перевод программы на алгоритмическом языке в программу, состоящую из последовательности некоторых промежуточных команд. Назначение и количество этих команд определяет программист, создающий интерпретатор.

Сразу же после окончания перевода интерпретатор, в отличие от компилятора, выполняет полученную программу.

Рисунок 2

На рис. представлена структура компилятора. Здесь:

ЛА – лексический анализ;

СА – синтаксический анализ;

ГПК – генерация промежуточного кода;

ОК – оптимизация кода;

ГК – генерация кода.

На всех этапах осуществляется обработка ошибок и происходит заполнение различных таблиц.

Рассмотрим более подробно некоторые этапы обработки исходной программы на алгоритмическом языке.

ЛА – лексический анализ.

Лексема – это один или несколько символов, имеющих некоторый самостоятельный смысл.

В процессе лексического анализа считываемые последовательно из программы на входном (алгоритмическом) языке символы объединяются в лексемы.

Конкретно различаются следующие лексемы:

1) служебные слова;

2) идентификаторы;

3) знаки для обозначения операций, а также другие специальные символы;

4) числа;

5) признак конца считываемого файла.

Следует вспомнить, что служебные (зарезервированные) слова нельзя использовать в программе на алгоритмическом языке в качестве идентификаторов для обозначения переменных и функций. Например, для языка Си - это if, do, while, for, return, goto, char, int, float и др. Поэтому программа-транслятор должна “уметь” отличить эти зарезервированные служебные слова.

На следующем за лексическим синтаксическом анализе происходит построение из лексем синтаксических структур, которые могут быть составляющими других структур. Например, А+В могут войти в оператор или выражение. На всех этапах осуществляется обнаружение ошибок в тексте транслируемой программы, а также заполнение таблиц. Конкретно заполняются таблица идентификаторов переменных и функций, таблица объектов, которые обрабатываются (константы, глобальные и локальные переменные), таблица функций (главная функция main и др.), таблица команд.

Дата добавления: 2015-06-27