Metakieli on formalismi suunniteltu tarkasti kuvata kieltä .
Kieli on kuvattu kieliopilla , ja sen kieliopin kuvaus on sen kieli. Siten kieli järkevä ilmaisuja tai muodon Backus-Naur in tietotekniikassa ovat metalanguages. Metakieli ei vain kuvaa syntaksia , vaan sitä käytetään myös semantiikan kuvaamiseen .
Kielen, joka on oma syntaksin ja semantiikan metakieli, sanotaan olevan refleksiivinen .
Vuonna kielellinen terminologian , käsite metakieli tai pikemminkin kuin metakieli viitataan tekniseen käyttöön yhteinen kieli. Metakieli koostuu siis termeistä eikä enää sanoista, joten se on ihanteellinen kielioppien ja kaikenlaisten kieliin keskittyvien keskustelujen tutkimiseen. Tämän seurauksena metakieli tarjoaa yhteisen analyysimenetelmän ja mahdollistaa siten tietyn kielen tiedon yleistämisen ja välittämisen .
Metakielien tutkimus kuuluu siis kieliterminologian piiriin, jonka tarkoituksena on tutkia niiden teoreettisia ja metodologisia puitteita .
Mahdollisuus viitata yhteen metallikieleen kattamaan nykyään kieli-ilmiöiden kokonaisuus osoittautuu miraa. Useat kielitieteilijät huomauttavat, että vain laskennan metakieli ( Turingin kone , muodollinen kielioppi jne.) Antaa mahdollisuuden tarttua tiettyihin kieliobjekteihin ja saavuttaa ulkonema, joka ei mene aiheuttamatta vakavia epistemologisia ongelmia .