nfa-prune Archived

Bachelor's thesis project for testing top-down and bottom-up algorithms for pruning nondeterministic finite automata.