DFA wrong logic about NFATable was resolved, I thought that state id is
the index of the state in NFAtable the thing that lead to unknown
transition. but I resolved it by changing my BFS to pure BFS without
accessing NFATable except for getting the start state. I added a new
array to handle lazy addition concept this array stores the pointers of
each NFA state to be able to get them in state flushing