結構化程式定理係喺1966年出嘅一條定理，革新咗程式編寫呢個領域。根據呢條定理，是但搵個用咗goto嘅程式，呢個程式都可以轉化做一個冇任何goto喺入面、而且功能上完全一樣嘅程式，後者當中衹係需要有條件運算式同迴圈。