Metakalba: Skirtumas tarp puslapio versijų

← Prieš tai darytas keitimas Kitas pakeitimas →

Ištrintas turinys Pridėtas turinys

Inline

21:27, 5 liepos 2012 versija

Metakalba – specialios paskirties kalba, skirta kitų kalbų aprašymui. Vienas iš metakalbų atvejų – metametakalba, skirta metakalbų aprašymui. Metakalbos dažnai naudojamos, kaip pagalbinės metateorijų priemonės.

Metakalbos tikslas – suteikti priemones (terminus ir gramatiką), skirtą neprieštaringam kitos kalbos aprašymui, leidžiančiam vienareikšmiškai apibrėžti kalbos terminus bei taisykles, naudojantis metakalbos terminais ir taisyklėmis. Metakalbos terminai, naudojami kalbos terminų ir (arba) taisyklių apibrėžimui, vadinami metaterminais, yra naudojami kalbos gramatikos, bet ne terminų semantikos aprašymui. Kol kas nėra pilnai išspręstas klausimas, ar įmanoma neprieštaringa ir pilna pati save aprašanti metakalba (tai atrodo menkai įtikėtina dėl metateorijos keliamų prieštaravimų), tačiau gana akivaizdu, kad gyvosios (žmonių) kalbos priemonės turi pakankamas galimybes kitų kalbų aprašymui.

Metakalbos neretai naudojamos programavime, programavimo kalbų savybių aprašymui, kai kuriais atvejais tokios metakalbos gali būti nagrinėjamos, kaip specializuotos, transliatorių programavimo kalbos. Viena iš žinomiausių programavimo metakalbų yra John Backus ir Peter Naur sukurta BNF (Bekuso-Nauro Forma). Daugelis šiuolaikinių programavimo kalbų taip pat turi kai kurių metakalbinių bruožų (paveldėjimas, tipų apibrėžimai etc.)

Šis su matematika susijęs straipsnis yra nebaigtas. Jūs galite prisidėti prie Vikipedijos papildydami šį straipsnį.

@@ Eilutė 3: / Eilutė 3: @@
 ''Metakalbos'' tikslas – suteikti priemones ([[Terminas|terminus]] ir [[Gramatika|gramatiką]]), skirtą neprieštaringam kitos kalbos aprašymui, leidžiančiam vienareikšmiškai apibrėžti [[Kalba|kalbos]] terminus bei taisykles, naudojantis ''metakalbos'' terminais ir taisyklėmis. ''Metakalbos'' terminai, naudojami [[Kalba|kalbos]] terminų ir (arba) taisyklių apibrėžimui, vadinami ''metaterminais'', yra naudojami [[Kalba|kalbos]] gramatikos, bet ne terminų [[Semantika|semantikos]] aprašymui. Kol kas nėra pilnai išspręstas klausimas, ar įmanoma neprieštaringa ir pilna pati save aprašanti ''metakalba'' (tai atrodo menkai įtikėtina dėl [[Metateorija|metateorijos]] keliamų prieštaravimų), tačiau gana akivaizdu, kad gyvosios (žmonių) kalbos priemonės turi pakankamas galimybes kitų kalbų aprašymui.
-''Metakalbos'' neretai naudojamos [[Programavimas|programavime]], [[Programavimo kalba|programavimo kalbų]] savybių aprašymui, kai kuriais atvejais tokios ''metakalbos'' gali būti nagrinėjamos, kaip specializuotos, [[Transliatorius|transliatorių]] programavimo kalbos. Viena iš žinomiausių programavimo ''metakalbų'' yra [[John Backus]] ir [[Peter Naur]] sukurta [[BNF]] (Bekuso-Nauro Forma). Daugelis šiuolaikinių [[Programavimo kalba|programavimo kalbų]] taip pat turi kai kurių ''metakalbinių'' bruožų (paveldėjimas, tipų apibrėžimai, etc.)
+''Metakalbos'' neretai naudojamos [[Programavimas|programavime]], [[Programavimo kalba|programavimo kalbų]] savybių aprašymui, kai kuriais atvejais tokios ''metakalbos'' gali būti nagrinėjamos, kaip specializuotos, [[Transliatorius|transliatorių]] programavimo kalbos. Viena iš žinomiausių programavimo ''metakalbų'' yra [[John Backus]] ir [[Peter Naur]] sukurta [[BNF]] (Bekuso-Nauro Forma). Daugelis šiuolaikinių [[Programavimo kalba|programavimo kalbų]] taip pat turi kai kurių ''metakalbinių'' bruožų (paveldėjimas, tipų apibrėžimai etc.)
 {{mat-stub}}