Define Finite Automaton