Это неверно.Рассмотрим NFA с двумя состояниями с неприемлемым начальным состоянием, ведущим к принимающему состоянию посредством лямбда- (или эпсилон-, или пустого) перехода.Пустая строка принимается этим NFA при прохождении перехода, но исходное состояние неприемлемо.
Если бы утверждение касалось DFA, то это было бы верно, поскольку lambda- (или epsilon-, илипусто) переходы будут недоступны.