Список проголосовавших за комментарий "meat, при том, разумеется, НМТ может выполнить то же что и МТ, но не наоборот. К примеру, если у нас стоит задача останова на неопределенном результате «или то или это», МТ не сможет это сделать, ее результат всегда детерминирован. Если она остановится, она остановится на строго-определенном результате<br/> <br/> «дайте мне фруктовое или шоколадное мороженное» — «нет, только фруктовое»(при фиксированной входной строке)."