无法理解还原和图灵机

Question

我正在研究减少量和不确定性，我无法理解它起作用的概念。 那么输入z上的M'是什么意思？ 我不明白“ z”来自哪里？ 这是我的理解： 当R收到输入{% for post in site.posts limit:3 %} <a href="{{site.baseurl}}{{post.url}}" style="text-decoration: none; margin: 1rem;"> <div class="newsBox"> <div style="margin: auto;"> <h1 style="text-align: center; color: white;">{{post.title}}</h1> <p style="text-align: center; color: white;"> {{post.description}} </p> <p style="text-align: center; color: #101a31; font-style: italic; font-size: 1.2rem;"> {{post.date | date:"%d-%m-%Y"}} </p> </div> </div> </a> {% endfor %} 时，它会生成一个<M,w>，M'将仅模拟w上的<M'>。 M'就像M'{在w上运行M}一样。 输入<M>上的Runinng R将显示M'是否接受空字符串。 但是这就是我坚持的地方。 R的结果如何通过输入w揭示M？