Finite State Machine Automata