thompson nfa: a tale of fast RE