翻译布尔表达式 SDUT OJ 编译原理练习题拉链回填

最新推荐文章于 2023-09-08 22:45:46 发布

原创

最新推荐文章于 2023-09-08 22:45:46 发布 · 3.3k 阅读

25 ·

CC 4.0 BY-SA版权

本文介绍了布尔表达式的翻译方法，重点讨论了拉链回填技术。通过对不同样例的分析，解释了真假链出口的确定原则，并提供了相关样例的解题思路。

翻译布尔表达式

Description

大家都学过了布尔表达式的翻译，其中有一个拉链－回填技术，这次我们就练习这个技术。

Input

输入为一行字符串，例如： a < b or c < d and e < f

每个符号都用空格间隔。

其中逻辑运算符包含 and 和 or ，关系运算符包含 < 、> 、<= 、 >= 、== 、 != 。

Output

假链跳到０，真链跳到１，表达式序号从100开始排。

Sample

Input

a < b or c < d and e < f

Output

100(j<,a,b,1)
101(j,_,_,102)
102(j<,c,d,104)
103(j,_,_,0)
104(j<,e,f,100)
105(j,_,_,103)

解题思路：

本题难点是在假链出口，
观察下方例子可以发现，
假链出口0 需要在最早没机会继续翻译下去的地方，
就是说如果在这里为假了，那后面的都不需要进行翻译了，那这里就是假链出口。
真链一直顺序继承前面的真链出口就可以，假链变化较复杂。

真链出口1 是出现可以直接令整个表达式串为真的表达式时写入的
假链出口0 是出现可以直接令整个表达式串为假，不需要再往后判断的时候写入的
由此可知，
可以作为真链出口1的有：
(1)每一个or左边表达式为真时的输出 (2)最后一个and的右边表达式（在or或end的左边）为真的输出
可以作为假链出口0的有：
(1)每一个and的左边表达式为假的输出 (2)最后一个or右边表达式（在or或end的左边）为假的输出

例1 a < b or c < d and e < f
100(j<,a,b,1)
101(j,_,_,102)
102(j<,c,d,104)
103(j,_,_,0)
104(j<,e,f,100)
105(j,_,_,103)

例2 a < b or c < d
100(j<,a,b,1)
101(j,_,_,102)
102(j<,c,d,100)
103(j,_,_,0)

例3 a < b and c < d and e < f
100(j<,a,b,102)
101(j,_,_,0)
102(j<,c,d,104)
103(j,_,_,101)
104(j<,e,f,1)
105(j,_,_,103)

例4 a < b or c < d and e < f or g < h
100(j<,a,b,1)
101(j,_,_,102)
102(j<,c,d,104)
103(j,_,_,106)
104(j<,e,f,100)
105(j,_,_,103)
106(j<,g,h,104)
107(j,_,_,0)