finite automata module idk just tried this from notes p.217, 7.4.2 Equivalence of DFSA and NFSA https://www.cs.toronto.edu/~vassos/b36-notes/notes.pdf optimized the conversion of NFSA to DFSA... might clean up stuff (optimizing automata) later on