I wonder if he built a state machine and then converted it to a regular expression.