COSC 444 NFA Reduction A program to minimize the number of states in Non-deterministic Finite Automata Based on Chapter 2.4 of "An Introduction to Formal Languages and Automata" by Peter Linz