ガードとコミット選択

あれっ、遷移辺に貼られたディスパッチラベルが一種のガードで、どれかを選んでGOというわけで、これはコミット選択（comitted choice）になっているな。もともとが決定性なんだから、コミットもへったくれもないと言えばまーそうだ。決心をしたり運を天に任せて選択するんじゃなくて、選択が必然なんだからコミットメントはない。逐次処理だし、、、、^^;

まままままっ、そうだけど； 雰囲気的には、ガードがついたプロセッサノードがグラフ形状に集まった処理系。そのなかをCS（current state）ポインタ＝ニードルがゴール目指して走り回る。