Non-deterministic Finite Automata 10/12/2020