A *correct* implementation of regular expression matching (using finite state automata).