Bohm-Jacopini定理

概述

Bohm-Jacopini定理是1966年由意大利数学家Corrado Boehm和Giuseppe Jacopini提出的理论结果，证明了任何使用goto语句的程序都可以用仅包含顺序执行、条件选择(if-then-else)和循环(while-do)三种结构的等价程序来替换。

关键内容

1. 定理内容：该定理从数学上证明了goto在表达能力上是冗余的，任何可计算问题都可以通过顺序、选择和循环三种基本结构来解决。

2. 理论意义：为结构化编程提供了坚实的理论基础，证明了无需goto也能实现所有程序逻辑，从而支持了Dijkstra等学者限制或消除goto的主张。

3. 影响：该定理成为结构化编程运动的重要理论支撑，影响了此后几十年编程语言的设计和发展方向。

4. 应用：为编程语言设计者提供了指导，表明可以在不损失表达能力的前提下简化控制结构。

来源

• 计算理论基础 — 相关资料
• 原始论文分析 — raw/books/计算机科学/06-dijkstra-goto-considered-harmful.md（提及理论基础）

相关

• Go To Statement Considered Harmful — provides_theoretical_basis_for
• 结构化编程 — supports
• Corrado Boehm — developed_by
• Giuseppe Jacopini — developed_by