Co je metajazyk:
Metajazyk je jazyk používaný k popisu, vyjádření nebo analýze jazyka.
V logice a lingvistice se metajazyk používá k analýze a strukturování logických problémů, které představují sémantické paradoxy v jazyce používaném k popisu objektů.
Metajazyk je také definován jako specializovaný jazyk k popisu přirozeného jazykového systému nebo jiného jazyka považovaného za předmět analýzy. To platí zejména při výuce nového jazyka, například „slova“ Jazyk znamená „jazyk“ v angličtině. “
Výrazy v metajazyku se často odlišují od jazykového objektu pomocí kurzívy, uvozovek nebo psaní samostatných řádků, i když to tak není vždy vyjádřeno.
Britský autor Bertrand Russell (1872-1970) definoval teorii hierarchie jazyků na dvou úrovních:
- Úroveň jazykového objektu: se používá k označení objektů, například „jsou to lidé“.
- Metalingvistická nebo metajazyková úroveň: je jazyk používaný k definování předchozí úrovně, například ve větě „imigranti jsou lidé“ se „imigranti“ nacházejí na úrovni metajazyků.
Na druhou stranu polský autor Alfred Tarski (1901-1983) definuje metajazyk jako řešení sémantických paradoxů a uvádí, že „je třeba mluvit o jazyce z jiného jazyka, který se nazývá metajazyk“.
Některé příklady metajazyku jsou mimo jiné gramatický jazyk, lexikografický jazyk, logický jazyk, dětský jazyk, technický jazyk, počítačový jazyk.
V lingvistice se v jazyce rozlišuje šest použití nebo funkcí, přičemž jedním z nich je metalingvistická funkce, která k mluvení o samotném jazyce používá metajazyk. Například: „Metajazyk je jazyk.“
Charakteristika metajazyka
Metajazyk má specifické vlastnosti, které pomáhají lépe porozumět zprávě kvůli logické složitosti, kterou udržuje. Alfred Tarski definuje některé základní charakteristiky jazyka, který má být považován za metajazyk:
- Metalanguage definuje jazyk pomocí jiného jazyka.
- Metajazyk musí být bohatší než objektový jazyk, protože popisuje jeho věty a syntaxi.
- Metajazyk je chápán v teorii množin a binární logice.
- Mluvný jazyk musí být kopií objektového jazyka, takže to, co lze s ním říci, lze vyjádřit i metajazykem.
Vícejazyčnost ve výpočetní technice
Metajazyk v počítačové vědě se používá k přesnému popisu programových řetězců. V roce 1950 se v oblasti výpočetní techniky vyskytly dva typy problémů se složením počítačových programů:
- Chybějící konstrukce matematického jazyka pro vyjádření algoritmu.
- Neschopnost překládat programy do počítačového kódu.
První problém byl vyřešen díky vytvoření disciplíny návrhu počítačových programů a druhá otázka byla vyřešena díky generování překladačů, které jsou definovány jako metajazyk, což je program, který čte program.
Počítačové překladače jsou založeny na programovacích jazycích. Jedním z nejpoužívanějších je BNF (Backus-Naur Form) vytvořený Johnem Backusem a Peterem Naurem, vyvíjený nezávisle Noamem Chomským, známým také jako Chomského modelová hierarchie.
Překladače generují syntaktickou analýzu, která detekuje většinu chyb ve zdrojovém kódu, a přeloží ji do ekvivalentního programu v jiném jazyce (objektový kód).
