#initial state #state zero #start state #automata #state machine #s0 #s_0