fixed some bugs; integrated UI to NFA-to-DFA backend
fixed some bugs (in general)
fixed some bugs (in general)