1. Первые шаги
     Первый вариант КГ был предложен в 1935 г. польским
логиком К. Айдукевичем [Ajdukiewicz 1935]. Целью Айдуке-
вича было построение распознающего логического устрой­
ства, позволяющего для всякой цепочки слов определить,
является ли она предложением некоторого языка. До сих
пор (в гл. X и XI) мы рассматривали примеры таких фор­
мальных грамматик, которые строили множество всех пра­
вильных цепочек символов, указывая при этом структуру, и
не строили ни одной неправильной цепочки. Такие грамма­
тики называются порождающими. Однако кроме них суще­
ствуют и распознающие формальные грамматики, т. е. такие,
которые для любой предъявленной цепочки умеют решить,
является эта цепочка правильной или нет, и в случае поло­
жительного ответа указывают структуру этой цепочки. КГ
принадлежит к последнему типу.
                               665
Часть 2. Синтаксические теории