含んだループがあってはならない。ループがあってはならない。ループがあってはならないと言う約束事ができた。ループがあっても良かった。準拠になってから変更する必要がある。実行モードを明確に定義した。構文における実行モードの定義が曖昧であったために行ったものである。されていない場合の実行モードを表現する。アクティブに実行される。言う並列の実行形態となる。遷移する際の動きを具体的に説明しよう。動作モードとなっている。