Mikä on metakieli:
Metakieli on kieli, jota käytetään kuvaamaan, ilmaisemaan tai analysoimaan kieltä.
Logiikassa ja kielitieteessä metakielellä analysoidaan ja jäsennetään semanttisten paradoksien aiheuttamat loogiset ongelmat esineiden kuvaamiseen käytetyllä kielellä.
Metakieli määritellään myös erikoistuneeksi kieleksi kuvaamaan luonnollista kielijärjestelmää tai muuta analyysin kohteena pidettyä kieltä. Tämä pätee erityisesti uuden kielen, kuten "sana", oppimiseen Kieli tarkoittaa englanniksi 'kieltä'. "
Metakielen ilmaisut erotetaan usein kieliobjektista käyttämällä kursivointia, lainausmerkkejä tai erillistä viivakirjoitusta, vaikka sitä ei aina ilmaistakaan tällä tavalla.
Brittiläinen kirjailija Bertrand Russell (1872-1970) määritteli kielihierarkian teorian kahdella tasolla:
- Kieli-objektitaso: käytetään viittaamaan esineisiin, kuten "he ovat ihmisiä".
- Metalingvistinen tai metakielen taso: on kieli, jota käytetään määrittelemään edellinen taso, esimerkiksi lauseessa "maahanmuuttajat ovat ihmisiä", "maahanmuuttajat" löytyy metakielitasolta.
Toisaalta puolalainen kirjailija Alfred Tarski (1901-1983) määrittelee metakielen ratkaisuksi semanttisille paradokseille toteamalla, että "on välttämätöntä puhua totuus kielestä eri kielellä, jota kutsutaan metakieleksi".
Joitakin esimerkkejä kielestä ovat muun muassa kielioppi, leksikografinen kieli, looginen kieli, lasten kieli, tekninen kieli, tietokonekieli.
Kielitieteessä kielessä erotetaan kuusi käyttötarkoitusta tai toimintoa, joista yksi on metalingvistinen toiminto, joka käyttää kielen puhumista itse kielestä. Esimerkiksi: "Metakieli on kieli."
Metallikielen ominaisuudet
Metakielellä on erityisiä ominaisuuksia, jotka auttavat ymmärtämään viestiä paremmin sen ylläpitämän loogisen monimutkaisuuden vuoksi. Alfred Tarski määrittelee joitain olennaisia ominaisuuksia, jotta kieltä voidaan pitää metakielenä:
- Metakieli määrittelee kielen eri kielellä.
- Metakielen on oltava rikkaampi kuin objektikieli, koska se kuvaa sen lauseita ja syntaksia.
- Metakieli ymmärretään joukko- ja binäärilogiikan teoriassa.
- Metakielen on oltava kopio objektikielestä, jotta sen avulla voidaan sanoa myös metakielellä.
Metakieli laskennassa
Tietojenkäsittelytieteen kieliä käytetään kuvaamaan ohjelmamerkkijonoja tarkasti. Vuonna 1950 laskennan alalla tietokoneohjelmien kokoonpanossa oli kahdenlaisia ongelmia:
- Matemaattisen kielen suunnittelun puute algoritmin ilmaisemiseksi.
- Kyvyttömyys kääntää ohjelmia tietokonekoodiksi.
Ensimmäinen ongelma ratkaistiin tietokoneohjelmien suunnittelun kurinalaisuuden luomisen ansiosta, ja toinen kysymys ratkaistiin kääntäjien luomisen ansiosta, jotka määritellään metakieleksi, joka on ohjelma, joka lukee ohjelmaa.
Tietokonekääntäjät perustuvat ohjelmointikieliin. Yksi käytetyimmistä on John Backuksen ja Peter Naurin luoma BNF (Backus-Naur-muoto), jonka kehittää itsenäisesti Noam Chomsky, joka tunnetaan myös nimellä Chomskyn TYPE2-mallihierarkia.
Kääntäjät tuottavat syntaktisen analyysin, joka havaitsee useimmat lähdekoodivirheet, ja kääntävät sen vastaavaksi ohjelmaksi toisella kielellä (olio koodi).
