чие порождающей грамматики от алгоритма, подробнее см.
[Гладкий, Мельчук 1969: 43—46]). Правило применяется ли­
бо к начальному символу, либо к такой цепочке, которая
представляет собой результат применения одного или не­
скольких правил к начальному символу. Цепочки, задавае­
мые формальной грамматикой, должны целиком состоять из
терминальных символов, т. е. все вспомогательные символы
в ходе применения правил должны быть заменены на терми­
нальные. Множество цепочек, задаваемых порождающей
грамматикой, называется языком.
     Языки, задаваемые некоторыми формальными грамма­
тиками, проявляют определенные сходства с множествами
единиц естественного языка — слогов, словоформ, синтакси­
ческих групп, предложений. Сопоставление языка, задавае­
мого формальной грамматикой, с множеством единиц есте­
ственного языка на основе наблюдаемых между ними
сходств называется интерпретацией формальной грамматики.
Само устройство формальной грамматики явным образом
отграничивает множество грамматичных единиц от множе­
ства неграмматичных, и поэтому соответствие формальной
грамматики наблюдаемым фактам естественного языка мо­
жет быть проверено.
     Сравним язык, задаваемый правилами (36'), с реально
наблюдаемыми в русском языке ИГ. Лингвистический
смысл символов С, П и М очевиден: это слова, обладающие
грамматическими признаками жен. р., им. п. и ед. ч.: С — су­
ществительные, М - указательные местоимения и П - при­
лагательные. Аналог С' в русском языке представляет собой