Belirsiz bir Turing makinesi, en az bir yol kabul ederse kabul eder; yalnızca tüm yollar reddedilirse reddedilir. Bu asimetri "cevapları çevirmeyi" zorlaştırır.
Örneğin, giriş w için iki yol içeren belirsiz bir Turing makinesi sahip olduğunuzu varsayalım : biri kabul eder, diğeri reddeder. M , w için en az bir kabul yoluna sahiptir , bu yüzden kabul eder. Diyelim ki M'nin reddettiği girdileri tam olarak kabul eden bir makine üretmek istiyoruz . Açık olan ilk girişim M'yi almak ve kabul eden devletleri reddetmek ve reddetme devletlerini kabul etmek. M , w için bir kabul yoluna ve bir reddetme yoluna sahiptir; Bu yeni makine M ' bir reddetme yolunu ve bir kabul yolu vardır. Hala kabul Yani w o reddetmek gerekiyordu, hangi!MwMwMMMwM′w
Belirsiz bir makine, tüm yollarına aynı anda bakamaz ve bu yolların hepsinin yaptıklarına göre harekete geçemez. İsterseniz, iş parçacıklarının birbirleriyle iletişim kurmasının yasak olduğu bir paralellik biçimi olarak düşünebilirsiniz. Tüm evreler bittiğinde program kendisine şu soruyu sormalıdır: "Evrelerimden en az biri kabul etti mi?" Cevap evet ise, yasal olarak kabul etmekle yükümlüdür; cevap hayır ise, yasal olarak reddetmekle yükümlüdür.Başka bir şey yapamaz.
Eğer nondeterministic makine taklit zaman bir tane kullanılarak M ' , her yolu M ' biri yolunu taklit M ve sadece bu yolu görür. "Diğer tüm yollar reddedilirse, kabul edeceğim" diyemez, çünkü diğer yolları göremez; sadece kendini görebilir. Yani söyleyebileceği tek şey, "Benzettiğim yol kabul edilirse, reddedeceğim" veya "Benzettiğim yol kabul edilirse, ben de kabul edeceğim" gibi şeyler. Daha sonra, hesaplamanın sonunda, makine "Yollarımdan herhangi biri kabul edilirse, ben de kabul edeceğim" demeli ve yukarıda tarif ettiğim soruna yol açmalıdır. Davranışını tersine çevirmek için M , her yolu M 'MM′M′MMM'"Ben simüle ettiğim yolu kabul edersem, reddederim; başka, kabul ediyorum" demeli ve hesaplamanın sonunda, makinenin "Tüm yollarım kabul edilirse kabul ediyorum; başka bir şey reddediyorum ." Bunun nedeni, simülatörün tüm yolları kabul edilirse, bu, tüm yollarının reddedildiği anlamına gelir , bu nedenle M reddetti, bu yüzden simülatörün kabul etmesi gerekiyor. Ancak simülatör geçerli bir belirleyici olmayan Turing makinesi değil, çünkü yasal olarak zorunlu kabul kriterini kullanmıyor. Bunu yapamaz.MM
Belirsiz bir makinenin girdisini reddetip reddetmediğini anlamanın tek yolu, olası her yolu denemek ve hepsinin reddettiğini doğrulamaktır. Sonuçta, bunlardan biri bile kabul edilirse, makine girişi kabul eder. Ancak olası her yolu denemek, sadece bir yolu denemekten katlanarak daha yavaştır.