並行・履歴・サブマシン →
localは親状態を退出しない遷移、internalはその状態を退出しない内部処理です。×は状態機械の終了、二重丸は領域の完了を表します。
この例の {local} はFinchの明示ラベルです。構造チェックは厳格モードで実行します。
既定モードでは不正な構造を診断結果として取得できます。