Finite state automata vs regex