RegExRecognizer finite automata built from regular expression - a((ab)|(bc))*c. Says whether the string matches it or not.