Ñòðóêòóðà Ìàãèè.

Ïðèìå÷àíèÿ ê Ïðèëîæåíèþ À.

1. Áîëåå ïîëíîå èçëîæåíèå òåîðèè òðàíñôîðìàöèîííîé ãðàììàòèêè ñîäåðæèòñÿ â ðàáîòàõ Chomsky (1957), (1965), (t9?3); Grinder and Elgin (1973) è ò.ä.

2. Áîëåå ïîëíî ýòè âîïðîñû îáñóæäàþòñÿ â ëþáîì ââîäíîì êóðñå ëîãèêè; ñì., íàïðèìåð, ðàáîòó *Tarsky (1943), Kripke{1972). 3. Ïîòîìó ÷òî òàêàÿ îíà è åñòü.

4. Òàê êàê ÷èñëîì âûáîðîâ ïðàâèëî âûâîäà (à) íèêàê íå îãðàíè÷åíî, áîëåå äëèííîé ïîñëåäîâàòåëüíîñòè ñòðîê íå ñóùåñòâóåò, à çíà÷èò, ìíîæåñòâî ïîðîæäàåìûõ ñòðîê áåñêîíå÷íî. Äåéñòâèòåëüíî, åñëè âû ðàññìîòðèòå ñòðóêòóðó ìíîæåñòâà ïðàâèë âûâîäà, âû çàìåòèòå, ÷òî àêñèîìà ýòà ðàñïðîñòðàíÿåòñÿ íà ñàìîå ñåáÿ, òî åñòü ñèìâîë * ïîÿâëÿåòñÿ ïî îáå ñòîðîíû ñòðåëêè ïåðåïèñûâàíèÿ. Ýòîò ñèìâîë, ñëåäîâàòåëüíî, ïîñòîÿííî çàìåùàåò ñàì ñåáÿ. Ýòî ñâîéñòâî ñèñòåìû ïðàâèë èçâåñòíî, êàê ðåêóðñèÿ îíî ãàðàíòèðóåò, ÷òî äàííîå ìíîæåñòâî ïðàâèë ñïîñîáíî ïîðîæäàòü áåñêîíå÷íîå ìíîæåñòâî ñòðîê âûâîäà.

5. Â äåéñòâèòåëüíîñòè ýòî íåïîëíîå èçëîæåíèå, òàê êàê ãëàãîë «äîïóñêàòü» ^âõîäèò â ñòðóêòóðó äåðåâà, â êîòîðîé âñëåä çà ãëàãîëîì èäóò óçëû NP; ïîçæå ìû âíåñåì â ýòî ïîïðàâêó.

6. Ñóòü ïðîèñõîäÿùåãî â ïåðå÷èñëåííûõ ïðåäëîæåíèÿõ ñîñòîèò â òîì, ÷òî íàðóøàþòñÿ ñòðóêòóðíûå òðåáîâàíèÿ ñîîòâåòñòâóþùèõ ãëàãîëîâ. Íàïðèìåð, çà ãëàãîëîì «ñìåÿòüñÿ» íå äîëæíî áûòü íèêàêîãî èìåííîãî ñëîâîñî÷åòàíèÿ. Ïîëüçóÿñü òåðìèíàìè òðàäèöèîííîé ãðàììàòè÷åñêîé òåîðèè, ãëàãîë «ñìåÿòüñÿ» íåïåðåõîäíûé, îí íå èìååò ïðÿìîãî äîïîëíåíèÿ.

7. Çäåñü â ïåðå÷èñëåííûõ ïðåäëîæåíèÿõ íàðóøàþòñÿ ñåìàíòè÷åñêèå òðåáîâàíèÿ èëè îãðàíè÷åíèÿ, íàëàãàåìûå íà âûáîð ãëàãîëîâ. Òàêèå ãëàãîëû, êàê «ñìåÿòüñÿ» è «äîïóñêàòü», òðåáóþò, ÷òîáû â êà÷åñòâå ñóáúåêòîâ îáîçíà÷àåìîãî èìè äåéñòâèÿ, âûñòóïàëè ÷åëîâå÷åñêèå ñóùåñòâà (èëè, ïî êðàéíåé ìåðå, îäóøåâëåííûå).

8. À åñëè âû ìîæåòå ýòî ñäåëàòü, òî îáðàòèòåñü ñ èñêîì ê èçäàòåëüñòâó è ïîçâîíèòå íàì. 9.Îáðàòèòåñü ê ëþáîìó ââîäíîìó êóðñó ïî èñ÷èñëåíèþ ïðåäèêàòîâ.

10. Îáðàùàåì âàøå âíèìàíèå íà òî, ÷òî ñàìà òðàíñôîðìàöèÿ ñîçäàëà ñòðóêòóðó ñîñòàâëÿþùèõ, êîòîðóþ ìû íå ìîæåì îïèñàòü ñ ïîìîùüþ ïðàâèë âûâîäà äëÿ ãëóáèííîé. Êîíêðåòíî ïîä h äåðåâî NP /\ by

11. Ñõîäñòâî è ðàçëè÷èÿ ðàçëè÷íûõ êëàññîâ ïðàâèë èçó÷àþòñÿ â òåîðèè àâòîìàòîâ (Òåîðèÿ Àâòîìàòîâ). Ðåçóëüòàòû, ïîëó÷åííûå â ýòîé îáëàñòè, èìåþò äëÿ ëèíãâèñòèêè áîëüøîå çíà÷åíèå, êàê äëÿ îöåíêè óæå ñóùåñòâîâàâøèõ ìîäåëåé ÿçûêîâîé ñòðóêòóðû, òàê è äëÿ ðàçðàáîòêè íîâûõ ìîäåëåé (ñì. íàïðèìåð, ðàáîòó T.L. Booth, Sequential machines and automat theory, 1967). Êîììåíòàðèè, îòíîñÿùèåñÿ ê âçàèìîñâÿçè ðåçóëüòàòîâ, ïîëó÷åííûõ â ýòîé îáëàñòè, ñ ëèíãâèñòè÷åñêèìè èññëåäîâàíèÿìè, êàñàþùèìèñÿ âîïðîñà î âàæíîñòè èõ äëÿ ëèíãâèñòèêè, ñîäåðæàòñÿ â ðàáîòàõ Chomsky and G.A.Miller 91958, 19630, 'Chorusky ( 19 59à, 1959, 1963). 12. Çäåñü ìû îïÿòü ïðèáåãàåì ê óïðîùåíèþ. Íàïðèìåð, ïðè áîëåå ïîëíîì àíàëèçå ìîæíî áûëî áû ïîêàçàòü, ÷òî ïðåäëîæåííîå ñëîâîñî÷åòàíèå at ITT ñàìî âûâåäåíî èç öåëîãî ïðåäëîæåíèÿ â Ãëóáèííîé Ñòðóêòóðå.