Jezični prevoditelj

Predložak:Mergetalk Jezični procesor (još i prevodilac, prevoditelj, programski prevodilac, programski prevoditelj, kompilator, te kolokvijalno često kao kompajler) jest računalni program koji čita program napisan u izvornom jeziku, te ga prevodi u istovjetni program u ciljnom jeziku. Formalna se definicija jezičnog procesora zasniva na tri jezika: izvorni jezik, ciljni jezik i jezik izgradnje, te se jezični procesor prikazuje na sljedeći način:

$JP_{L_{g}}^{L_{i}\to L_{c}}$

gdje je JP jezični procesor, $L_{i}$ je izvorni jezik, $L_{c}$ je ciljni jezik, te $L_{g}$ je jezik izgradnje.

Obično je jezični procesor i sam program, te je stoga jezik izgradnje programski jezik kojim je ostvaren sam jezični procesor.

Osim tri spomenuta jezika, razvijaju se i posebni metajezici (jezici definiranja jezika) koji omogućuju jednostavan zapis pravila programskih jezika

Dvije su osnovne faze rada jezičnog procesora:

• faza analize izvornog programa
• faza sinteze ciljnog programa

Tijekom faze analize izvornog programa izvode se dva procesa prevođenja, jedan tijekom leksičke analize, drugi tijekom sintaksne analize i semantičke analize.

Leksička analiza grupira znakove izvornog programa u osnovne elemente jezika, koje se zovu leksičke jedinke (engl. token) ili leksemi. Leksemi su npr. varijable, ključne riječi, konstante, operatori i pravopisni znakovi. Leksička se jedinka formalno zadaje kao niz znakova. Leksička pravila određuju skup svih pravilno napisanih leksičkih jedinki (nizova) zadanog programskog jezika.

Dozvoljava se da je skup pravilno napisanih leksičkih jedinki beskonačan i u formalnom smislu taj skup definira jezik leksičkih jedinki. Formalni automat je osnovica leksičkog analizatora. Tijekom leksičke analize, svaki se leksem zamijeni jedinstvenim znakom.

Leksički analizator također gradi podatkovnu strukturu zvanu tablica znakova (ili tablica simbola) u koju se spremaju svi ostali podaci važni za varijable i konstante.

Tijekom sintaksne analize izvodi se proces prihvaćanja nizova jedinstvenih znakova leksičkih jedinki, a tijekom semantičke analize izvodi se proces generiranja višeg međukoda. Formalni automat je okosnica i sintaksnog analizatora.

Semantički analizator pokreće proces generiranja višeg međukoda. Semantička pravila su interpretacijska pravila koja povezuju izvođenje programa s ponašanjem računala. Semantika jezika određuje skup dozvoljenih značenja.

Tijekom procesa generiranja višeg međukoda obično se izračunavaju konstantne vrijednosti i pojednostavi se struktura naredbe. Uobičajeno je da naredbe višeg međukoda sadrže kazaljke na mjesta u tablici znakova.

Tijekom faze sinteze ciljnog programa izvode se tri procesa prevođenja: prevođenje višeg međukoda u srednji međukod, prevođenje srednjeg međukoda u niži međukod i prevođenje nižeg međukoda u ciljni program.

Tijekom procesa prevođenja višeg međukoda u srednji međukod se obavlja pretvorba složenih podatkovnih struktura, kao što su nizovi podataka, i složenih kontrolnih programskih konstrukta u niz naredbi koje koriste isključivo varijable i jednostavne naredbe grananja.

Naredbe nižeg međukoda koriste simboličke registre r1 do r8.

Vanjske poveznice

• Let's Build a Compiler, by Jack Crenshaw

Reference

Nedovršeni članak Jezični prevoditelj koji govori o računarstvu treba dopuniti. Dopunite ga prema pravilima Wikipedije.