Kaj je metajezik:
Metajezik je jezik, ki se uporablja za opis, navedbo ali analizo jezika.
V logiki in jezikoslovju se metajezik uporablja za analizo in strukturiranje logičnih problemov, ki jih predstavljajo pomenski paradoksi v jeziku, ki se uporablja za opis predmetov.
Metajezik je opredeljen tudi kot specializiran jezik za opis naravnega jezikovnega sistema ali drugega jezika, ki je predmet analize. To še posebej velja pri učenju novega jezika, kot je "beseda jezik pomeni "jezik" v angleščini. "
Izrazi v metajeziku se pogosto razlikujejo od jezika-predmeta s poševnimi črkami, narekovaji ali ločenim zapisom vrstic, čeprav ni vedno tako izražen.
Britanski avtor Bertrand Russell (1872-1970) je teorijo hierarhije jezikov opredelil na dveh ravneh:
- Raven jezik-objekt: se uporablja za sklicevanje na predmete, na primer »to so ljudje«.
- Metalingvistična ali metajezična raven: je jezik, ki se uporablja za opredelitev prejšnje ravni, na primer v besedni zvezi "priseljenci so ljudje", "priseljenci" najdemo na ravni metajezika.
Po drugi strani pa poljski avtor Alfred Tarski (1901-1983) opredeljuje metajezik kot rešitev semantičnih paradoksov in trdi, da je "o jeziku treba govoriti resnico iz drugega jezika, imenovanega metajezik".
Nekateri primeri metajezika so med drugim slovnični jezik, leksikografski jezik, logični jezik, otroški jezik, tehnični jezik, računalniški jezik.
V jezikoslovju se v jeziku loči šest uporab ali funkcij, ena izmed njih je metajezikovna funkcija, ki z metajezikom govori o samem jeziku. Na primer: "Metajezik je jezik."
Značilnosti metajezika
Metajezik ima posebne značilnosti, ki pripomorejo k boljšemu razumevanju sporočila zaradi njegove logične zapletenosti. Alfred Tarski opredeljuje nekatere bistvene značilnosti jezika, ki se šteje za metajezik:
- Metajezik definira jezik, ki uporablja drug jezik.
- Metajezik mora biti bogatejši od objektnega jezika, saj opisuje njegove stavke in skladnjo.
- Metajezik je razumljen znotraj teorije množic in binarne logike.
- Metajezik mora biti kopija predmetnega jezika, tako da lahko tisto, kar lahko z njim povemo, izrazi tudi metajezik.
Metajezik v računalništvu
Metajezik v računalništvu se uporablja za natančen opis programskih nizov. Leta 1950 sta na področju računalništva obstajali dve vrsti težav pri sestavi računalniških programov:
- Pomanjkanje zasnove matematičnega jezika za izražanje algoritma.
- Nezmožnost prevajanja programov v računalniško kodo.
Prvi problem je bil rešen zaradi ustvarjanja discipline oblikovanja računalniškega programa, drugo vprašanje pa zaradi generacije prevajalnikov, ki so opredeljeni kot metajezik, ki je program, ki bere program.
Računalniški prevajalniki temeljijo na programskih jezikih. Eden najpogosteje uporabljenih je BNF (oblika Backus-Naur), ki sta ga ustvarila John Backus in Peter Naur, neodvisno pa ga je razvil Noam Chomsky, znan tudi kot hierarhija modela TYPE2 Chomskega.
Prevajalniki ustvarijo skladenjsko analizo, ki zazna večino napak v izvorni kodi, in jo prevedejo v enakovreden program v drugem jeziku (objektna koda).
