Non deterministic finite state machine from regular expression.