Ãëàâíàÿ > Ýíöèêëîïåäèÿ êèáåðíåòèêè. Ò. 2
<< Ïðåäûäóùèé ïàðàãðàô
Ñëåäóþùèé ïàðàãðàô >>
<< Ïðåäûäóùèé ïàðàãðàô Ñëåäóþùèé ïàðàãðàô >>
Ìàêåòû ñòðàíèö

ÕÎÌÑÊÎÃÎ ÃÐÀÌÌÀÒÈÊÈ

— êëàññ ãðàììàòèê ôîðìàëüíûõ, ââåäåííûõ â ðàññìîòðåíèå àìåð. ëèíãâèñòîì Í. Õîìñêèì. X. ã. èìååò âèä ãäå F è íåïåðåñåêàþùèåñÿ êîíå÷íûå ìíîæåñòâà («òåðìèíàëüíûé» è «âñïîìîãàòåëüíûé» ñëîâàðè), Q åñòü ñîâîêóïíîñòü ïðàâèë âèäà , ãäå À è  ñóòü öåïî÷êè íàä à ñèìâîë íå ïðèíàäëåæèò åîòü íà÷àëüíûé ñèìâîë («ïðåäëîæåíèå»). Ãðàììàòèêîé íåïîñðåäñòâåííî ñîñòàâëÿþùèõ íàç. X. ã., â êîòîðîé êàæäîå ïðàâèëî èç Q èìååò âèä: ãäå ó — ýëåìåíò èç à à, ð, w — íåïóñòûå öåïî÷êè íàä êîíòåêñòíî-ñâîáîäíîé, åñëè à è Ð ñóòü ïóñòûå ñèìâîëû, ò. å. ïðàâèëà èìåþò âèä: ó w.  ïðîòèâíîì ñëó÷àå X. ã. íàç. êîíòåêñòíî-ñâÿçàííîé. X. ã. íàç. àâòîìàòíîé, èëè ãðàììàòèêîé ñ êîíå÷íûì ÷èñëîì ñîñòîÿíèé, åñëè âñå ïðàâèëà èç Q èìåþò âèä: èëè ãäå X, Y ñóòü ýëåìåíòû èç — ïóñòàÿ öåïî÷êà, à õ è ó ñóòü ýëåìåíòû èç

Ëèò.: Õîìñêèé Í. Òðè ìîäåëè îïèñàíèÿ ÿçûêà. «Êèáåðíåòè÷åñêèé ñáîðíèê», 1961, ¹ 2.

<< Ïðåäûäóùèé ïàðàãðàô Ñëåäóþùèé ïàðàãðàô >>
Îãëàâëåíèå