Metakalba: Skirtumas tarp puslapio versijų
Ištrintas turinys Pridėtas turinys
S r2.7.1) (robotas Pridedama: zh:元語言 |
S Prieš etc. kablelis nededamas. |
||
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
{{mat-stub}}
| |||