>>260
状態遷移図実はドキュメントと同期してない?
受理状態となるS7が見あたらないんだけど