Question

In a finite state machine, can a state S1 generate an event, so this event will trigger a transition from this state S1 to another state S2 ?

Answer 1

I prefer this way of visualizing FSM in software

         Start

           |

       =Initial=   <---------------------------------
     --------------                                 |
    | Transition 1 | --------->     =State 2=       |
     --------------              ---------------    |
    | Transition 2 | -------    |  Transition   | --|
     --------------        |     ---------------    |
                           |                        |
                           |                        |
                           |                        |
                           --->     =State 3=       |
                                 ---------------    |
                                |  Transition   | ---
                                 ---------------

In this scenario the Initial state will execute upon some path that can then transition into Transition 1 or Transition 2. Transition 1 starts State 2 while Transition 2 starts State 3. The Initial state can emit an event saying it will take the transition Transition 1 and your framework then can execute that transition.

You’ll also notice that I do not have an end in this FSM. You need an end or a closed looped.