構造化定理

3行要約

1. どんな複雑なプログラムも、順次・選択・反復の3つの基本構造だけで記述できるという定理である。
2. 1966年にベームとカトピーニによって証明され、構造化プログラミングの理論的根拠となった。
3. 「GOTO文」を排除し、プログラムの可読性や保守性を向上させるための指針として普及した。