example_train_controller.txt

Transition
* ls1 ll2 rl3 rs4 lr5 rr6 0
a 0 0 0 0 0 0 o
0 0 0 0 0 0 0 o
0 0 e 0 0 0 0 o
a 0 0 0 0 0 0 o
a 0 0 0 e 0 0 o
0 0 0 e 0 0 0 o
* 0 0 0 0 0 0 0
Unkown_Transition_by
0 0 0 0 0 0 0 0
0 0 t1 0 0 0 0 0
0 0 0 c 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 t1 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
Name_State
sI s1 s2 s3 s4 s5 s6 s7
Initial_State
sI