Що таке мета-мова? Наведіть приклади?

мета-мова - це мова, призначена для опису іншої мови. Наприклад, яким способом сказати, що арифметичний вираз може містити прості операнди, знаки операцій та інші подвираженія? для цього використовують мета-мова, одним із прикладів якого є форми Бекуса-Наура. Той же приклад в формах Бекуса-Наура може виглядати так:

lt; arexpr> = lt; simplexpr> lt; operation> lt; arexpr>

lt; simplexpr> = lt; number> | lt; letter>

lt; operation> = + | - | * | /

символ "|" - Це логічна операція метамови, що означає "або".

Цікаво, що синтаксично-орієнтовані методи компіляції так чи інакше використовують метамови для перетворення вихідного тексту програми в виконуваний код.