Text this: New finite automata corresponding to semiextended regular expressions.