Creates a DFA. Still missing states that are lead to.
Creates DFA, missing some states.