State Machine Automaton Builder