拡張状態遷移機械単純な状態遷移機械を拡張したモデル