parse AFN to AFD incomplete.
Change the way how AFN is done.
Change the way how AFN is done.
Merge branch 'master' into change
reoganizing afd.hs.
Modularizing powerset.hs
working with powerset as module and the new afn.
a few changes to afd.hs.
Add transitive closure function for afn.hs. Fix initialState.
Transform a AFN into a AFD is working.