#non-deterministic finite automaton #nfa cs #automata theory #theory of computation #finite state machine