Транслятор

Трансля́тор (англ. translator) — програма або технічний засіб, який виконує перетворення чи іншу обробку текстів програм.

Транслятори поділяються на:

• компілятори — перетворюють текст програми мовою високого рівня на об'єктний код чи байт-код.
• декомпілятори — навпаки, намагаються з машинного коду отримати початковий код на високорівневій мові.
• асемблери — перетворюють текст програми мовою асемблера на машинний код.
• дизасемблери — навпаки, намагаються розшифрувати машинний код.
• інтерпретатори — отримують текст програми та набір вхідних даних, і повертають результат виконання програми над вхідними даними.
• препроцесори — отримують текст програми, і повертають перетворений певним чином текст програми.

Оскільки компілятори та інтерпретатори реалізують мови програмування, вони мають спільні риси: їх структура досить схожа, в основу їх реалізації покладено спільні теоретичні результати та практичні методи реалізації.

Структура транслятора

Текст програми

$\downarrow \ \downarrow \ \downarrow$

Лексичний аналіз

$\downarrow \ \downarrow \ \downarrow$

Послідовність токенів

$\downarrow \ \downarrow \ \downarrow$

Синтаксичний аналіз

$\downarrow \ \downarrow \ \downarrow$

Синтаксичне дерево повідомлення про синтаксичні помилки

$\downarrow \ \downarrow \ \downarrow$

Семантичний аналізатор

$\downarrow \ \downarrow \ \downarrow$

Семантичне дерево повідомлення про семантичні помилки

$\downarrow \ \downarrow \ \downarrow$

Оптимізатор проміжного коду

$\downarrow \ \downarrow \ \downarrow$

Оптимізоване семантичне дерево

$\downarrow \ \downarrow \ \downarrow$

Генератор вихідного коду / виконання семантики

$\downarrow \ \downarrow \ \downarrow$

Код / результати роботи

Посилання

1. Волохов. Системне програмування.