Hva er Metalanguage:
Metalanguage er språk som brukes til å beskrive, oppgi eller analysere språk.
I logikk og lingvistikk brukes metaspråk for å analysere og strukturere de logiske problemene som semantiske paradokser medfører i språket som brukes til å beskrive objekter.
Metalspråket er også definert som det spesialiserte språket for å beskrive et naturlig språklig system eller et annet språk som anses som gjenstand for analyse. Dette gjelder spesielt når du lærer et nytt språk, for eksempel "ordet Språk betyr 'språk' på engelsk. "
Uttrykk i metaspråk skiller seg ofte fra språkobjekt ved å bruke kursiv, anførselstegn eller egen linjeskriving, selv om det ikke alltid uttrykkes slik.
Britisk forfatter Bertrand Russell (1872-1970) definerte teorien om språkhierarkiet på to nivåer:
- Språk-objektnivå: brukes til å referere til objekter, for eksempel “de er mennesker”.
- Metalspråklig eller metallspråklig nivå: er språket som brukes til å definere forrige nivå, for eksempel i uttrykket “innvandrere er mennesker”, er “innvandrere” funnet på metaspråknivå.
På den annen side definerer den polske forfatteren Alfred Tarski (1901-1983) metallspråket som løsningen på semantiske paradokser, og sier at "det er nødvendig å snakke sannheten om språk fra et annet språk som kalles metallspråk".
Noen eksempler på metallspråk er blant annet grammatisk språk, leksikografisk språk, logisk språk, barns språk, fagspråk, dataspråk.
I lingvistikk skilles seks bruk eller funksjoner ut i språket, en av dem er den metallspråklige funksjonen, som bruker metaspråket for å snakke om språket selv. For eksempel: "Metalspråket er et språk."
Kjennetegn på metallspråket
Metalspråket har spesifikke egenskaper som bidrar til å bedre forstå budskapet på grunn av den logiske kompleksiteten det opprettholder. Alfred Tarski definerer noen viktige egenskaper for at et språk skal betraktes som en metalspråk:
- Metalanguage definerer et språk som bruker et annet språk.
- Metalspråket må være rikere enn objektspråket, siden det beskriver setningene og syntaksen.
- Metalspråket forstås innenfor teorien om sett og binær logikk.
- Metalspråket må være en kopi av objektspråket, slik at det som kan sies med det også kan uttrykkes av metallspråket.
Metalspråk i databehandling
Metalspråket i informatikk brukes til å beskrive programstrenger presist. I 1950, innen databehandling, var det to typer problemer for sammensetningen av dataprogrammer:
- Mangelen på utformingen av et matematisk språk for å uttrykke en algoritme.
- Manglende evne til å oversette programmer til datakode.
Det første problemet ble løst takket være opprettelsen av disiplinen med dataprogrammets design, og det andre spørsmålet ble løst takket være genereringen av kompilatorer som er definert som en metallspråk, et program som leser et program.
Datakompilatorer er basert på programmeringsspråk. En av de mest brukte er BNF (Backus-Naur Form) opprettet av John Backus og Peter Naur, utviklet uavhengig av Noam Chomsky, også kjent som Chomsky's TYPE2-modellhierarki.
Kompilatorer genererer en syntaktisk analyse som oppdager de fleste feil i kildekoden og oversetter den til et tilsvarende program på et annet språk (objektkode).
