Mi a Metalanguage:
A metanyelv az a nyelv leírására, kijelölésére vagy elemzésére használt nyelv.
A logikában és a nyelvészetben a metanyelvet használják a szemantikai paradoxonok által okozott logikai problémák elemzésére és strukturálására az objektumok leírására használt nyelvben.
A metanyelvet úgy is definiálják, mint egy speciális nyelvet, amely egy természetes nyelvi rendszert vagy egy másik elemzési tárgynak tekintett nyelvet ír le. Különösen igaz ez egy új nyelv, például "a szó" megtanulásakor nyelv jelentése angolul „nyelv”.
A metanyelvi kifejezéseket gyakran dőlt betűvel, idézőjelekkel vagy különálló vonallal írva különböztetjük meg a nyelvi objektumtól, bár ezt nem mindig így fejezik ki.
Bertrand Russell (1872-1970) brit szerző két szinten határozta meg a nyelvek hierarchiájának elméletét:
- Nyelv-objektum szint: olyan objektumokra utal, mint például „ők emberek”.
- Fémnyelvi vagy metanyelvi szint: az előző szint meghatározására használt nyelv, például a „bevándorlók emberek” kifejezésben a „bevándorlók” a metanyelv szintjén találhatók.
Másrészt Alfred Tarski (1901-1983) lengyel szerző a metanyelvet a szemantikai paradoxonok megoldásaként határozza meg, kijelentve, hogy „meg kell beszélni az igazat a nyelvről egy másik nyelvről, amelyet metanyelvnek neveznek”.
A metanyelv néhány példája többek között a nyelvtani nyelv, a lexikográfiai nyelv, a logikai nyelv, a gyermekek nyelve, a szaknyelv, a számítógépes nyelv.
A nyelvészetben hat felhasználást vagy funkciót különböztetnek meg a nyelvben, amelyek közül az egyik a metalingvisztikai funkció, amely a metanyelvet használja magáról a nyelvről beszélni. Például: "A metanyelv egy nyelv."
A metanyelv jellemzői
A metanyelvnek olyan sajátos jellemzői vannak, amelyek segítenek jobban megérteni az üzenetet az általa fenntartott logikai összetettség miatt. Alfred Tarski meghatároz néhány alapvető jellemzőt ahhoz, hogy egy nyelv metanyelvnek tekinthető legyen:
- A metanyelv más nyelven definiálja a nyelvet.
- A metanyelvnek gazdagabbnak kell lennie, mint az objektum-nyelv, mivel leírja mondatait és szintaxisát.
- A metanyelvet a halmazok elmélete és a bináris logika értelmezi.
- A metanyelvnek az objektum-nyelv másolatának kell lennie, hogy amit vele mondani lehet, a metanyelv is kifejezhesse.
Fémnyelv a számítástechnikában
A számítástechnika metanyelvét használják a programláncok pontos leírására. 1950-ben a számítástechnika területén kétféle probléma merült fel a számítógépes programok összetételében:
- Az algoritmus kifejezésére szolgáló matematikai nyelv tervezésének hiánya.
- Képtelenség a programokat számítógépes kódra fordítani.
Az első problémát a számítógépes programtervezés tudományágának megalkotásának köszönhetően oldották meg, a második kérdést pedig a fordítók generálásának köszönhetően oldották meg, amelyeket metanyelvként definiáltak, programként programként.
A számítógépes fordítók programozási nyelveken alapulnak. Az egyik leggyakrabban használt John Backus és Peter Naur által létrehozott BNF (Backus-Naur Form), amelyet Noam Chomsky önállóan fejlesztett ki, más néven Chomsky TYPE2 modellhierarchiája.
A fordítók szintaktikai elemzést készítenek, amely észleli a legtöbb hibát a forráskódban, és lefordítja egy másik nyelvű (objektumkód) megfelelő programjába.
