NFAs did work correctly, and now NFAs have a list of their states to help with DFA table creation!