更改
跳到导航
跳到搜索
第189行：
第189行： − + − + 第228行：
第228行： − + − +
→建构性的自指
<pre>
<pre>
S(x){
S(x){
q=’S(x){\\nq=\\\’\’+q+\’\\\’;\\nPrint(\\\’\’+p(q)+\’\\\’);\\n}’;
q=’S(x){\\n q=\\\’\’+q+\’\\\’;\\n Print(\\\’\’+p(q)+\’\\\’);\\n}’;
Print(‘S(x){\nq=\’’+q+’\’;\nPrint(\’’+p(q)+’\’);\n}’);
Print(‘S(x){\n q=\’’+q+’\’;\n Print(\’’+p(q)+’\’);\n}’);
}
}
</pre>
</pre>
<pre>
<pre>
S(x){
S(x){
q= λ (Copy<sub>o</sub> Popup<sub>o</sub> Control)
q= λ (Copyo Popupo Control)
(Copy<sub>o</sub> Popup<sub>o</sub> Control)(q);
(Copyo Popupo Control)(q);
}
}
</pre>
</pre>