Sadržaj:
Definicija - Što znači Metajezik?
Iz perspektive programskog jezika, metajezik je jezik koji se koristi za davanje izjava o izjavama napravljenim na drugom jeziku, poznatom kao objektni jezik. Metajezik pomaže u opisivanju pojmova, gramatike i predmeta povezanih s određenim programskim jezikom.
Metajezik se široko koristi u oblikovanju jezika, analizatorima, sastavljačima i dokazima teorema. Također se koristi u financijskim sustavima, bioinformatici i u drugim sličnim primjenama.
Tehopedija objašnjava Metajezik
Metajezik potiče funkcionalno programiranje i često se smatra nečistim funkcionalnim jezikom. Metajezik se najčešće koristi za opisivanje gramatike ili bilo koje srodne terminologije programskih jezika. Postoje različite vrste metajezika poput naručenih, ugniježđenih i ugrađenih metajezika. Naručeni metajezik sličan je logici, pri čemu svaka razina ima veći stupanj apstrakcije. Gnijezdena metajezika razlikuje se od uređenog metajezika, pri čemu svaka razina uključuje i onu ispod. Ugrađeni metajezik je jezik ugrađen u objektni jezik, koji se javlja prirodno i formalno.
Aplikacijski softver često se sastoji od niza uputa na jasnom i jednostavnom programskom jeziku. Metajezik može opisati i semantička i sintaktička svojstva jezika. Uz različite jezike računalnog programiranja, mnogi od tih jezika imaju jedinstvene skupove pravila poznata kao sintaksa; metajezičnost može pomoći u dešifriranju ovih pravila.
BNF (Backus-Naur Form) je primjer metajezika koji se široko koristi u opisivanju sintakse programskih jezika. XSL se također smatra metajezikom koji omogućava definiranje šifriranja datoteka u XML standardu, koje je potrebno transformirati ili formatirati. Lisp je još jedan popularan jezik koji koristi vlastite metajezike.
