S-атрибутная грамматика

Атрибутная грамматика, все атрибуты которой являются синтезируемыми