《表1 转移语句：基于控制流的软件设计与实现一致性分析方法》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于控制流的软件设计与实现一致性分析方法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

由于逻辑运算短路的特点，伪代码中会出现短路代码，进而影响程序控制流。因此将运算符and、or、not翻译成goto语句。运算符本身不出现在中间表示中，布尔表达式的值通过语句序列中的位置来表示。如表1所示，使用转移语句来翻译控制语句以及布尔表达式。