state-machine - 有限状態マシンは前の状態に遷移できますか?

Question

FSM が次の状態、さらには現在の状態、つまりそれ自体に遷移する状態に遷移できることはわかっていますが、状態を前の状態に遷移させること (状態 C から状態 B への遷移) は合法ですか?

Answer 1

FSM の「次の状態」は、マシンが次の「タイム スライス」または次の入力が到着したときなどに遷移する状態として定義されます。

このように定義すると、C の次の状態は、C 自体、B、A、D、ZORG、またはマシン内の任意の状態になります。アルファベットは前のものと次のものを定義するのではなく、FSM の論理フローのみを定義します。

ウィキペディアのページからのこのステート マシン:

http://en.wikipedia.org/wiki/File:Finite_state_machine_example_with_comments.svg