Finite Automaton Matcher