Kas yra metakalba:
Metakalba yra kalba, naudojama kalbai apibūdinti, nurodyti ar analizuoti.
Logikoje ir kalbotyroje metakalba naudojama analizuoti ir struktūrizuoti logines problemas, kurias kelia semantiniai paradoksai kalboje, kuria apibūdinami objektai.
Metakalba taip pat apibrėžiama kaip specializuota kalba, apibūdinanti natūralią kalbinę sistemą ar kitą kalbą, laikomą analizės objektu. Tai ypač pasakytina mokantis naujos kalbos, pavyzdžiui, „žodis“ kalba reiškia „kalba“ angliškai “.
Metakalbės posakiai dažnai skiriami nuo kalbos-objekto naudojant kursyvą, kabutes ar atskirą eilučių rašymą, nors tai ne visada išreiškiama taip.
Britų autorius Bertrand Russell (1872-1970) apibrėžė kalbų hierarchijos teoriją dviem lygmenimis:
- Kalbos ir objekto lygis: vartojamas nurodyti objektams, pvz., „jie yra žmonės“.
- Metalingvistinis arba metakalbos lygis: yra kalba, vartojama apibrėžiant ankstesnį lygį, pavyzdžiui, frazėje „imigrantai yra žmonės“, „imigrantai“ randami metakalbos lygmenyje.
Kita vertus, lenkų autorius Alfredas Tarskis (1901-1983) metakalba apibrėžia kaip semantinių paradoksų sprendimą, teigdamas, kad „kalbą reikia kalbėti tiesą iš kitos kalbos, vadinamos metalakalba“.
Kai kurie metakalbės pavyzdžiai yra gramatinė kalba, leksikografinė kalba, loginė kalba, vaikų kalba, techninė kalba, kompiuterių kalba ir kt.
Kalbotyroje kalboje išskiriami šeši naudojimo būdai arba funkcijos, viena iš jų yra metalingvistinė funkcija, kuri kalba kalba kalba apie pačią kalbą. Pvz .: „Metakalba yra kalba“.
Metakalbos ypatybės
Metakalba turi specifinių savybių, kurios padeda geriau suprasti pranešimą dėl loginio sudėtingumo, kurį jis palaiko. Alfredas Tarskis apibrėžia keletą esminių savybių, kad kalba būtų laikoma metakalba:
- Metakalba apibrėžia kalbą naudodama kitą kalbą.
- Metakalba turi būti turtingesnė už objektinę kalbą, nes ji apibūdina jos sakinius ir sintaksę.
- Metakalba suprantama pagal rinkinių teoriją ir dvejetainę logiką.
- Metakalba turi būti objektinės kalbos kopija, kad tai, ką galima pasakyti, būtų galima išreikšti ir metakalba.
Metakalba skaičiuojant
Kompiuterijos metakalba naudojama tiksliai apibūdinti programų eilutes. 1950 m. Skaičiavimo srityje kilo dviejų tipų kompiuterinių programų sudėties problemų:
- Matematinės kalbos dizaino algoritmui išreikšti trūkumas.
- Nesugebėjimas išversti programų į kompiuterio kodą.
Pirmoji problema buvo išspręsta sukuriant kompiuterių programų projektavimo discipliną, o antrasis klausimas buvo išspręstas kompiliatorių kartos dėka, kurie apibrėžiami kaip metakalba, kuri yra programa, skaitanti programą.
Kompiuterių kompiliatoriai remiasi programavimo kalbomis. Vienas iš dažniausiai naudojamų yra Johno Backuso ir Peterio Nauro sukurtas BNF („Backus-Naur“ forma), kurį savarankiškai kuria Noamas Chomsky, dar žinomas kaip „Chomsky“ TYPE2 modelio hierarchija.
Kompiliatoriai sukuria sintaksinę analizę, nustatančią daugumą šaltinio kodo klaidų, ir išverčia ją į lygiavertę programą kita kalba (objekto kodu).
