CSE30151 Non-deterministic Finite Automata