ÕÎÌÑÊÎÃÎ ÃÐÀÌÌÀÒÈÊÈ
— êëàññ ãðàììàòèê ôîðìàëüíûõ, ââåäåííûõ â ðàññìîòðåíèå àìåð. ëèíãâèñòîì Í. Õîìñêèì. X. ã. èìååò âèä

ãäå F è

íåïåðåñåêàþùèåñÿ êîíå÷íûå ìíîæåñòâà («òåðìèíàëüíûé» è «âñïîìîãàòåëüíûé» ñëîâàðè), Q åñòü ñîâîêóïíîñòü ïðàâèë âèäà

, ãäå À è  ñóòü öåïî÷êè íàä

à ñèìâîë

íå ïðèíàäëåæèò

åîòü íà÷àëüíûé ñèìâîë («ïðåäëîæåíèå»). Ãðàììàòèêîé íåïîñðåäñòâåííî ñîñòàâëÿþùèõ íàç. X. ã., â êîòîðîé êàæäîå ïðàâèëî èç Q èìååò âèä:

ãäå ó — ýëåìåíò èç

à à, ð, w — íåïóñòûå öåïî÷êè íàä

êîíòåêñòíî-ñâîáîäíîé, åñëè à è Ð ñóòü ïóñòûå ñèìâîëû, ò. å. ïðàâèëà èìåþò âèä: ó w.  ïðîòèâíîì ñëó÷àå X. ã. íàç. êîíòåêñòíî-ñâÿçàííîé. X. ã. íàç. àâòîìàòíîé, èëè ãðàììàòèêîé ñ êîíå÷íûì ÷èñëîì ñîñòîÿíèé, åñëè âñå ïðàâèëà èç Q èìåþò âèä:

èëè

ãäå X, Y ñóòü ýëåìåíòû èç

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