Mis on metakeel:
Metakeel on keel, mida kasutatakse keele kirjeldamiseks, väitmiseks või analüüsimiseks.
Loogikas ja lingvistikas kasutatakse metakeelt objektide kirjeldamiseks kasutatavas keeles semantiliste paradokside tekitatud loogiliste probleemide analüüsimiseks ja struktureerimiseks.
Metakeelt määratletakse ka kui spetsiaalset keelt, mis kirjeldab loomulikku lingvistilist süsteemi või muud analüüsi objektiks peetavat keelt. See kehtib eriti uue keele, näiteks "sõna" õppimisel keel tähendab inglise keeles "keelt". "
Metakeeles olevaid väljendeid eristatakse keeleobjektist sageli kursiivis, jutumärkides või eraldi rida kirjutades, ehkki seda alati nii ei väljendata.
Briti autor Bertrand Russell (1872-1970) määratles keelte hierarhia teooria kahel tasandil:
- Keele-objekti tasand: kasutatakse objektide, näiteks "nad on inimesed" tähistamiseks.
- Metalingvistiline või metakeele tase: kas eelmise taseme määratlemiseks kasutatakse keelt, näiteks fraasis “immigrandid on inimesed” leidub “immigrandid” metakeele tasandil.
Teisalt määratleb poola kirjanik Alfred Tarski (1901-1983) metakeele kui semantiliste paradokside lahenduse, öeldes, et "keele kohta on vaja rääkida tõtt teisest keelest, mida nimetatakse metakeeleks".
Mõned näited metakeelest on muu hulgas grammatiline keel, leksikograafiline keel, loogiline keel, laste keel, tehniline keel, arvutikeel.
Lingvistikas eristatakse keeles kuut kasutust või funktsiooni, üks neist on metalingvistiline funktsioon, mis kasutab metakeelt keele enda rääkimiseks. Näiteks: "metakeel on keel."
Metallkeele omadused
Metallikeelel on spetsiifilised omadused, mis aitavad sõnumit paremini mõista tänu loogilisele keerukusele, mida see toetab. Alfred Tarski määratleb mõned olulised omadused, et keelt saaks pidada metakeeleks:
- Metakeel määratleb keele, kasutades teist keelt.
- Metakeel peab olema rikkam kui objektkeel, kuna see kirjeldab selle lauseid ja süntaksit.
- Metakeelt mõistetakse hulkade ja binaarse loogika teoorias.
- Metakeel peab olema objektkeele koopia, nii et sellega saab öelda ka metakeel.
Metakeel arvutustöös
Arvutiteaduse metakeelt kasutatakse programmi stringide täpseks kirjeldamiseks. 1950. aastal oli arvutiprogrammide arvutiprogrammide koostamisel kahte tüüpi probleeme:
- Matemaatilise keele kujunduse puudumine algoritmi väljendamiseks.
- Võimetus programme arvutikoodiks tõlkida.
Esimene probleem lahendati tänu arvutiprogrammide kujundamise distsipliini loomisele ja teine küsimus lahendati tänu kompilaatorite põlvkonnale, mis on määratletud kui metakeel, olles programm, mis loeb programmi.
Arvuti kompilaatorid põhinevad programmeerimiskeeltel. Üks enimkasutatavatest on John Backuse ja Peter Nauri loodud BNF (Backus-Naur Form), mille on iseseisvalt välja töötanud Noam Chomsky, tuntud ka kui Chomsky TYPE2 mudelihierarhia.
Koostajad genereerivad süntaktilise analüüsi, mis tuvastab enamiku lähtekoodi vigu, ja tõlgivad selle samaväärsesse programmi teises keeles (objektikood).
