Метаязык

Материал из ПИЭ.Wiki

Перейти к: навигация, поиск

Метаязык - язык, используемый для описания других языков.

Для описания синтаксиса используются формальные нотации, эквивалентные порождающим грамматикам Н.Хомского. Синтаксис языков программирования обычно определяется с помощью контекстно-свободных грамматик, быть может, с несколько расширенными правилами.

Несмотря на то что существуют различные подходы к формализации описания семантики (например, атрибутивные грамматики), они не получили распространения в практике спецификации языков программирования. Семантику языковых конструкций определяют, пользуясь естественным языком — английским, русским.

Просмотры
Инструменты

Besucherzahler russian mail order brides
счетчик посещений
Rambler's Top100
Лингафонные кабинеты  Интерактивные доски  Интерактивная приставка Mimio Teach