给定一个属性文法，每个文法规则选择有一个相关依赖图(associated dependency graph)。文法规则中的每个符号在这个图中都有用每个属性X i . a j 标记的节点，对每个属性等式：
X i . a j = f i j ( . . . , X m .a k , . . . )
相关于文法规则从在右边的每个节点X m .a k 到节点X i . a j 有一条边(表示X i . a j 对X m .a k 的依赖)。依据上下文无关文法，在语言产生时给定一个合法的字符串，这个字符串的依赖图( dependencygraph )就是字符串语法树中选择表示每个(非叶子)节点文法规则依赖图的联合。
通常在计算属性时，利用参数和返回的函数值与属性值进行通信，而不是把它们作为字段存储在语法树的记录结构中，这样做是有意义的。当许多属性值都相同，或者仅仅在计算其他属性值时临时使用，就尤为重要。对于这种情况，使用语法树的空间在每个节点存储属性值就没什么意义了。事实上，递归遍历程序用前序计算继承属性，而用后序计算合成属性，在子节点把继承属性作为参数传递给递归函数调用，并接收合成属性作为那些相同调用的返回值。特别地，算术表达式合成属性值的计算能通过递归分析程序返回当前表达式的值进行。类似地，在语法分析期间，因为直到它的构造完成，也没有用以记录作为属性的自身的数据结构存在，所以语法树自身作为合成属性必须通过返回值计算。
