Što je metajezik:
Metajezik je jezik kojim se jezik opisuje, navodi ili analizira.
U logici i lingvistici metajezik se koristi za analizu i strukturiranje logičkih problema koje predstavljaju semantički paradoksi u jeziku koji se koristi za opisivanje predmeta.
Metajezik je također definiran kao specijalizirani jezik za opisivanje prirodnog jezičnog sustava ili drugog jezika koji se smatra predmetom analize. To se posebno odnosi na učenje novog jezika, poput "riječi Jezik znači "jezik" na engleskom. "
Izrazi u metajeziku često se razlikuju od jezika-objekta korištenjem kurziva, navodnika ili odvojenog zapisivanja, iako to nije uvijek tako izraženo.
Britanski autor Bertrand Russell (1872.-1970.) Definirao je teoriju hijerarhije jezika na dvije razine:
- Razina jezik-objekt: koristi se za pozivanje na predmete, poput "oni su ljudi".
- Metalingvistička ili metajezična razina: je li jezik koji se koristi za definiranje prethodne razine, na primjer, u frazi "imigranti su ljudi", "imigranti" se nalaze na razini metajezika.
S druge strane, poljski autor Alfred Tarski (1901.-1983.) Definira metajezik kao rješenje semantičkih paradoksa, navodeći da je „potrebno govoriti istinu o jeziku iz drugog jezika koji se naziva metajezik“.
Neki od primjera metajezika su gramatički jezik, leksikografski jezik, logički jezik, dječji jezik, tehnički jezik, računalni jezik, između ostalog.
U lingvistici se u jeziku razlikuje šest upotreba ili funkcija, od kojih je jedna metajezična funkcija, koja koristi metajezik da bi govorila o samom jeziku. Na primjer: "Metajezik je jezik."
Karakteristike metajezika
Metajezik ima specifične karakteristike koje pomažu u boljem razumijevanju poruke zbog logičke složenosti koju održava. Alfred Tarski definira neke bitne karakteristike da bi se jezik smatrao metajezikom:
- Metajezik definira jezik koji se koristi drugim jezikom.
- Metajezik mora biti bogatiji od objektnog jezika, jer opisuje njegove rečenice i sintaksu.
- Metajezik se razumije unutar teorije skupova i binarne logike.
- Metajezik mora biti kopija objektnog jezika, tako da ono što se s njim može reći može biti izraženo metajezikom.
Metajezik u računarstvu
Metajezik u računalnoj znanosti koristi se za precizno opisivanje programskih nizova. 1950. godine na polju računarstva postojale su dvije vrste problema za sastav računalnih programa:
- Nedostatak dizajna matematičkog jezika za izražavanje algoritma.
- Nemogućnost prevođenja programa u računalni kod.
Prvi je problem riješen zahvaljujući stvaranju discipline dizajna računalnih programa, a drugo pitanje riješeno je zahvaljujući generaciji kompajlera koji su definirani kao metajezik, kao program koji čita program.
Računalni kompajleri temelje se na programskim jezicima. Jedan od najčešće korištenih je BNF (oblik Backus-Naur) koji su stvorili John Backus i Peter Naur, a neovisno ga je razvio Noam Chomsky, također poznat kao Chomskyjeva hijerarhija TYPE2 modela.
Prevoditelji generiraju sintaktičku analizu otkrivajući većinu pogrešaka u izvornom kodu i prevodeći je u ekvivalentan program na drugom jeziku (objektni kod).
