Add support for epsilon transitions
Restructure description state structure
Properly simulate an ENFA