令S.val为下面的文法由S生成的二进制数的值(如,对于输入):
SL.L|LLLB|B
B0|1
按照语法制导翻译的方法,对每个产生式给出相应的语义规则。
(1)给出语法制导定义确定每个子表达式的类型。
(2)把表达式翻译成前缀形式,并且决定类型。试用一元运算符inttoreal把整型值转换为相等的实型值,以使得前缀表达式中两个运算对象是同类型的。
下面的文法G(S)描述由命题变量p、q,联结词U(合取)U(析取)←(否定)构成的命题公式集合:
在推导中不起作用,即所有句子的推导始终不会用到此规则,显然这种规则是多余的。也称这种非终结符为_________.