5.6.1常见控制猪构的禄 程序设计理论已证明，任何程序均可由序列结 构、条件分枝结构和while循环三种结构等价 地表示。因此，我们先讨论这三类结构的翻译。 这三类结构可用如下的文法描述： 1.S→if E then S(1) if E then S(1)else S(2) 3. while E do S(1) 4. I begin L end (5.8) 5. IA 67 L→L;S IS5.6.1 常见控制结构的翻译 • 程序设计理论已证明,任何程序均可由序列结 构、条件分枝结构和while循环三种结构等价 地表示。因此,我们先讨论这三类结构的翻译。 这三类结构可用如下的文法描述： 1. S→ if E then S(1) 2. | if E then S(1) else S(2) 3. | while E do S(1) 4. | begin L end (5.8) 5. | A 6. L→L ；S 7. | S