Чисто синтезированные грамматики

Материал из WEGA
Версия от 16:59, 16 февраля 2010; Glk (обсуждение | вклад) (Создана новая страница размером '''Чисто синтезированные грамматики''' (''Pure synthesized grammar'') - ''атрибутная грамма...)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

Чисто синтезированные грамматики (Pure synthesized grammar) - атрибутная грамматика, в которой [math]\displaystyle{ I=\emptyset }[/math]. Аналогично атрибутная грамматика называется чисто наследуемой (или [math]\displaystyle{ I }[/math]-грамматикой), если [math]\displaystyle{ S=\emptyset }[/math].

Определения указанных классов грамматик имеют симметричный вид, однако только Ч.с.г. играют важную роль как с теоретической, так и с практической точки зрения. Класс Ч.с.г. по мощности не уступает машинам Тьюринга. Ч.с.г. не требует динамических построений, поскольку ей присущ определенный порядок вычисления атрибутов. Реально может быть построена некоторая оптимальная по времени система, которая объединяет синтаксический и семантический анализы, например близкий к оптимальному восходящий вычислитель, линейный по размеру графа зависимости атрибутов, или оптимальный нисходящий вычислитель, который может комбинироваться с методом разбора различных стратегий.

Другое название --- [math]\displaystyle{ S }[/math]-Грамматика.

См. также Сильно ациклическая грамматика, [math]\displaystyle{ l }[/math]-Упорядоченные грамматики.

Литература

[Евстигнеев-Касьянов/98]