ベームとヤコピーニの証明

ウィキペディア小見出し辞書

ベームとヤコピーニの証明

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/07/06 11:41 UTC 版)

「構造化定理」の記事における「ベームとヤコピーニの証明」の解説

ベームとヤコピーニの論文の証明は、フローチャートの構造的帰納法によって行う:381。それはグラフ内のパターンマッチングを利用したので、ベームとヤコピーニの証明はプログラム変換アルゴリズムとして実用的ではなかった。そして、このような方向へのさらなる調査のためのドアを開けたのであった。