3. Ðåøåíèå óðàâíåíèÿ â ñèìâîëüíîì âèäå. Âûðàæåíèÿ Å1, Å2, À óïðîùàþòñÿ (èñ÷åçàþò íåéòðàëüíûå è âçàèìíîîáðàòíûå ýëåìåíòû), óðàâíåíèå ñâîäèòñÿ ê âèäó õ=Expr, ãäå Expr - íîðìàëüíàÿ ôîðìà ðåøåíèÿ: ~Å1·À·~Å2.
4. Íàéòè çíà÷åíèå íåèçâåñòíîãî õ â çàäàâàåìîé ïîëüçîâàòåëåì êîíêðåòíîé (íî, âîçìîæíî, íåïîëíîé) èíòåðïðåòàöèè I: xI=ValI (Expr).
Ïîäðîáíåå:
1) Äëÿ íîðìàëüíîé ðàáîòû ñ ââåäåííûì âûðàæåíèåì (à â íàøåì ñëó÷àå ýòî ïðîñòåéøåå àðèôìåòè÷åñêîå âûðàæåíèå - ñì. Óñëîâèå) íóæíî ïðåîáðàçîâàòü åãî â áîëåå óäîáíóþ ôîðìó. Òî åñòü ñòðîêó, ãäå âñå ñèìâîëû íå íåñóò ñìûñëîâîé íàãðóçêè è ðàâíîçíà÷íû, íóæíî ïðåîáðàçîâàòü â ïîñëåäîâàòåëüíîñòü ëåêñåì. Òàêèì îáðàçîì íóæíî âûïîëíèòü çàäà÷ó ëåêñè÷åñêîãî àíàëèçàòîðà, à òàêæå ïðîèçâåñòè ñòðóêòóðèçàöèþ âûðàæåíèÿ. "Ëåêñè÷åñêèé àíàëèç äàíûõ".
2) Òàê êàê íàøå âûðàæåíèå - ñòðóêòóðèðîâàííàÿ åäèíèöà (âàæåí ïîðÿäîê âûïîëíåíèÿ îïåðàöèé), òî âîçíèêàåò ïîòðåáíîñòü ïðåäñòàâèòü âûðàæåíèå â âèäå äåðåâà. Çàäà÷à "Âûðàæåíèå â âèäå äåðåâà".
3) Âû÷èñëèòü âûðàæåíèå â òî÷êå, â êà÷åñòâå ðåçóëüòàòà ïîëó÷èâ íîâîå âûðàæåíèå - çàäàåì íåïîëíóþ èíòåðïðåòàöèþ ìíîæåñòâà ïåðåìåííûõ â âûðàæåíèè (êàððèçàöèÿ). Ñì. çàäà÷ó "Âû÷èñëåíèå âûðàæåíèÿ â òî÷êå".
4) Óïðîùåíèå âûðàæåíèé çàòðàãèâàåò î÷åíü âàæíîå ïîíÿòèå äëÿ Ëèñïà ñèìâîëüíûå ïðåîáðàçîâàíèÿ, òàê êàê Ëèñï èñïîëüçóåòñÿ ïðåæäå âñåãî äëÿ ñèìâîëüíûõ âû÷èñëåíèé ïðè ðåøåíèè çàäà÷ èñêóññòâåííîãî èíòåëëåêòà. Çàäà÷à "Ñèìâîëüíûå ïðåîáðàçîâàíèÿ".
Îòìåòèì, ÷òî ìàòåìàòè÷åñêèé àñïåêò íàãðóæåí ìàòåðèàëîì, êîòîðûé âûäåëåí íà îñíîâàíèè ñïåöèôèêàöèé ïðîãðàìì, âîøåäøèõ â ìàêåòû.
Âûäåëåíèå óðîâíåé (ïîíÿòèé) ñïåöèôèêàöèè äëÿ ïðàêòè÷åñêîãî ìàòåðèàëà ïî çàäàíèþ ïðàêòèêóìà íåîáõîäèìî äëÿ íåðàçðûâíîãî ñóùåñòâîâàíèÿ â ñèñòåìå FLINT ïðàãìàòèêè è òåîðèè ïðåäìåòà. Îíè âûäåëÿþò òåîðåòè÷åñêèé ïëàí, êîòîðûé ïîçâîëèò îáó÷àåìîìó ðàçîáðàòüñÿ ñ ñóùåñòâîì ìåòîäîâ ðåøåíèÿ çàäà÷è.
Ââåäåíèå óðîâíÿ ñïåöèôèêàöèè äëÿ çàäàíèÿ ïðàêòèêóìà ïðåñëåäóåò öåëü “ðàçîðâàòü” ñåìàíòèêó, îñíîâàííóþ íà ìåõàíèçìå âûâîäà, è ñåìàíòè÷åñêîå ñëåäñòâèå.
 ïóíêòå 3 âûäåëåíû ïîíÿòèÿ óðîâíÿ ñïåöèôèêàöèé, è òåïåðü âîïðîñ çàêëþ÷àåòñÿ â ðåàëüíîì åãî ïðåäúÿâëåíèè (äëÿ çàäàíèÿ ïðàêòèêóìà) àêñèîìàòè÷åñêîãî ìåòîäà. Ïðåäñòàâëÿåòñÿ ðàöèîíàëüíûì ïðåäúÿâèòü:
1) äëÿ ïðîãðàììèñòñêîãî àñïåêòà - íåïîäâèæíàÿ òî÷êà êàê ïîäõîäÿùåå îáîáùåíèå ïðîáëåìíîé îðèåíòèðîâàííîñòè àïïëèêàòèâíîãî ñòèëÿ.;
2) äëÿ ìàòåìàòè÷åñêîãî àñïåêòà - ëÿìáäà-èñ÷èñëåíèå è êîìáèíàòîðíàÿ ëîãèêà êàê òåîðåòè÷åñêàÿ îñíîâà äëÿ ðåàëèçàöèé àïïëèêàòèâíûõ ÿçûêîâ;
3) äëÿ ñèñòåìîëîãè÷åñêîãî àñïåêòà - ìîäåëè Ä. Ñêîòòà..
Интерпретация
При формулировке задания от обучаемого требуют задания конкретной интерпретации группы. Понятие интерпретации охватывает все области информатики.
В [28] сделана попытка создания среды саморазвития для идеи интерпретации (см Приложение D).
Накапливающий параметр.
Припомним исторический казус с Алонсо Черчем, который на подступах к теории алгоритмов l-исчисления бился с l-определимостью n-1. Пришлось дождаться Стефана Клини, который будучи аспирантом, решил задачу посредством накапливающего параметра.
F(i,n,r)=│n=0®0
│i+1=n®r
│ç---ç®F(i+1,n,r+1)
Обращение для n-1=F(0,n,0). Накапливающим параметром является i.
Покажем действенность нашего подхода совместного рассмотрения стилей, чтобы показать как, между делом, воспринимается техника накапливающего параметра посредством логического стиля. Рассмотрим порождающее предъявление n-1 в логическом стиле.