Yacc或bison作为编译程序的生成工具，利用的就是语法制导翻译方法。它使用符号$$表示产生式左端的属性，$n表示存取产生式右端第n个文法符号相联的属性，上述例子的Yacc描述如右页所示。