更改
跳到导航
跳到搜索
第211行：
第211行： − + 第231行：
第231行： − S(x){ − q=<math>\lambda (Copy_o Popup_o Control)</math>+ + + +
→建构性的自指
S(x)这个程序中包含了过多的“\”和“’”符号，这就导致我们理解源代码1稍显困难，下面我们将把该程序表示成下面的图，从而让读者看得更清晰一些：
S(x)这个程序中包含了过多的“\”和“’”符号，这就导致我们理解源代码1稍显困难，下面我们将把该程序表示成下面的图，从而让读者看得更清晰一些：
[[File:jake20111317131552.jpg |center |500px]]
[[File:jake20111317131552.jpg |center |400px]]
图5-2自打印程序源代码中的引号层次示意
图5-2自打印程序源代码中的引号层次示意
<code>
<code>
<math>S(x){</math>
<math>q=\lambda (Copy_o Popup_o Control)</math>
<math>(Copy_o Popup_o Control)(q);</math>
<math>(Copy_o Popup_o Control)(q);</math>