2 Постановка задачи: о связном предъявлении теории информатики и практики программирования в теме исполнения для теоретического мышления. 13 (стр. 25 из 25)

Êðîìå òîãî ïîìîãàëè â ðàáîòå è ðåáÿòà ñ òðåòüåãî êóðñà Çàäûìîâ Êîíñòàíòèí, Òàãåð Äìèòðèé è Íàçìèòäèíîâà Àëåíà..

9 Приложения.

А. Ранние требования к предметной области системы (до введения уровня спецификаций).

B. Несколько слов об энергичных и ленивых интерпретаторах.

C. SECD-машина.

D. Среда саморазвития для идеи интерпретации.

E. Бестиповое лямбда-исчисление. Определения.

F. Задание практикума.

[1] Ïðàâèëî h-ïðåîáðàçîâàíèÿ îñíîâàíî íà òîì, ÷òî âûðàæåíèÿ (lx. Ex) è E îáîçíà÷àþò îäíó è òó æå ôóíêöèþ ïðè óñëîâèè, ÷òî x íå ÿâëÿåòñÿ ñâîáîäíîé ïåðåìåííîé â Å, òîãäà (lx. Ex) À = E À äëÿ ëþáîãî âûðàæåíèÿ À.

* Íî ýòî ñóùåñòâî ïðåäëîæåííîãî ìåòîäà. Âñå â ïðåäëîæåííîì èñ÷èñëåíèè êîíâåðñèé. Ïåðâûé øàã íà÷èíàåòñÿ ñ t₁||®t₁₁. Если начинаем с S или K, то “стоим на месте”. Фактически доказательство левой части заменили счетом в правой части.