clarified regexes

Sometimes a dfa simulation is easier to code and debug than a regular
expression.