Čo je metajazyk:
Metajazyk je jazyk používaný na popis, vyjadrenie alebo analýzu jazyka.
V logike a lingvistike sa metajazyk používa na analýzu a štruktúrovanie logických problémov, ktoré predstavujú sémantické paradoxy v jazyku použitom na opis objektov.
Meta jazyk je tiež definovaný ako špecializovaný jazyk na opis prirodzeného jazykového systému alebo iného jazyka považovaného za objekt analýzy. Platí to najmä pri učení sa nového jazyka, napríklad „slova“ Jazyk znamená v angličtine „jazyk“. “
Výrazy v metajazyku sa často odlišujú od jazykového objektu kurzívou, úvodzovkami alebo samostatným riadkom, hoci to tak nie je vždy vyjadrené.
Britský autor Bertrand Russell (1872-1970) definoval teóriu hierarchie jazykov na dvoch úrovniach:
- Úroveň jazykových objektov: sa používa na označenie predmetov, napríklad „sú to ľudia“.
- Metalingvistická alebo metajazyková úroveň: je jazyk používaný na definovanie predchádzajúcej úrovne, napríklad vo výraze „prisťahovalci sú ľudia“ sa výraz „prisťahovalci“ nachádza na úrovni jazyka.
Na druhej strane poľský autor Alfred Tarski (1901-1983) definuje metajazyk ako riešenie sémantických paradoxov a uvádza, že „je potrebné hovoriť pravdu o jazyku z iného jazyka, ktorý sa nazýva metajazyk“.
Niektoré príklady metajazyka sú okrem iného gramatický jazyk, lexikografický jazyk, logický jazyk, jazyk detí, technický jazyk, počítačový jazyk.
V lingvistike sa v jazyku rozlišuje šesť použití alebo funkcií, jedným z nich je metalingvistická funkcia, ktorá používa metajazyk, aby hovorila o samotnom jazyku. Napríklad: „Metajazyk je jazyk.“
Charakteristika metajazyka
Meta jazyk má špecifické vlastnosti, ktoré pomáhajú lepšie porozumieť správe vďaka logickej zložitosti, ktorú zachováva. Alfred Tarski definuje niektoré základné charakteristiky jazyka, ktorý sa má považovať za metajazyk:
- Metajazyk definuje jazyk pomocou iného jazyka.
- Meta jazyk musí byť bohatší ako objektový jazyk, pretože popisuje jeho vety a syntax.
- Pod jazykom sa rozumie teória množín a binárna logika.
- Metajazyk musí byť kópiou objektového jazyka, aby to, čo sa s ním dá povedať, mohol vyjadriť aj metajazyk.
Metajazyk vo výpočtovej technike
Meta jazyk v informatike sa používa na presný opis programových reťazcov. V roku 1950 nastali v oblasti výpočtovej techniky dva typy problémov pri zostavovaní počítačových programov:
- Chýbajúca koncepcia matematického jazyka na vyjadrenie algoritmu.
- Neschopnosť preložiť programy do počítačového kódu.
Prvý problém sa vyriešil vďaka vytvoreniu disciplíny navrhovania počítačových programov a druhá otázka sa vyriešila vďaka generovaniu prekladačov definovaných ako metajazyk, čo je program, ktorý číta program.
Počítačové prekladače sú založené na programovacích jazykoch. Jedným z najpoužívanejších je BNF (Backus-Naur Form), ktorý vytvorili John Backus a Peter Naur a ktorý nezávisle vyvinuli Noam Chomsky, tiež známy ako Chomského modelová hierarchia.
Kompilátory vygenerujú syntaktickú analýzu zisťujúcu väčšinu chýb v zdrojovom kóde a preložia ju do ekvivalentného programu v inom jazyku (objektový kód).
