Simulator used to prepare a Finite State Machine

This one recognizes the pattern TAXI


Simlulator text definition for this circuit

States
 Inputs Letter(s)
 OUTPUT
~(TAXI)
 T
 A
 X
 I
s0
 s0 s1
 s0
 s0
 s0
 0
s1
 s0 s1
 s2
 s0
 s0
 0
s2
 s0 s1
 s0 s3
 s0
 0
s3
 s0 s1
 s0 s0 s4
 0
s4
 s0 s1
 s0
 s0
 s0
 1