factor FARule into automata package
factor States into automata, alias automata to a because aintnobodaygottimeforthat
factor NFARuleBook into automata
factor NFA into automata
factor NFADesign into automata
move NFASimulation to automata