From Sequential Extended Regular Expressions to NFA with Symbolic Labels