Regex, NFA