Тарҷумон чист?

Тарҷумон барнома ё дастгоҳест, ки барномаи навишташуда дар як забони барномасозӣ (забони манбаъ) ба барномаи баробар дар забони дигар (забони ҳадаф) табдил медиҳад.

Намудҳои асосии тарҷумонҳо:

Камилятор: Ҳамаи коди манбаъро дар як гузариш ба коди мошин ё миёнагӣ табдил медиҳад.
- Мисолҳо: GCC, Clang, Javac.
- Манфиатҳо: суръати иҷрои коди натиҷагирӣ баландтар.
- Норасоиҳо: талаб мекунад, ки қабл аз иҷрои он қадами равшан кардани камилятсия бошад.
Тарҷумон: Коди манбаъро хат ба хат ё дар блокҳо иҷро мекунад, бе камилятсия кардани тамоми код пешакӣ.
- Мисолҳо: Python, Ruby, JavaScript (бисёр вақт JIT-камилятсияро истифода мебарад, аммо модел асосӣ интерпретация аст).
- Манфиатҳо: давраи рушди зуд (тағйирот-амал).
- Норасоиҳо: одатан нисбат ба коди камилятсияшуда сусттар аст, хатогиҳо танҳо дар вақти иҷро пайдо мешаванд.

Раванди тарҷума одатан чанд марҳила дорад:

Таҳлили лексикӣ (скан): Кодро ба токенҳо (лексемаҳо) тақсим мекунад.
Таҳлили синтаксӣ (парсинг): Структура дар шакли дарахт (дарахти синтаксисӣ) аз токенҳо месозад, мувофиқат бо грамматикаи забонро санҷидааст.
Таҳлили семантикӣ: Маънои кодиро санҷида, мувофиқати он бо намудҳои додаҳо, эълонҳои тағйирёбандагон ва ғайра.
Таҳлили коди миёна: Кодро дар намоиши миёна месозад.
Оптимизатсияи коди: Кодро беҳтар мекунад, барои баланд бардоштани самаранокӣ.
Генератсияи коди ҳадаф: Кодро ба забони ҳадаф (масалан, коди мошин) тарҷума мекунад.

Дар контексти QA, фаҳмидани кори тарҷумонҳо муҳим аст барои:

Таҳлили рафтори барнома ва ошкор кардани хатоҳо, ки бо камилятсия ё интерпретация алоқаманданд.
Санҷиши кори худи тарҷумон (дар санҷиши асбобҳои таҳия).
Фаҳмидани фарқиятҳо дар иҷроиш ва рафтори барномаҳо дар платформаҳои гуногун ва бо тарҷумонҳои гуногун.