Metakalba: Skirtumas tarp puslapio versijų

41 pridėtas baitas ,  prieš 16 metų
S
nėra keitimo aprašymo
(Bla bla bla)
 
S
''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.)
 
 
 
[[Category:Matematika]] [[Category:Kalbotyra]]
[[en:Metalanguage]]
49 775

pakeitimai