Vad är Metalanguage:
Metalspråk är språk som används för att beskriva, ange eller analysera språk.
Inom logik och lingvistik används metallspråk för att analysera och strukturera de logiska problem som semantiska paradoxer medför i språket som används för att beskriva objekt.
Metalspråket definieras också som det specialiserade språket för att beskriva ett naturligt språkligt system eller ett annat språk som anses vara föremål för analys. Detta gäller särskilt när man lär sig ett nytt språk, till exempel "ordet språk betyder "språk" på engelska. "
Uttryck i metaspråk skiljer sig ofta från språkobjekt genom att använda kursiv, citattecken eller separat radskrivning, även om det inte alltid uttrycks så.
Den brittiska författaren Bertrand Russell (1872-1970) definierade teorin om språkhierarkin på två nivåer:
- Språk-objektnivå: används för att hänvisa till objekt, som "de är människor".
- Metalspråkig eller metalspråkig nivå: är språket som används för att definiera den föregående nivån, till exempel i frasen "invandrare är människor", "invandrare" finns på metaspråksnivå.
Å andra sidan definierar den polska författaren Alfred Tarski (1901-1983) metaspråk som lösningen för semantiska paradoxer och säger att "det är nödvändigt att tala sanningen om språket från ett annat språk som kallas metallspråk".
Några exempel på metaspråk är grammatiska språk, lexikografiska språk, logiska språk, barnspråk, tekniska språk, datorspråk, bland andra.
Inom lingvistiken särskiljs sex användningar eller funktioner i språket, varav en är den metallspråkiga funktionen, som använder metaspråket för att tala om själva språket. Till exempel: "Metalspråket är ett språk."
Metallspråkets egenskaper
Metalspråket har specifika egenskaper som hjälper till att bättre förstå meddelandet på grund av den logiska komplexitet som det upprätthåller. Alfred Tarski definierar några väsentliga egenskaper för att ett språk ska betraktas som en metaspråk:
- Metaspråk definierar ett språk med ett annat språk.
- Metalspråket måste vara rikare än objektspråket, eftersom det beskriver dess meningar och syntax.
- Metalspråket förstås inom teorin om uppsättningar och binär logik.
- Metalspråket måste vara en kopia av objektspråket så att det som kan sägas med det också kan uttryckas av metaspråket.
Metalspråk i datorer
Metalspråket inom datavetenskap används för att beskriva programsträngar exakt. 1950, inom datorområdet, fanns det två typer av problem för datorprogrammets sammansättning:
- Bristen på utformningen av ett matematiskt språk för att uttrycka en algoritm.
- Oförmågan att översätta program till datorkod.
Det första problemet löstes tack vare skapandet av disciplinen datorprogramsdesign, och den andra frågan löstes tack vare genereringen av kompilatorer som definieras som en metalspråk, ett program som läser ett program.
Datorkompilatorer är baserade på programmeringsspråk. En av de mest använda är BNF (Backus-Naur Form) skapad av John Backus och Peter Naur, som utvecklas oberoende av Noam Chomsky, även känd som Chomskys TYPE2-modellhierarki.
Kompilatorer genererar en syntaktisk analys som upptäcker de flesta fel i källkoden och översätter den till ett motsvarande program på ett annat språk (objektkod).
