TRaversing NFA