Kas ir metvaloda:
Metu valoda ir valoda, ko lieto valodas aprakstīšanai, norādīšanai vai analīzei.
Loģikā un lingvistikā metvalodu izmanto, lai analizētu un strukturētu loģiskās problēmas, kuras objektu aprakstā lietotajā valodā rada semantiskie paradoksi.
Metu valoda tiek definēta arī kā specializēta valoda, lai aprakstītu dabisko valodu sistēmu vai citu valodu, kas tiek uzskatīta par analīzes objektu. Tas jo īpaši attiecas uz jaunas valodas apguvi, piemēram, "vārds valoda angļu valodā nozīmē “valoda”. "
Izteicienus metvalodā bieži atšķir no valodas objekta, izmantojot kursīvu, pēdiņas vai atsevišķu rindiņu rakstīšanu, lai gan tas ne vienmēr tiek izteikts.
Britu autors Bertrands Rasels (1872-1970) valodu hierarhijas teoriju definēja divos līmeņos:
- Valodas un objekta līmenis: tiek izmantots, lai apzīmētu objektus, piemēram, “viņi ir cilvēki”.
- Metalingvistiskais vai metvalodas līmenis: vai valoda tiek lietota, lai definētu iepriekšējo līmeni, piemēram, frāzē “imigranti ir cilvēki”, “imigranti” ir atrodami metvalodas līmenī.
No otras puses, poļu autors Alfrēds Tarskis (1901-1983) definē metvalodu kā semantisko paradoksu risinājumu, norādot, ka “ir nepieciešams runāt patiesību par valodu no citas valodas, ko sauc par metvalodu”.
Daži metvalodas piemēri ir gramatiskā valoda, leksikogrāfiskā valoda, loģiskā valoda, bērnu valoda, tehniskā valoda, datorvaloda.
Lingvistikā valodā tiek izdalīti seši lietojumi vai funkcijas, viena no tām ir metalingvistiskā funkcija, kas lieto metu valodu, lai runātu par pašu valodu. Piemēram: "Metālvaloda ir valoda."
Metālvalodas raksturojums
Metu valodai ir specifiskas īpašības, kas palīdz labāk izprast vēstījumu tās uzturētās loģiskās sarežģītības dēļ. Alfrēds Tarskis definē dažas būtiskas īpašības, lai valodu varētu uzskatīt par metvalodu:
- Metalanguage definē valodu, izmantojot citu valodu.
- Metu valodai jābūt bagātākai par objekta valodu, jo tā apraksta savus teikumus un sintaksi.
- Metu valoda tiek izprasta kopu teorijā un binārā loģika.
- Metu valodai jābūt objekta valodas kopijai, lai to, ko ar to var pateikt, varētu izteikt arī metu valoda.
Metālvaloda skaitļošanā
Datorzinātnes metvaloda tiek izmantota, lai precīzi aprakstītu programmu virknes. 1950. gadā skaitļošanas jomā datorprogrammu sastāvam bija divu veidu problēmas:
- Matemātiskās valodas noformējuma trūkums, lai izteiktu algoritmu.
- Nespēja tulkot programmas datora kodā.
Pirmā problēma tika atrisināta, pateicoties datorprogrammu dizaina disciplīnas izveidei, un otrais jautājums tika atrisināts, pateicoties kompilatoru paaudzei, kas tiek definēti kā metāla valoda, kas ir programma, kas lasa programmu.
Datoru kompilatoru pamatā ir programmēšanas valodas. Viens no visbiežāk izmantotajiem ir BNF (Backus-Naur forma), ko izveidojuši Džons Bekuss un Pīters Naurs, un to neatkarīgi izstrādāja Noams Čomskis, kas pazīstams arī kā Chomsky TYPE2 modeļu hierarhija.
Sastādītāji ģenerē sintaktisko analīzi, kas nosaka lielāko daļu avota kļūdu, un tulko to līdzvērtīgā programmā citā valodā (objekta kods).
