Metakalba: Skirtumas tarp puslapio versijų

5 baitai pašalinti ,  prieš 12 metų
S
nėra keitimo aprašymo
S (robotas: smulkūs taisymai)
S
'''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 [[Metateorija|metateorijų]] priemonės.
 
''Metakalbos'' tikslas – suteikti priemones ([[Terminas|terminus]] ir [[wikt: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.)