更改
→建构性的自指
<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>