Теория и реализация языков программирования



         

Формальные свойства - часть 4


 w(X_{p0})=\{(0, \; X_{p0})\cup \bigcup\limits_{j=1}^{n_{p}}\{(j\cdot \alpha, X) \mid \\ (\alpha,X)\in w (X_{pj}), \; X_{pj}\in N\}

(2.5)

в корне дерева полностью определяет всe дерево3)

. Каждое семантическое правило, определяемое методами этого раздела, можно рассматривать как функцию этого атрибута w. Следовательно, описанный общий метод по существу не более мощен, чем метод, вовсе не использующий наследованных атрибутов. Правда, это утверждение не следует понимать как практическую рекомендацию, поскольку семантические правила, не использующие унаследованных атрибутов, будут зачастую гораздо более сложными (а также менее понимаемыми и практичными), чем правила, включающие атрибуты обоих типов. Если допустить, чтобы атрибуты в каждом узле дерева могли зависеть от всего дерева, то семантические правила часто могут стать проще и будут лучше соответствовать нашему пониманию процесса вычисления.




Содержание  Назад  Вперед