構造化定理
Sign in to saveAlso known as Böhm-Jacopini theorem, Dijkstra's theorem
theorem that a class of control flow graphs can compute any computable function if it combines subprograms only through sequence, selection, and iteration
Wikidata facts
- Instance of
- theorem
- Part of
- list of theorems
- Named after
- Edsger W. Dijkstra
Show 3 more facts
- time of discovery or invention
- 1966-00-00
- discoverer or inventor
- Corrado Böhm
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
Article · 日本語
構造化定理（こうぞうかていり、英: Structure theorem）とは、任意の一入力・一出力関数は、順次（sequence）、選択（ifthenelse）、繰り返し（whiledo）の３つの基本制御構造からなる関数と等価であることを主張する定理である。構造化プログラム定理（structured program theorem） あるいは ベーム-ヤコピーニの定理（Böhm-Jacopini theorem）とも呼ばれる。 goto文を除去することを正当化する内容を持ち、ミルズの構造化プログラミングにおいて基本となる定理である。
Abstract from DBpedia / Wikipedia · CC BY-SA