https://slideey.com/18-404-6-840-lecture-3-last-time-nondeterminism-nfa-dfa/