Грамматика Ван Вейнгаардена
-
История и мотивация
- Грамматика Ван Вейнгаардена (W-грамматика) была разработана Адрианом ван Вейнгаарденом для определения языка программирования ALGOL 68.
- W-грамматики решают проблему согласования частей предложения, которую не могут решить контекстно-свободные грамматики.
-
Структура и особенности
- W-грамматики состоят из двухуровневой грамматики: гиперграммы и метаграммы.
- Гиперграмма определяет контекстно-свободные грамматические правила с атрибутами, а метаграмма определяет возможные значения атрибутов.
- W-грамматики завершены по Тьюрингу и не могут быть решены.
-
Применение и ограничения
- W-грамматики использовались для описания естественных языков и языков программирования.
- Они позволяют проверять ограничения, такие как инициализация переменных и проверка типов.
- W-грамматики слишком мощны для практического использования, что привело к разработке ограниченных вариантов, таких как EAG и Q-системы.
-
Примеры и реализации
- W-грамматики применяются для описания грамматики английского языка и проверки корректного использования переменных в ALGOL.
- Энтони Фишер создал синтаксический анализатор для W-грамматик, а Дик Грюн создал программу для генерации всех возможных вариантов W-грамматики.
-
Области применения
- W-грамматики используются для описания сложных действий человека в эргономике.
- Для Ada также было предоставлено описание W-грамматики.
-
Области применения за пределами ALGOL 68
- Расширенные аффиксные грамматики (EAG) можно рассматривать как приложения W-грамматик
- EAG близки к W-грамматикам
-
W-грамматики в эргономике
- W-грамматики предложены для описания сложных действий человека
- Требуется цитирование для подтверждения
-
W-грамматика для Ada
- Для Ada также предоставлено описание W-грамматики
-
Связанные темы
- Закрепите грамматику
- Расширенная грамматика аффиксов
- Атрибутивная грамматика
-
Рекомендации
- Дальнейшее чтение