13.设某语言的逻辑运算的文法G[S]: S→S(1)∨S(2)| S(1)∧S(2)|true|false 采用L翻译模式编写产生式对应的语义动作程序。 Newlabel为申请并返回一个新标号 label(X)表示取下一条语句的地址为语句标号X赋值,X为参数,如label(S(1) .true),将下一条语句 地址赋值给S(1) .true,即确定了S(1) .true的跳转地址 S →{ S(1).true := newlabel; S(1).false := S.false } S(1)∧ { } S(2) 空白处的语义动作正确的为: A. label(S(1) .false);S(2).true := S.false; S(2).false := S.true B. label(S(1) .true);S(2).true := S.false; S(2).false := S.false C. label(S(1) .false);S(2).true := S.true; S(2).false := S.true D. label(S(1) .true);S(2).true := S.true; S(2).false := S.false
时间: 2023-08-19 15:03:58 浏览: 93
高中数学第一章常用逻辑用语1.1命题及其关系命题逻辑素材新人教A版选修2_1
Gongbao 101982 87
Jiu Weihu 107431 75
Tian Zun 100001 98
Tai Yi 101009 81
Yang Jian 101321 63
Huang Feihu 101567 72
Zhou Wang D. label(S(1) .true);S(2).true := S.true; S(2).false := S.false。108160 55
Li Jing 102456 84
Tu Xingsun 102245 65
Tai Yi 101009 在这个语法制导翻译中,S(1)∧S(2)表示逻辑与运算,S.true81
Huang Feihu 101567 72
Zhou Wang 108160 55
Yang Jian 101321 63
和S.false是两个语句标号,用于标识当S(1)和S(2)分别为真Ne Zha 101674 70
Jiu Weihu 107431 75
Tu Xingsun 102245 65
```
阅读全文