1 g_state: state_A 	b state_B 
3 t_state: state_B 	c state_C 	d state_D	someNewInput newState
2 t_state: state_D	e state_A	f state_C
2 g_state: newState	a newState	c state_E
0 t_state: state_E
input: c
input: a
input: a 
input: someNewInput
input: b 
input: e
input: d
input: b
start: state_A