Я учусь на сокращении и неразрешимости, и я не могу понять концепцию, что это работает. 
Итак, что означает цифра M на входе z?Я не могу понять, откуда взялись 'z'?Вот мое понимание: когда R получает входной сигнал <M,w>, он генерирует <M'>, который M 'будет просто имитировать <M> на w.M 'чем-то похож на M' {запустить M на w}.Выполнение R на входе <M'> покажет, принимает ли M 'пустую строку или нет.но тогда вот где я застрял.Как результат R помогает выявить М с помощью ввода w?