INITIAL_STATE  SOME_STATE     FINAL_STATE
         +-----+        +-----+        +-----+
start--->|     |---+--->|     |------->|     |--->accept
         +-----+   |    +-----+        +-----+
                   |       |
                   +-------+