more on nulltag nfa
nulltag nfa
tag-nfa utils
more on nfa