Metakalba: Skirtumas tarp puslapio versijų

Straipsnis iš Vikipedijos, laisvosios enciklopedijos.
Ištrintas turinys Pridėtas turinys
S nuoroda
Lang-Bot-as (aptarimas | indėlis)
S robotas: brūkšneliai keičiami brūkšniais (pagal lietuvių kalbos rašybos normas)
Eilutė 1: Eilutė 1:
'''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.
'''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'' 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.)
''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.)

01:37, 2 kovo 2007 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.)