NFA to transition table done without test