すべてのＧｏＴｏ文を含むプログラムは、イベントドリブンのＧｏＴｏレスプログラムに変換できる

　たまたま、このページ（元は４０４になっていたので、グーグルのキャッシュ？のページより）を見つけました。

あ、
計算論 計算可能性とラムダ計算
http://www.amazon.co.jp/gp/product/product-description/4764901846
ですね（＾＾）／

これの、１２ページ、定理１．２．１の話ですね。

　　任意のＮプログラムに関して、whileプログラムが存在する

Ｎプログラムっていうのは、簡単に言うと、

・代入文（っていうか、なんか処理する文）
・条件分岐文
・入力文
・出力文

でできていて、この順番は、矢印引っ張って（有向グラフ）、どこでもいけるってもの。
つまり、これは、プログラムだと、ＧｏＴｏ文使って、どこでもいけるっていうこと。

　一方、Ｗｈｉｌｅプログラムは入れ子にはできるんだけど、入れ子が交差するようなことはできない。
　いわゆる、ＧｏＴｏレスなプログラムですね。

つまりこれは、

　　あらゆるＧｏＴｏ文を使ったプログラムはGoToレスなプログラムに出来る

ってことなんだけど、この証明、そのリンク先より、実務的には、もっと面白いので、ちょっと書きますね。

---

■方法

（１）まず、元のＮプログラムをＧＯＴＯ文をつかって、かきますね！
（上記の本の１２ページの図３）

	input x
TOP:
	if ( a == true )
    		GOTO OUTPUT
	else
    		b();
    		if ( c == true )
       			e();
       			GOTO OUTPUT
    		else
       			d();
       			GOTO TOP
   		endif
	endif
OUTPUT:
	output y

（２）全部の処理の頭に、ラベルを振ってください
　　本では、０、１と振ってあるのですが、数字だとわかりにくいので、
ZERO,ONE,TWOと、英語で振りますね。また、TOPはZERO,OUTPUTはFIVEなので、
そのように書き直します。

	input x
ZERO:
	if ( a == true )
    		GOTO FIVE
	else
ONE:
    		b();
TWO:
    		if ( c == true )
FOUR:
       			e();
       			GOTO FIVE
    		else
TREE:
       			d();
       			GOTO ZERO
   		endif
	endif
FIVE:
	output y

（３）b()のような普通の文の場合、下の行にいきます。
　　　IF文は、TRUEの場合、FALSEの場合で行き先が分かれます。
　　　GOTO文が書かれていないところに対して、

　　　普通の文ならGOTO次の処理のラベル
　　　IF 文は GOTO TRUEのとき、GOTO FALSEのときで書き直します。

	input x
	GOTO ZERO
ZERO:
	if ( a == true )
    		GOTO FIVE
	else
		GOTO ONE
	endif
ONE:
	b();
	GOTO TWO:
TWO:
	if ( c == true )
		GOTO FOUR
	ELSE
		GOTO THREE
	ENDIF
FOUR:
	e();
	GOTO FIVE
TREE:
	d();
	GOTO ZERO
FIVE:
	output y

（４）ここで、ステータス変数u(本ではプログラムカウンタになっている）を利用しましょう。
・GOTO 何とかのところを、u = に書き換え
・それぞれのラベルをcaseにして、switch文に置き換え、
・全体をwhileでくくります。
　そうすると・・・

u = START

while(u != END)
{
switch(u)
{
case	START:
	input x;
	u=ZERO;
	break;
case	ZERO:
	if ( a == true )
		u = FIVE;
	else
		u = ONE;
	endif
	break;
case	ONE:
	b();
	u = TWO;
	break;
case	TWO:
	if ( c == true )
		u =	FOUR;
	ELSE
		u = 	THREE;
	ENDIF
	break;
case	FOUR:
	e();
	u = FIVE;
	break;
case	TREE:
	d();
	u = ZERO;
	break;
case	FIVE:
	output y
	u = END;
}
}

ちゃんとしたプログラムではないけど、こんなかんじ。

---

■つまり、
　上記のuをイベントと考えれば、上のプログラムは、まさにイベントドリブンなわけで、
　結局、
　ＧＯＴＯを含むようなプログラムは、イベントドリブンのＧＯＴＯレスプログラムに置き換えられる
　ってわけ。

　イベントドリブンって、強力だよね（＾＾）／