Kazalo:
Opredelitev - Kaj pomeni Metajezik?
Z vidika programskega jezika je metajezik jezik, ki se uporablja za dajanje izjav v zvezi z izjavami, izdelanimi v drugem jeziku, znan kot objektni jezik. Metajezik pomaga pri opisovanju konceptov, slovnice in predmetov, povezanih z določenim programskim jezikom.
Metajezik se široko uporablja pri oblikovanju jezikov, analizatorjih, prevajalnikih in teoremetih. Uporablja se tudi v finančnih sistemih, bioinformatiki in v drugih podobnih aplikacijah.
Tehopedija razlaga Metajezičnost
Metajezik spodbuja funkcionalno programiranje in ga pogosto obravnavajo kot nečist funkcionalen jezik. Metajezik se večinoma uporablja za opis slovnice ali katere koli povezane terminologije programskih jezikov. Obstajajo različne vrste metajezikov, kot so urejena, ugnezdena in vgrajena metajezika. Naročena metajezika je podobna urejeni logiki, pri čemer ima vsaka stopnja večjo stopnjo abstrakcije. Gnezdeno metajeziko se razlikuje od urejenega metajezika, pri čemer vsaka raven vključuje tudi spodnjo. Vgrajeni metajezik je jezik, vdelan v objektni jezik, ki se pojavlja naravno in formalno.
Aplikacijska programska oprema je pogosto sestavljena iz sklopov navodil v jasnem in preprostem programskem jeziku. Metajezik lahko opiše tako semantične kot skladenjske lastnosti jezika. Na voljo so različni jeziki programskega programiranja, mnogi od teh jezikov imajo edinstvene nize pravil, znanih kot sintaksa; metajezičnost lahko pomaga pri dešifriranju teh pravil.
BNF (Backus-Naur Form) je primer metajezika, ki se pogosto uporablja pri opisovanju skladnje programskih jezikov. XSL velja tudi za metajezik, ki omogoča definiranje kodiranja datotek v standardu XML, ki ga je treba spremeniti ali oblikovati. Lisp je še en priljubljen jezik, ki uporablja svoje lastno metajeziko.
