автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.11, диссертация на тему:Разработка и исследование модифицированного метода построения синтаксического анализатора простых LR(k) - грамматик и его применение в диалоговых системах

ВВЕДЕНИЕ.

1. Синтаксический анализ входного текста

1.1. Основные понятия и определения

1.2. Методы синтаксического анализа текста.

2. Модифицированный метод построения анализатора простых

LR(0- грамматик.

2.1. Предпосылки к модификации SLR (i)- метода.

2.2. Модификация процедуры построения автомата.

3. SLRM ( к ) - метод построения синтаксического анализатора для к > \

4. Сравнительная оценка LR С к) , SLR(k) и 5 LRM(Jc)-методов.

5. Построение настраиваемого синтаксического анализатора для диалоговых систем на основе 6LR м С к ) - метода. 80,

5.1. Структура управляющих массивов.

5.2. Описание алгоритма синтаксического анализатора.

6. Автоматизация построения интерпретаторов входных языков для диалоговых систем.

6.1. КОНСТРУКТОР для SLRM - метода построения анализаторов.

6.2. Организация семантической части диалоговой системы.

7. Практическая реализация SL R М С к ) - метода в системах диалога и вычислительных системах.

7.1. Режим диалога в АСУ ТП перекачки нефти

7.2. Интерпретация запросов потребителей в метеорологической информационно-измерительной управляющей системе.

7.3. Микропрограммно-аппаратная реализация синтаксических s l r м С к) - анализаторов для вычислительных комплексов СМ ЭВМ.

7.3.1. Повышение эффективности синтаксических анализаторов с помощью специальных аппаратных средств

7.3.2.Набор SLRM - команд и его реализация.

В решениях партии и правительства неоднократно подчеркивалась необходимость скорейшего освоения вычислительной техники, ускорения сроков внедрения АСУ, повышения эффективности их работы.

При разработке программного обеспечения для .вычислительных систем и АСУ большое внимание уделяется вопросам обработки символьной информации, эффективной трансляции конструкций языков программирования, интерпретации запросов и команд пользователей.

С каждым годом появляются все новые языки программирования, различные специализированные диалоговые языки для АСУ. Практически каждая создаваемая сейчас автоматизированная система имеет свой входной язык,учитывающий специфику технологии,характер решаемых задач, квалификацию и требования обслуживающего персонала. В связи с общим увеличением объема информации, обрабатываемой современными АСУ, усложнились и входные диалоговые языки. Создание нового языка влечет за собой необходимость разработки соответствующего компилятора или интерпретатора. Известно, что разработка транслирующих систем является чрезвычайно трудоемкой. Значительную часть таких систем составляют синтаксические анализаторы, выполняющие функции грамматического разбора входного текста. Использование эффективных методов построения синтаксических анализаторов, позволяющих автоматически генерировать компактные и быстродействующие анализаторы, значительно сокращает сроки разработки и внедрения транслирующих систем.

Режим диалога человека с ЭВМ здесь и далее понимается так, как он определен в [58] .

Режим диалога - режим работы человека с вычислительной машиной, для которого характерным является периодическое повторение цикла, включающего выдачу машине задания, получение ответа и анализ ответа1.' Такой режим реализует наиболее естественное, с психологической точки зрения, взаимодействие с вычислительной машиной"♦

Для того, чтобы средства отображения информации обеспечивали оптимальное взаимодействие человека с ЭВМ, необходимо, чтобы человек имел возможность своевременного получения необходимой информации, ее анализа, логической обработки и принятия в результате этого нужного решения по управлению»;

Диалоговой системой будем называть совокупность программных средств, предназначенных для реализации режима диалога»;

Как отмечалось в [87 Л , "язык диалога "человек - ЭВМ" -ото инструмент взаимодействия, отличающийся понятностью для человека и интерпретируемостью для ЭВР» Основными факторами,вли-яющими на структуру и сложность языка диалога, являются степень его естественности и возможность однозначной машинной интерпретации, Приближение языка диалога к разговорному языку удобно для малоподготовленных пользователей, однако требует больших затрат машинного времени и используемой памяти,; Поэтому под языком диалога будем понимать формальный язык, допускающий однозначный грамматический разбор машиной и использующий для каждой конкретной системы естественную профессиональную лексику»;

Поскольку современные автоматизированные системы являются эволюционирующими, их программное обеспечение должно иметь возможность изменяться в процессе функционирования системы»1.

Очень важным вопросом является вопрос модернизации диалоговой системы, ее приспособления к особенностям конкретных АСУ,-Эта задача может быть решена путем построения настраиваемых диалоговых систем,1

Настройка представляет собой автоматизированный процесс получения диалоговой системы для конкретной АСУ,' При этом сама диалоговая система должна иметь структуру, позволяющую проводить такую настройку»?, Кроме того, необходимы специальные программные средства настройки.' Б настоящей работе рассматривается метод анализа текста, обеспечивающий независимость от конкретного языка и возможность настройки системы при его изменении,1

Важной характеристикой диалоговой системы является время ее реакции на вводимые пользователем запросы,1 Большое время ожидания ответа приводит к повышенному эмоциональному напряжению оператора или диспетчера и, как следствие, к увеличению вероятности ошибочных действий с их стороны,!

Одним из возможных путей повышения эффективности диалоговых систем и уменьшения времени ожидания является микропрограммно-аппаратная реализация синтаксических анализаторов, позволяющая сократить время грамматического разбора текста,;

Среди различных формальных методов грамматического разбора специалисты все большее внимания уделяют методам ЬЯ С к) - грамматик, которые дают возможность строить синтаксические анализаторы для широкого класса входных языков,: Существующие методы построения ЬК(/0- анализаторов либо получают анализаторы слишком большого размера, либо применяют сложные процедуры оптимизации, что затрудняет их широкое практическое использование,': Одним из перспективных направлений является подход Ф.Деремера, используюий - разбор для построения - анализаторов. Одако предложенный Деремером метод позволяет строить анализаторы :ишь для некоторого подмножества LRC^) ЯЗЫК0В#

В диссертационной работе решается задача расширения подхода Деремера на весь класс ¿ш - языков и создания эффектив-юго метода построения синтаксических LR- f ¿0 - анализаторов.

Из сказанного выше следует актуальность темы диссертацион-юй работы. Основные ее результаты были получены в процессе под-■отовки и выполнения следующих научно-исследовательских работ:

- "Разработка алгоритма организации диалога и оценка к$фективности диспетчерского управления комплексом программ, »беспечивающих функционирование АСУ Щ" (тема 1562.0031.20, номер •осударственной регистрации 80048828, ВНЙИКАнефтегаз, ответствен-оый исполнитель Гордонов A.C.);

- "Разработка настраиваемых диалоговых систем для диспет-юрского контроля и управления в АСУ" (тема 1661.1022.20, номер 'осударственной регистрации - 0I82504465I, ВНИИКАнефтегаз, руко-юдитель темы и ответственный исполнитель - Гордонов A.C.);

- "Управляющий вычислительный комплекс CM-I420" (тема >889 092350, ИНЭУМ).

В целом диссертационная работа выполнена в рамках целевой сомплексной программы ГКНТ 0.80.14 по созданию перспективных вы-ислительных средств и их программного обеспечения.

Целью диссертационной работы является разработка и иссле-девание нового метода построения синтаксических анализаторов для - грамматик С &RM(k) - метода) на основе модификации I развития метода простых - грамматик и апробация SLRM(k) - метода при построении синтаксических анализаторов для диалоговых систем»:

В соответствии с поставленной целью в диссертационной работе решаются следующие основные задачиз

- теоретическое исследование метода синтаксического анализа простых LR(k)~ грамматик, направленное на выявление возможности его модификации и расширения;

- разработка нового метода построения синтаксических анализаторов ( SLRMCk) - метода);

- исследование характеристик SLRM(k) -метода;

- создание специальных средств для. автоматического построения синтаксических анализаторов;

- апробация SLRM(k) - метода при построении синтаксических анализаторов в диалоговых системах;

- анализ эффективности синтаксических SLKH(k)- анализаторов при их микропрограммно-аппаратной реализации*'

Научная новизна» Научная новизна диссертационной работы состоит в создании нового метода построения синтаксических анализаторов для LR(k) - грамматик ( SLRM(k) - метода), отличающегося от ранее известных методов сохранением в процессе построения автомата истории вывода цепочек языка и использованием этой истории в состояниях просмотра входной строки вперед, что позволяет строить эффективные синтаксические анализаторы, не применяя сложных процедур оптимизации и не вычисляя для каждого состояния контекстных множеств.

Структурно диссертация состоит из семи глав, введения и заключения,;

Выход

5~

Признан л ЙЗ раден 0

Полошить длину нонтексто.

Цгпение 5 х одной в трон и

Продолшение риа.

•» 88 ^ ется признак las - состояния* который в первом случае полаг гается равным 0 •*• а во втором - Ii Далее из входного буфера считывается очередной символ строки! Из соответствующего рассматриваемому состоянию описателя выделяются параметры поиска?* а именно; адрес и длина подаассива поиска состояний преемников^ После этого осуществляется поиск преемника^ При совпадении считанного из входного буфера очередного символа с каким-либо символом перехода текущее значение ы полагается равным номеру состояния-преемника,и происходит переход на поиск этого состояния^ Если же вновь считанный символ не совпадает ни с одним из символов перехода рассматриваемого подмассива* то во входной строке обнаружена грамматическая ошибка*^ Здесь интересно отметить^ что каждый подмассив поиска задает два множества: множество символов перехода и множество номеров состояний - преемников, а также отображение одного множества в другое^ При этом названное, отображение для состояний чтения является взаимно-однозначным^ Для las - состояний взаимная однозначность часто нарушается^ Здесь каждой цепочке контекста длиной к может соответствовать лишь одно единственное состояние - преемник| тогда как каждый номер при отображении может иметь несколько прообразов*! Это означает* что автомат может перейти в одно состояние по нескольким различным цепочкам длины к $

Если очередное действие автомата свертка* то из соответствующего описателя выделяются длина правой части правила и символ* стоящий в его левой частив После этого осуществляется собственно свертка^* из магазина! в верхушке которого к рассматриваемому моменту находится основа анализируемой сентенциальной формы'* удаляются п символов (где п - длина правой части правила Для las - состояний сравниваются цепочки длиной к % Длина контекста к находится в описателе las состояния^ свертки) и записывается символ левой части правила!? Затем, если это необходимо-, осуществляется переход на выполнение семантической подпрограммы.* Далее анализируется, является ли записанный в магазин символ аксиомой грамматики!! Если это так^ то анализ завершен и строка признается грамматически правильной! В противном случае определяется номер следующего состояния"! Для этого указатель стека состояний сдвигается на п символов назадй

Предложение входного языка вводится во входной буфер полностью, после чего начинается его разбору Во время разбора символы считываются по одному из буфера с помощью сканера1* обращение к которому осуществляет только в состоянии чтения и las '*$ При этом каждый раз анализируется признак las - состояния^, Если он равен единице V то указатель входного буфера не сдвигается^! В противном случае значение указателя увеличивается"! Кроме этого, номер las - состояния не записывается в стек состояний^

Стек состояний служит для определения номера следующего состояния автомата после того> как он осуществил очередную свертку1^ В стек записывается номер каждого состояния чтения и свертки, поэтому для определения следующего состояния необходимо стереть из верхушки стека столько номеров состояний* сколько символов было в правой части использованного только что правила свертки,! Информация об этом содержится в элементе управляющего массива^ описывающем состояние свертки!

Работа алгоритма заканчивается^ если вся строка свернута к аксиоме грамматики^ либо обнаружена ошибка!

6*1 ШШШЩЯЯ ПОСТРОЕНИЯ ИНТЕРПРЕТАТОРОВ ВХОДНЫХ языков дан дамоговых систем

6Щ КОНСТОТТОР для 51 А м (к) ~ метода построения анализаторов

Поскольку разработка синтаксических анализаторов очень трудоемка и требует значительных затрат времени высококвалифицированных программистов! считается экономически оправданным построение специальных программ - конструкторов; автоматизирующих этот процесс^ Более того* в последние года разработка КШ~ (X ЕУКТОРа стала непременным атрибутом для вновь создаваемого метода построения синтаксического анализатора^

В настоящем разделе будет описан КОНСТРУКТОР для автоматического получения вьам С к)«- анализатора для входного языка! Теоретической базой созданных алгоритмов является сформулированные в предыдущих главах определения и утверждения«!

Синтаксический вьрачСк) ~ анализатор для входного языка состоит из собственно программы анализатора и управляющих массивов^, Программа анализатора не зависит от конкретного языка,?

Управляющие массивы* напротив* содержат описание входного языка в терминалах МП-автомата и полностью определяются входным языком^ Поэтому* проблема конструирования синтаксического анализатора сводится к построению управляющих массивов [85]

Укрупненно процедура конструирования синтаксического анаг лизатора состоит из следующих этапов: а) описание грамматики входного языка на метаязыке^ б) обработка текста на метаязыке лексическим предпроцес-сором для получения сформированных массивов правил грамматики входного языкам в) конструирование управляющих массивов для синтаксичес

- 92 кого анализатора входного языкам

Схема конструирования синтаксического вьйм ( к) - анализатора приведена на рис|

Рассмотрим подробно каждый этап| Дня описания грамматик входных языков был разработан специальный метаязык!

Запишем грамматику метаязыка с помощью ШБ^ с описание грашатики>;; — < описание терминального словаря > ¿описание множества правила>—1 описание терминального словаря>;: = < совокупность Т -символов> ^ ограничитель >

Совокупность Т - символов>:: = <Т - символ> I < совокупность Т - символов> сразделитель> < т - символа

Т - символ > :; — любой терминальный символ; за исключением „ \" (обратная косая черта) и . —I" описание множества правил>:: - <описание правила подстановки > < разделитель > I < описание правила подстановки > <ограничитель> ¿описание множества правил> описание правила подстановки > :'. = < N - символ> ¿правая часть правила>

N - символ > ;: = любой символ не определенный ранее как терминальный^ за исключением „ \" и „ правая часть правила> :; — < символ> I ¿правая часть правила > ¿ символ > символ> :: = любой символ; за исключением 1(\"? „—Г. ^ разделитель > ;: = \ ¿ ограничите ль>:: =■ \\

Из представленной грамматики видной что любое описание на метаязыке состоит из двух частей:! Первая содержит все терминальные символы входного языкам Терминальный алфавит ( У ) записыва

Схема нонструиро&ания сингсхксицраного 31йнСк)-Оиали -з агора длл 6 ходи ого ягыка 1 и: а I

Рай. 6.1 ется символ за символом! Один символ от другого отделяется обратной чертой ( \ ) й Вторая часть содержит правила грамматики входного языка»] Первым символом каждого правила является символ его левой части!} Пробел не является значащим символом и может использоваться для отделения левой части правила от правой^ Правила отделяются друг от друга двумя обратными косыми чертами»* Все символы левых частей; а также те символы правых частей^ которые ранее не определялись как терминальные'; считаются нетерминальным^

Запишем грамматику метаязыка в виде правил подстановки

Vr - терминальный алфавит входного языкам VN - нетерминальный алфавит;!

Описание входного языка по изложенным выше правилам обрабатывается лексическим предпроцессором^ в состав которого входят синтаксический SLRM(k)- анализатор метаязыка и набор семантических подпрограмм!

Построение массивов синтаксического анализатора осуществляется по грамматике в соответствии с изложенной ранее процедурой-^

В таблице представлены DPS для грамматики метаязыка^ На основе этой таблицы построен МП-автомат (рис-| 6{|2)*| Набор семантических подпрограмм лексического предцроцессора содержит семь подпрограмм! выполняющих следующие функции:

Ф) S-/I6H

5) I —► \

6) .D— \\

7) 6 — £1

8) 6-*EDB

9) Е —* N Р

Ю) М — j

11) Р — F

12) Р— РЕ

13) F — I

1) Л —CD

2) С — Т

3) С IT

4) Т — L. где i е ут « j i/o —

Taé/iuqa состоянии автомата длл мета^мка

1. А.Ахо, Дж.Ульман Теория синтаксического анализа перевода и компиляции. М.: Мир, 1978,- т.1,2.

2. Eickel J., Paul М., Bauer F.L., Samelson К. A syntax-controlled. generator of formal language processors.-Comm.ACM, 1963, 6, 8, p.451-455.

3. Щутлей А.С. Об использовании слабых отношении предшествования между определяющими символами в синтаксическом анализаторе.-Кибернетика, 1975, 1& 5, с.69-76.

4. Floyd. R.W. Bounded context syntactic analysis.-Comm. ACM, 1964, 7, p.62-66.

5. Irons E.T. "Structural connections" in formal languages.-Comm. ACM, 1964, 7, p.67-71.

6. Loeckx J. An algorithm for the construction of bounded-context parsers.- Comm. ACM, 1970, 13, 5, p.297-307.

7. Трахтенгерц Э.А., Щумей А.С. Об эквивалентном преобразовании порождающих грамматик в грамматики предшествования.- ЖВМ и МФ, 1973, 13, 2, с.446-455.

8. Lewis P.M., Stearns R.E. Syntax directed transduction.-J. ACM, 1968, 15, 8, p.464-488.

9. Rosenkrantz D.J., Stearns R.E. Properties of deterministic top-down grammars.-Inform, and Control, 1970,17,3,p.226-256.

10. Nijholt A. On the parsing of LL-regular grammars.-Lecture Notes in Computer Science,1976,45,p.446-452.

11. Нинитченко H.C., Шкильняк С.С. Синтаксический анализ языков программирования методом развертки. Программирование. 1975, Ji 6, с.З-II.

12. Непомнящая А.Ш. Об одном обобщении ll с к ) грамматик, ориентированном на эффективный синтаксический анализ. - Программирование. 1976, Jl^ 3, с. 13-21.

13. Шевченко В.В. Об одном подходе к проблеме синтаксического анализа. Кибернетика, 1974, В 4, с.30-38.

14. Conway М.Е. Design of a separable transition-diagram compiler.- Comm. ACM, 1965, 6, 7, p.596-408.

15. Кореньяк A., Хопкрофт Дж. Простые детерминированные языки. -в кн.: Языки и автоматы. М.: Мир, 1975, с.71-96.

16. Foster J.M. A syntax improving device.-Computer J., 1968, 11, 1, 3"3p.

17. Фостер Дя.М. Автоматический синтаксический анализ. М.:Мир, 1975, 70 с.

18. Wood D. The theory of left factored languages.-Comput. J., 1969, 12, 4, p.349-356and 13, 1, p.55-62.

19. Вельбицшш И.В. Метаязык R -грамматик. Кибернетика. 1973, 3, с.47-63.

20. Вельбицкий Й.В., Ющенко E.JI. Метаязык, ориентированный на синтаксический анализ и контроль. Кибернетика, 1970, 2, с.50-53.

21. Aho А.Y., Johnson S.C., Ullman J.D. Deterministic parsing of ambiguous grammars.- Comm.ACM,1975,18,8,p.441-453.

22. Комор Т. Об одном свойстве модифицированных разделенных грамматик.- }IBM и МФ, 1972, 12, 6, C.I6I2-I6I5.

23. Кауфман В.Ш. Синтаксическш анализатор rand . Вычислительные методы и программирование, вьш.25, 1976, с.108-116.24. ^yKCMaH A.JI. Cjia6opa3flejreHHHe rpaiMaTHKH. '¡Mil n 1®, 1976, 16, 5, c.1293-1304.

24. Early J. An efficient context-free parsing algorithm.-Comm. ACM," 1970, 13, 2, p.94-102.

25. Pager D. A solution to an open problem by Knuth.-Inform. and Contr., 1970, 1?, 5, p.462-473.

26. Korenjak A.J. A practical method, for constructing LR(k) processors. Comm. ACM, 1969, 12, 11,p.613-623.

27. Aho A.V"., Johnson S.C. LR parsing. -Computing Surveys, 1974, 6, 2, p.99-124,

28. Aho A.V. Ullman J.D. Optimization of LR(k) parsers. -J. Comput. and Syst. Sci., 1972, 6, 6,p.57?-602.

29. DeRemer F.L. Simple LR(k) grammars. -Comm. ACM, 1971, 14, 7, p.453-460.

30. Anderson Т., Eve J., Horning J. Efficient LR(1) parsers.-Acta Informatica, 1973, 2, 1, p.12-39.

31. Hunt H.B., Szymanski T.G., Ullman J.D. On the complexity of LR(k) testing.-Comm.ACM, 1975,18, 12, p.707-716.

32. Большой A.A. L R С к) свойство и эквивалентные преобразования. - В кн.: Вычислительные методы и программирование, вып.ХУЛ, М.: МГУ, 197I, с.9-12.

33. Harrison М.А., Havel I.M. On the parsing of deterministic languages.- J. ACM, 1974, 21, 4, p.525-548.

34. Mickunas M.D. On the complete covering problem for LR(k) grammar. J.ACM, 1976, 23, 1,p.17-30.

35. Mickunas M.D., Lancaster R.L., Sch.ueid.er V.B. Transforming LR(k) grammars to LR(1), SLR(1) and (1,1)-bounded right-context grammars. J. ACM, 1976, 23, 3»1. P.511-553.

36. Вооглайд A.O., 1'омбак М.И. Система построение эффективных многопроходных трансляторов с lr(k) семантикой. - Программирование, 1976, if» 5, с.28-38.

37. Станевичене Л.И. Об одном алгоритме построения ограниченно-контекстных анализаторов .-ШЗМ и Г/1Ф, 1974, А" 2, с.520-522.

38. Pager D. A practical general method for constructing LR(k) parsers. Acta Informatica, 1977» 7,p.249-268.

39. Лебедев B.H. Введение в системы программирования. М.: Статистика, 1975, 312 с.

40. Хопгуд Ф. Методы компиляции. М.: Мир, 1972, с. 160.

41. И^мей А.С. Синтаксический анализ входного текста по определяющим символам. Автоматика и телемеханика, 197I, 12, с.114-122.

42. Aho А.V., Peterson T.G. A minimum distance error-correcting parsers for context-free languages. -SIAM J. Computing, 1972, 1, 4, p. 305-312.

43. Wirth N. PL 360 a programming language for the 360 computers.- J. ACM, 1968, 15, 1, p#37-74.

44. Pager D. The lane-tracing algorithm for constructing LR(k) parsers and ways of enhancing its efficiency. -Information Sciences, 1976, 9.

45. Aho A.V., Ullman J.D. A technique for speeding up LR(k) parsers. SIAM J. Comput., 1975, 2,p.106-127.

46. Pager D. Eliminating unit productions from LR parsers. -Acta Informática, 1977» 9, p.31-59.

47. Backhouse R.C. An alternative approach to the improvement of LR(k) parsers.

48. Acta Informática, 1976, 6, p.277-296.

49. Joliat M.L. A simple technique for partial elimination of unit production from LR(k) parsers.

50. EE Trans. Computers C-25, 1976, p.763-764.

51. Koskimies K., Soisalon-Soininen E. On a method for optimizing LR parsers. Internat. J. Comput. Math., 1979, 7, p.287-295.

52. Tokuda T. Eliminating unit reductions from LR(k) parsers using minimum contexts. Acta Informática, 1981, 15, p.447-470.

53. Грис Д. Конструирование компиляторов для цифровых вычислительных машин. М.: Мир, 1975, 544 с.

54. Братчиков И.Л. Синтаксис языков программирования. М. :Наука, 1975, 232 с.

55. Floyd R.W. Syntactic analysis and operator precedence. -J. ACM, July 1963, 10, p.316-333.

56. Ichbiah J.D., Morse S.P. A technique for generating almost optimal Floyd-Evans productions for precedence grammars. Comm. ACM, 1970, 13, 8, p.501-508.

57. Knuth D. On the translation of languages from left to right. Inform, and Control, 1965, 8, p.607-639.

58. Зонис B.C., Шумей А.С. Оптимизация синтаксического анализатора, построенного по методу LR(k) грамматик. - Программирование, 1976, 2, с.3-9.

59. Энциклопедия кибернетики. Главная редакция украинской советской; энциклопедии, Киев: 1975, т.1, 262 с.

60. Backus J. The syntax and semantics of the proposed international algabraic language. Of the Zurich A6M-G AMM conference, June 1959,p.125-232. Reprinted in Ann. Rev. in Automatic Programming,Pergamon Press,1961,1,p.268-291.

61. Наур П. Алгоритмический язык АЛГ0Л-60, Пересмотренное сообщение. M.: Мир, 1965.

62. Хомский Н. О некоторых формальных свойствах грамматик. Кибернетический сборник, М.: ИЛ, 1962, вып. 5, с.279-312.

63. Chomsky N. Three models for the description of language.-IRSE Trans. Inform. Theory, 1956, vol. IT2, p.113-124.

64. Гладкий А.В. Формальные грамматики и языки. М.: Наука, 1973.

65. Гросс М., Лантен А. • Теория формальных грамматик.-М.: Мир, 1971, 294 с.

66. Гинзбург С. Математическая теория КС-языков. М.: Мир, 1970.

67. Гинзбург С. Лекции о КС-языках. В кн.: Алгебраическая теория автоматов, языков и полутрупп. - Под ред. М.А.Арбиба, М.: Статистика, 1975.

68. Лыоис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов. М.: Мир, 1979, 654 с.

69. Гордонов A.C., Мешман Б.Г., Сац Б.М., Дмитриев В.Ф., Липманович Я.Р. Настраиваемая система программного обеспечения для комплекса TM-I20-I. Приборы и системы управления, 1982, .■£ 4, с.7-8.

70. Клинов Ф.Я. Метеорологические наблюдения в низшем 500-метровом, слое атмосферы на телевизионной башне в Останкине (Москва). -Информационное письмо J£ 4, М.: ЦНГМО, 1969.

71. Пьянов В.В., Новиков А.Н. Метеорологическая измерительно-информационная система на телебашне в Останкине (Москва). Тр. ЦНГМО, вып.I, Л.,1971, с.18-26.

72. Гордонов A.C., Липманович Я.Р., Иурковский А.П. Применение вычислительного комплекса М-6000 для метеорологических целей на телевизионной башне в Останкине. Труды ЦНГМО, вып.5, М., 1975, с.71-74.

73. БахваловаО.М., Гордонов A.C., Курковский А.П., Щустерман A.C.0 стыковке ЭВМ М-6000 с датчиками высотного метеокомплекса Останкинской телебашни. Труды ЦВГМО, вып.9, М., 1977, с.90-92.

74. Гордонов A.C., Липманович Я.Р., Хейфец А.Я. Автоматический контроль информации в ЦИИС Останкинского метеокомплекса. -Труды ЦВГМО, вып.6, М., 1975, с.Ш-120.

75. Клипов Ф.Я. Начальные алгоритмы слежения за элементами погоды в нижнем слое атмосферы. Труда! ЦНГМО, вып.1, JE., 1971,с.60-73.

76. Кутепова Л.И., Шаповалова H.G. Принцип выбора рабочей метеореи в системе Останкинского метеокомплекса.-Тр. ЦНГМО, вып. 6, М., 1975, с. 90-95.

77. Гордонов A.C. Язык запросов в системе слежения за состоянием нижнего 500-метрового слоя атмосферы и загрязнением внешней среды.-Труды ЦНГМО, вып. 7, 1976, с. 87-91.

78. Гордонов A.C., Литвинов В.В. Мшфопрограммный синтаксический

79. SLRM анализатор для диалоговых систем. - В кн.: Разработка и внедрение автоматизированных систем управления и средств автоматизации в нефтяной и газовой промышленности. - Киев: изд. Киевского института автоматики им. ХХУ съезда КПСС, 1983, с. 49-51.

80. Программное обеспечение AGBT-M. ФОРТРАН. Руководство по программированию. Северодонецк: 145 с.

81. Гордонов A.C., Сад Б.М. Интерпретатор запросов потребителей на информацию метеорологической информационно-измерительной системы.- ОФАП Комитета по гидрометеорологии и контроля окружающей среды, инв. Jfä В055220469.

82. Гордонов A.C., Сац Б.М. Программное обеспечение для реализации режима диалога в метеорологической ИИС. В материалах Всесоюзного семинара: Математическое обеспечение ЭВМ (тезисы докладов), г.Обнинск: ноябрь 1977, с.13-14.

83. Гордонов A.C. Модификация и расширение метода грамматического анализа простых LR(1) грамматик. - М., Депонирована ВИНИТИ в 1977 г. JS 3120-77, 20 с.

84. Гордонов A.C., Сад Б.М. О настройке системы интерпретации запросов потребителей. Труды ЦНГМО, вып. II, М., IS78, с.52-54.

85. Гордонов A.C. Синтаксический анализ в диалоговых системах.

86. В кн.: Проблемы разработки автоматизированных систем управления в нефтяной и газовой промышленности, Киев¡Издание института Автоматики имени ХХУ съезда КПСС, 1982 г., с. 33-35.

87. Трахтенгерц Э.А. Введение в теорию анализа и распараллеливания программ ЭВМ в процессе трансляции. М.: Наука, 1981, 256 с.