Изменения

'''Недетерминированная машина Тьюринга''' (НМТ) — машина Тьюринга, управляющее устройство в которой представляет собой [[Недетерминированные_конечные_автоматы | недетерминированный конечный автомат]]существует пара "ленточный символ - состояние", то есть из каждого состояния может быть несколько переходов по одному для которой существует 2 и тому же символу на входной лентеболее команд.