An NFA that recognizes the empty word, consisting of a single state that is both initial and final.
Computerphile
