Транслятор

Трансля́тор (англ. 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. Волохов. Системне програмування.