Značenje metajezika (što je to, pojam i definicija)

Što je metajezik:

Metajezik je jezik koji se koristi za opisivanje, stanje ili analiziranje jezika.

U logici i jezikoslovlju metajezik se koristi za analizu i strukturiranje logičkih problema koji se postavljaju semantičkim paradoksima u jeziku koji se koristi za opisivanje predmeta.

Metajezik se također definira kao specijalizirani jezik za opisivanje prirodnog jezičnog sustava ili drugog jezika koji se smatra predmetom analize. To je posebno vidljivo u učenju novog jezika, poput " jezik riječi znači" jezik "na engleskom".

Izrazi u metajeziku često se razlikuju od jezika predmeta upotrebom kurziva, navodnika ili pisanjem zasebnog retka, iako nisu uvijek izraženi na ovaj način.

Britanski autor Bertrand Russell (1872-1970) definirao je teoriju hijerarhije jezika na dvije razine:

• Razina jezika i predmeta: koristi se za označavanje objekata poput "oni su ljudi". Metajezična ili metajezična razina: to je jezik koji se koristi za definiranje prethodne razine, na primjer, u frazi "imigranti su ljudi", "doseljenici" su na razini metajezika.

S druge strane, poljski autor Alfred Tarski (1901-1983) definira metajezičnost kao rješenje semantičkih paradoksa, navodeći kako je "potrebno govoriti istinu o jeziku s drugog jezika koji se zove metajezik".

Neki primjeri metajezika su gramatički jezik, leksikografski jezik, logički jezik, dječji jezik, tehnički jezik, računalni jezik, među ostalim.

U lingvistici se razlikuje šest upotreba ili funkcija u jeziku, od kojih je jedna metajezična funkcija koja koristi metajezičnost za govor 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 podržava. Alfred Tarski definira neke bitne karakteristike za jezik koji se smatra metajezikom:

• Metajezik definira jezik koji koristi drugi jezik. Metajezik mora biti bogatiji od objektnog jezika, jer opisuje njegove rečenice i sintaksu. Metajezik je uključen u teoriju skupa i binarnu logiku. Metajezik mora biti kopija jezičnog objekta, tako da ono što se s njim može reći može biti izraženo i metajezikom.

Metajezika u računanju

Metajezik u računanju koristi se za precizno opisivanje nizova programa. 1950. godine na području računarstva postojale su dvije vrste problema zbog sastava računalnih programa:

1. Nedostatak dizajna matematičkog jezika za izražavanje algoritma, nemogućnost prevođenja programa u računski kod.

Prvi je problem riješen zahvaljujući stvaranju discipline dizajniranja računalnih programa, a drugo je pitanje riješeno zahvaljujući generaciji prevodilaca koji su definirani kao metajezik, što je program koji čita program.

Kompjuteri računala temelje se na programskim jezicima. Jedan od najčešće korištenih je BNF (Backus-Naur Form) koji su stvorili John Backus i Peter Naur, a neovisno ga je razvio Noam Chomsky, također poznat kao hijerarhija modela Chomsky TYPE2.

Sastavljači generiraju raščlanjivanje otkrivajući većinu pogrešaka u izvornom kodu i prevodeći ga u ekvivalentni program na drugi jezik (objektni kod).