tag registers and nfa disjunction
nfa disjunction