N

nfa-prune

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

Archived project! Repository and other project resources are read-only