抽象尾动作文法 定义:动作子程序中,直接引用对应文法符 号的值,不考虑其形式、位置和结构如何。 ÷举例: E0→n1 iPUSH E0→>(E2+E4)#ADD E0→(E2*E4)#MUL PUSH [E0.va|:=n1.va| ADD IEO. val: = E2. val + E4. val F I EO. val E2 val E4 val F抽象尾动作文法  定义：动作子程序中，直接引用对应文法符 号的值，不考虑其形式、位置和结构如何。  举例： E 0 → n 1 #PUSH E 0 → ( E2 + E4 ) #ADD E 0 → ( E2 * E4 ) #MUL PUSH: { E0.val := n 1.val } ADD: { E0.val := E 2.val + E4.val } MUL: { E0.val := E 2.val * E4.val }