Определение языка , принятого NFA , говорит, что это набор всех строк, принятых NFA. Ясно, что каждая принятая строка принадлежит языку, и поэтому ответ на ваш вопрос таков: Нет.
Отклонение означает: все возможные вычисления для данной строки либо заканчиваются в неприемлемом состоянии, либо даже не читать всю строку (если автомат не является полным). Обе эти возможности исключают принятие.
Для недетерминированных c машин Тьюринга существуют такие понятия принятия, как: «принимается более половины вычислений» или «принимается нечетное количество вычислений» ( Паритет ) et c. Там вы можете принимать вычисления, несмотря на глобальный отказ. Но эти понятия широко не используются, и я никогда не видел, чтобы они применялись к конечным автоматам.