Интернет магазин китайских планшетных компьютеров

Компьютеры - Грамматика ван Вейнгаардена

Грамматика ван Вейнгаардена — это двухуровневая грамматика, которая предоставляет способ определения потенциально бесконечных грамматик через конечное число правил. Формализм был изобретён Адриааном ван Вейнгаарденом для определения некоторых синтаксических ограничений, которые ранее должны были формулироваться на естественных языках, несмотря на свою принципиально синтаксическую сущность. Типичными применениями являются обработка рода и числа в естественных языках и правильное формулирование идентификаторов в языках программирования.

Метод был использован и разработан при определении языка программирования ALGOL 68. Это пример более широкого класса аффиксных грамматик.

Обзор

В-грамматика состоит из конечного числа метаправил, которые используются для выведения правил вывода из конечного числа гиперправил. Задание метаправил ограничено контекстно-свободной грамматикой. Гиперправила ограничивают допустимые контексты на более высоком уровне. В сущности, консистентная подстановка, используемая в процессе вывода, эквивалентна процессу унификации, например из языка Пролог, что было отмечено Аланом Колмерауером.