標準的な状態マシンに変数や論理演算を追加したモデルを何と呼ぶか。

EFSMは変数や条件式を扱うことができ、より複雑なビジネスロジックを表現するのに適している。