Goto文
「goto文有害説」は、ほとんどの場合、「構造化定理」(en:Structured program theorem)に結びつけて主張されたものだと信じられている。構造化定理は、
連接 (sequence): 文1; 文2
選択 (selection): if 式 then 文1 else 文2 fi
繰返し (iteration): do 文 od
という、「3つの基本構造」によって、フローチャートで記述された計算可能な関数は、全て表現できる、というものである。この定理の意味する所は、チャーチ=チューリングのテーゼと同じようなものである。すなわち、計算可能な関数について、それを計算するチューリングマシンを構成することもできるし、ラムダ計算によって計算することもできるし、帰納的関数として定義することもできる、といったことと同様に、フローチャートでも、あるいは「3つの基本構造」の組み合わせによってでも表現できる、ということである。