Съдържание:
Определение - Какво означава метаезик?
От гледна точка на езика за програмиране, метаезикът е език, използван за съставяне на изявления относно изявления, направени на друг език, известен като обектен език. Metalanguage помага при описване на понятията, граматиката и обектите, свързани с определен език за програмиране.
Метаезикът се използва широко в езиковото проектиране, анализаторите, съставителите и доказателствата на теоремите. Използва се и във финансови системи, биоинформатика и в други подобни приложения.
Техопедия обяснява Metalanguage
Metalanguage насърчава функционалното програмиране и често се счита за нечист функционален език. Метаезикът се използва най-вече за описание на граматиката или всяка свързана терминология на програмните езици. Има различни видове метаезици като подредени, вложени и вградени метаезици. Подреденият метаезик е подобен на подредената логика, като всяко ниво има по-голяма степен на абстракция. Вложен метаезик се различава от подреден метаезик, като всяко ниво включва и това по-долу. Вграден метаезик е език, вграден в езика на обекта, който се среща естествено, както и формално.
Приложният софтуер често се състои от набор от инструкции на ясен и прост език за програмиране. Метаезикът е способен да опише както семантични, така и синтактични свойства на даден език. При наличните различни езици за компютърно програмиране много от тези езици имат уникални набори от правила, известни като синтаксис; метаезикът може да помогне при дешифрирането на тези правила.
BNF (Backus-Naur Form) е пример за метаезик, който се използва широко при описване на синтаксиса на езиците за програмиране. XSL се счита също за метаезик, който позволява да се дефинира кодирането на файлове в стандарта XML, който трябва да бъде трансформиран или форматиран. Lisp е друг популярен език, който използва собствения си метаезик.
