Инструментальные средства символьной обработки данных в АСУ тема диссертации и автореферата по ВАК РФ 05.13.06, кандидат технических наук Петрова, Тамара Васильевна

• Петрова, Тамара Васильевна
• кандидат технических наук
• 1984

Оглавление диссертации кандидат технических наук Петрова, Тамара Васильевна

ВВЕДЕНИЕ.

ГЛАВА I. Особенности инструментальных средств символьной обработки данных в АСУ.

1.1. Задачи символьной обработки данных в АСУ и методы их решения.

1.2. Средства автоматического возврата и поиска по образцу в языках обработки символьных данных.

1.3. Требования, предъявляемые к инструментальным средствам символьной обработки данных в АСУ.

Выводы.

ГЛАВА 2. Теоретические основы построения инструментальных средств символьной обработки данных с возвратами

2.1. Исчисление общего вида как формальная модель поиска с возвратами.

2.2. Внешнее представление структур данных. Состав и семантика базисных операций и предикатов.

2.3. Графовое представление процедур поиска вывода.

2.4. Денотационная семантика программ, представленных на языке (Ж.-функций.

Выводы.

ГЛАВА 3. Инженерные основы проектирования инструментальных средств поиска вывода в исчислениях общего вида.

3.1. Язык Рекурсивных Функций над Символьными выражениями (РФС-язык).

3.2. Общая схема трансляции РФС-языка.

3.3. Выбор внутреннего представления данных.

3.4. Абстрактная машина для интерпретации базисного языка.ЮЗ

3.5. Методика программирования типовых процедур поиска вывода средствами РФС-языка.

Выводы.

ГЛАВА 4. Реализация, внедрение, экспериментальная проверка.

4.1. Общая схема программной реализации РФС-системы

4.2. Реализация транслирующих модулей РФС-системы и организация управления памятью

4.3. Внедрение РФС-системы в АСУ МИФИ для реализации выдачи ответов на нерегламентированный запрос.

4.4. Внедрение РФС-системы в Главном научно-методическом центре ЩИИНТЙ для решения задачи анализа и синтеза сквозной программы специальности.

Выводы.

Введение диссертации (часть автореферата) на тему «Инструментальные средства символьной обработки данных в АСУ»

Задача создания и внедрения автоматизированных систем управления на уровне отраслей, объединений, предприятий с постепенным переходом к общегосударственной автоматизированной системе на базе государственной сети вычислительных центров и общегосударственной системы передачи данных была четко сформулирована в Директивах ХХ1У съезда КПСС/1/.

Интенсивному внедрению вычилительной техники во всех областях народного хозяйства уделялось большое внимание в материалах ШТ съезда КПСС /2/.

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

В то же время определенные трудности в области разработки и эксплуатации АСУ отчетливо наблюдаются как у нас в стране, так и за рубежом /4,5,6,7,87/.

Одна из основных причин неудач заключается в том, что создаваемые АСУ предъявляют к пользователю повышенные требования в области знания систем программирования и средств вычислительной техники. Отсутствие интеллектуальности у систем, предлагаемых пользователю, является в настоящее время главным тормозом на пути дальнейшего развития и совершенствования автоматизированных систем управления.

В постановлении ЦК КПСС и Совета Министров СССР от 28 авг. 1983 года указывается на необходимость интенсификации работ в области искусственного интеллекта и, в частности, об использовании этого направления для автоматизации программирования.

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

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

Работы в области символьной обработки данных интенсивно ведутся как в нашей стране (Вельбицкий И.В., Задыхайло И.Б., Ершов А.П., Бычков С.П., Пилыциков В.Н., Лавров С.С., Сшьагад-зе Г.С., Смирнов В.И., Хорошевский В.Ф., Эйсымонт А.К., Юфа В.М., и т.д.), так и за рубежом (ЕЕудс В., Грис Д., МакКарти Д., Беркли Э., Бобров Д., Баррон Д., Бердж В., Кнут Д., Вирт Н., Виноград Т., Хьюитт К., Сассман Г., Макдермотт Д., Фостер Д., и т.д.). Большое внимание инструментальным средствам символьной обработки данных уделяется в японском проекте ЭВМ пятого поколения /8/.

Данная диссертационная работа выполнялась в соответствии с координационным планом научно-исследовательских работ АН СССР по проблеме "Искусственный интеллект" (шифр 1.12.9) на 1981-1985 г.г., раздел "Программно-математическое обеспечение систем искусственного интеллекта" (шифр 1.12.9.6.Б) - разработка языков программирования сверхвысокого уровня и трансляторов с них.

Работа посвящена разработке эффективных инструментальных средств, с помощью которых удобно решается широкий класс задач формально-логического характера в АСУ. Основу этих средств составляет РФС-язык (язык Рекурсивных Функций над Символьными выражениями). При его разработке была поставлена цель совместить высокую вычислительную эффективность, универсальность в области символьных преобразований с выразительными возможностями, характерными для языков высокого уровня, используемых в системах искусственного интеллекта.

На защиту выносится:

1. Модель вычислений с возвратами, базирующаяся на расширении схем программ для случая неудачного завершения вычислений.

2. Р1С-язык как эффективное средство для решения задач символьной обработки данных в АСУ.

3. Метод реализации инструментальных средств символьной обработки данных в АСУ, включающий выбор внутреннего представления структур данных, определение состава и семантики базисных операций, разработку архитектуры стековой машины и алгоритмов трансляции. Транслятор с РФС-языка.

4. Методика реализации типовых процедур символьной обработки данных в АСУ средствами РФС-системы.

5. Пакет прикладных программ для анализа и синтеза сквозных программ специальности, система генерации ответов на нерегла-ментированный запрос, реализованные средствами РЗЮ-системы.

Работа состоит из четырех глав. В первой главе проводится обзор задач символьной обработки данных в АСУ, в том числе задач, требующих перебора альтернативных вариантов в процессе своего решения. Анализируются имеющиеся языковые средства для решения перечисленных задач. Формулируются основные требования к инструментальным средствам, предназначенным для решения задач данного класса.

Во второй главе предлагается в качестве формальной модели задачи с возвратами использовать исчисление общего вида. Вводится математическая модель инструментальных средств, базирующаяся на расширении традиционных схем программ на случай неудачного завершения вычислений. Для представления расширенных схем программ вводятся процедуры-функции специального вида - 6К:-функции. Доказывается транслируемость вЕ-функций в язык функциональных эквивалентов.

Третья глава посвящена инженерным основам проектирования инструментальных средств для решения задач поиска вывода в произвольных исчислениях. Приводится описание синтаксиса и семантики РФС-языка, предлагаемого для решения задач данного класса. Определяется общая схема трансляции РФС-языка. В целях повышения эффективности реализации трансляция с РФС-языка ведется через промежуточный этап. Вводится абстрактная машина со стековой организацией памяти как средство для интерпретации промежуточного языка. Приводятся основные алгоритмы трансляции РФС-программ в последовательность команд стековой машины. Для типовых процедур поиска вывода приводится методика программирования на базе РФС-системы.

В четвертой главе приведено описание программной реализации РФС-системы. Указан состав библиотек, приводятся характеристики компонент системы. Описываются результаты внедрения РШС-системы для построения синтаксического и семантического анализаторов сети логической взаимосвязи дисциплин для решения задачи многоцелевой оптимизации учебных планов.

Результаты работы неоднократно докладывались на ежегодных научных конференциях МИШИ (1973 г., 1977 г.); на научных семинаpax в ЦЦНТП /9, 10/ (1976 г., 1981 г.); публиковались в сборнике "Проектирование интеллектуальных систем" / II/ (1980 г.)» были представлены в работе 4-й школы-семинара "ШТЕРАКТИШЫЕ СИСТЕМЫ" Тбилиси, 1982 г./ 12/.

Результаты работы отражены также в научных отчетах по темам: гос. per. № 75046635 - "Автоматизированные системы управления высшей школой" / 13, 14, 15/; гос.рег. № 79036982 - "Разработка автоматизированной системы проектирования АСУ" / 16/; гос. per. № 80044346 - "Разработка методики построения интеллектуальной системы моделирования" / 17, 18/; гос. per. № 81098866 - "Разработка и применение математических методов для построения интеллектуальных вопросно-ответных систем и систем моделирования / 19, 20/.

Заключение диссертации по теме «Автоматизация и управление технологическими процессами и производствами (по отраслям)», Петрова, Тамара Васильевна

Выводы.

I.Реализация текущей версии РФС-системы выполнена для ЕС ЭВМ. В качестве языка, на который ведется трасляция РФС-программ, используется язык Ассемблера. Трансляция РФС-программ может выполняться в двух режимах: режиме компиляции и режиме интерпретации. РФС-программа, транслируемая в режиме компиляции, после ассемблирования и редактирования связей может непосредственно выполняться под управлением ОС ЕС ЭВМ. Программа, транслируемая в режиме интерпретации, после ассемблирования и редактирования связей выполняется под управлением специальной программы - РФС-интерпретатора. Программное обеспечение РФС-системы включает библиотеку транслирующих модулей (ЕРЗ.ТНАЫЗИВ-! СУЬ накопителя ЕС-5061), библиотеку машинных операций (ВРБ.МОРЫВ- 2 СУЬ ), библиотеку процедур (ЕГб.РБЮСЫВ - I СУЬ ), библиотеку исходных текстов и инструкций (ВГб.ТЕХТ - 5 СУЬ ).

2. В целях более экономного использования памяти, а также для расширения возможностей системы, перечень команд стековой машины, определенный в разделе 3.4, дополнен рядом команд, учитывающих специфику конкретной реализации РФС-системы.

3. Транслирующие модули РФС-системы выполнены на языке РЕФАЛ. Общий объем исходного текста транслирующего блока составляет: РЕМЛ-предложений - 225, строк - 1100, символов - 55 тыс.

4. Методика проектирования синтаксических анализаторов средствами РФС-системы внедрена в АСУ МШИ для реализации выдачи ответов на нерегламентированный запрос в подсистемах "Учет учебной нагрузки преподавателей" и "Успеваемость".

5. РФС-система внедрена в Главном научно-методическом центре ЦНИИНТИ для решения задачи анализа и синтеза сквозной программы специальности.

6. Сравнение характеристик РЕФАЛ-программы и РФС-программы, выполняющих решение одной и той же задачи, требующей возвратов в процессе своего решения, показало, что использование встроенных средств автоматического возврата увеличивает быстродействие программы ^в 3 раза по сравнению с моделированием этого механизма на языке РЕШАЛ.

- 162 -ЗАКЛЮЧЕНИЕ

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

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

2. Разработана теоретическая основа для создания инструментальных средств символьной обработки данных с возвратами. Выделенный класс задач формализован в терминах аппарата исчислений общего вида. На основе методов решения задач поиска вывода в исчислениях общего вида разработана формальная модель описания процесса вычислений с возвратами, представляющая собой расширение схем программ на случай неудачного завершения вычислений. Для представления расширенных схем программ введены процедуры-функции специального вида (С11-функции). Приведена их графовая интерпретация. Систематизированы управляющие конструкции, применяемые при реализации процедур поиска вывода. Введено понятие ограниченного и неограниченного возврата.

3. На основе общей модели вычислений разработан РФС-язык(язык Рекурсивных Функций над Символьными выражениями), представляющий I собой конкретизацию расширенных схем программ. Определены формальный синтаксис и семантика языка. Разработана методика программирования типовых процедур поиска вывода средствами РФС-языка.

- 163

Разработан и реализован транслятор с РФС-языка для машин ЕС ЭВМ. Объем транслирующего блока составляет: РЕМЛ-предло-жений - 225, строк - 1100, символов - 55 тыс. В целях повышения мобильности программного обеспечения трансляция ведется через промежуточную стадию. В качестве промежуточного языка используется язык функциональных эквивалентов. Для интерпретации функциональных эквивалентов разработана архитектура стековой машины. Определен состав команд стековой машины и их семантика.

5. Методика программирования синтаксических анализаторов средствами РФС-системы внедрена в АСУ МИФИ для реализации выдачи ответов на нерегламентированный запрос в подсистемах "Учет учебной нагрузки преподавателей", "Успеваемость". Разработанные средства позволили обеспечить службы института нерегламентиро-ванной информацией по контингенту профессорско-преподавательского состава, а также сведениями об успеваемости студентов. Средствами РФС-системы реализован пакет прикладных программ, предназначенный для решения задачи анализа и синтеза сквозной программы специальности. Пакет внедрен в Главном научно-методическом центре ЦНИЙНТИ, использовался для анализа сквозной программы специальности 0620 для средних специальных учебных заведений. РФС-система использовалась в процессе разработки макроязыка при создании генератора вывода для задач учетно-статистического характера в ГВЦ РКСО. По результатам внедрения получены соответствующие акты (приложение 4).

Список литературы диссертационного исследования кандидат технических наук Петрова, Тамара Васильевна, 1984 год

1. Директивы ХХ1У съезда КПСС по пятилетнему плану развития народного хозяйства СССР на 1971 - 1975 г.г. - М.: Политиздат, 1971.

2. Материалы ХХУ1 съезда КПСС. М.: Политическая литература, 1981.

3. Постановление ЦК КПСС и СМ СССР от 28 августа 1983 г. "О мерах по ускорению научно-технического прогресса в народном хозяйстве". Коммунист, 1983, №13.

4. Мясников В.А. Задачи и перспективы развития производства и использования вычислительной техники в народном хозяйстве страны. В сб.: Алгоритмы и организация решения экономических задач. - М.: Статистика, вып. 13, 1979, с.6-28.

5. Бунаков В.Ю., Фомина А.Л. Некоторые проблемы математического обеспечения АСУ на современном этапе. В сб.: Алгоритмы и организация решения экономических задач. - М.: Статистика, вып.II, 1978, с.5-19.

6. Вопросы эффективности систем управления, базирующихся на вычислительной технике (зарубежный опыт). М.: Йнформэлек-тро, 1975.

7. Вычислительная техника за рубежом в 1982 г. Под общей редакцией В.С.Бурцева. М.: ИТМ и ВТ АН СССР, 1983.

8. ЭВМ пятого поколения: Концепции, проблемы, перспективы. Предисл. Е.П. Велихова. М.: Финансы и статистика, 1984.

9. Сергиевский Г.М., Петрова Т.В. О построении динамически расширяемого синтаксического анализатора по примерам предложений КС-языка. В сб.: Машинное обучение с помощью диалога. -М.: МДНТП, 1976, с.66-70.- 165

10. Сергиевский Г.М., Петрова Т.В., Розова Е.Б. Об одном подходе к реализации расширяемого множества языков искусственного интеллекта. В сб.: Диалог в автоматизированных системах. - М.: МДНТП, 1981, с.90-96.

11. Сергиевский Г.М., Петрова Т.В. Символьный процессор для анализа предложений на естественном языке. В сб.: Проектирование интеллектуальных систем. - М.: Атомиздат, 1980,с.94-104.

12. Учет учебной нагрузки преподавателей. Технический и рабочий проект. Отчет НИР МИФИ. Гос. per. № 75046635, 1974.

13. Подсистема АСУ МИФИ "Расчет нагрузки кафедр по отрезкам учебных планов". Рабочий проект. Отчет НИР МИФИ. Гос. per. Р 75046635, 1979.

14. Подсистема АСУ МИФИ "Успеваемость". Рабочий проект. -Отчет НИР МИФИ, Гос. per. № 75046635, 1979.

15. Разработка языка высокого уровня для анализа естественных языков. Отчет НИР МИФИ. Гос. per. Р 79036982, 1979.

16. Разработка универсального языка преобразований для программирования интеллектуальной системы моделирования. Отчет НИР МИФИ. Гос. per. № 80044346, 1980.

17. Методику построения интеллектуальной системы моделирования. Отчет НИР МИФИ. Гос. per. Р 80044346, 1980.

18. Разработка математических основ имитационной модели.- 166

19. Отчет НИР МШИ. Гос. per. № 81098899, 1981.^

20. Построение формального описания имитационной модели. -Отчет НИР МИФИ. Гос. per. № 81098866, 1982.

21. Арлазаров B.JI. и др. Информационная система ИНЭС. -Автоматика и телемеханика, № 6, 1979, с.109-121.

22. Брусенков И.В. и др. Программная система управления базами данных СИНБАД. В сб.: Алгоритмы и организация решения экономических задач. - М.: Статистика, вып. 6, 1975.

23. Банк данных универсальной структуры. Калинин: Центр-программсистем, 1975.

24. Савинков В.М., Назаров М.С., Рысевич S3.K. Использование систем управления базами данных в АСУ. В сб.: Алгоритмы и организация решения экономических задач. - М.: Статистика, вып. 13, 1979, с.29-38.

25. Специализированный комплекс телеобработки разнородных баз данных. СУБД СПЕКТР. М.: НПО АСУ "Москва", 1982.

26. Попов Э.В. Общение с ЭШ на естественном языке. М.: Наука, 1982.

27. Попов Э.В., Фирдман Г.Р. Алгоритмические основы интеллектуальных роботов и искусственного интеллекта. М.: Наука, 1976.

28. Грох А.В., Хорошевский В.Ф., Преображенский А.Б. Программирование лингвистических процессоров. В сб.: Информационно-программное обеспечение систем искусственного интеллекта. М.: МДНТП, 1978, с.51-56.

29. Бакланов В.М., Родионов Е.В. Система, воспринимающая запросы на естественном языке: семантика и формирование ответа. В сб. Вопросы кибернетики. - М.: изд. АН СССР, вып.55, 1979, с.183-191.- 167

30. Формальное описание структуры естественного языка.

31. Сб.науч.труд, под ред. А.С.Нариньяни.-Новосибирск:Щ СО АН СССР, 1980.

32. Виноград Т. Программа, понимающая естественный язык.-М.: Мир, 1976.

33. Уинстон П. Искусственный интеллект.- М.: Мир, 1980.

34. Кузин Л.Т. Основы кибернетики. Том 2. Основы кибернетических моделей.- М.: Энергия, 1979.

35. Кузин Л.Т. Интеллектуальные банки данных (ИБД).-В сб: Вопросы кибернетики.,Вып.55, М.: АН СССР, 1979, с.5-17.

36. Кузин Л.Т.,Храмов A.A. Вопросы использования метаязыков для программного обеспечения системы искусственного интеллекта.- В сб.: Инж.-мат. методы в физ. и кибернет.,М.: Атом-издат, 1977,вып.6, с.39-43.

37. Кузин Л.Т. Интеллектуальные банки данных ИБД-84. Состояние и перспективы.- В сб.: Тезисы докладов 4-го семинара "Интеллектуальные банки данных",Нальчик,1984, с.5-7.

38. Глушков В.М. Основные принципы построения автоматизированных систем управления.- Киев:Унр.НИИНТИ, 1969.

39. Кузин Л.Т.,Щукин Б.А. Общие вопросы проектирования автоматизированных систем управления.- М.: МИФИ, 1975

40. Гусев И.Т.,Мухин Э.В.»Сорокин A.C.»Сумароков Л.Н. Методика разработки учебного плана.- В сб.: Использование ЭВМ в организации и планировании учебного процесса, М.: Высшая школа, I972,c.I76-I95.

41. Гохман О.Г.,Ситникова A.B. Оптимизация учебного плана.-В сб.: Кибернетика и исследование операций в управлении учебным процессом.-Рига: РПИ, 1984, с.40-43.

42. Анисимов Б.В. »Савельев А.Я.,Власов В.П. »Карпов В.П. Применение ЭЦВМ для автоматизации процессов составления учебных- 168 планов и расписаний. В сб.: Использование ЭШ в организации и планировании учебного процесса. М.: Высшая школа, 1972, с.121-142.

43. Методические рекомендации по составлению (совершенствованию) учебных планов средних специальных учебных заведений. -Отчет НИР НИИПВШ. Гос. per. № 79070030, 1979.

44. Дмитренко Т.А., Г*убарь С.П., Стоянова Р.Д. Оптимизация учебного плана специальности вуза. В сб.: Кибернетика и исследование операций в управлении учебным процессом. - Рига; ЕЛИ, 1984, с.24-26.

45. Нильсон Н. Искусственный интеллект. Методы поиска решений. М.: Мир, 1973.

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

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

48. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983.

49. Маслов С.Ю. Теория поиска вывода и некоторые ее применения. Кибернетика, 1975, Р4, с.134-144.

50. Хант Э. Искусственный интеллект. М.: Мир, 1978.

51. Рейнгольд Э., Нивергельт D., Део Н. Комбинаторные алгоритмы. Теория и практика. М.: Мир, 1980.

52. Кнут Д. Искусство программирования для ЭВМ. T.I. Основные алгоритмы. М.: Мир, 1976.

53. Фостер Дк. Обработка списков. М.: Мир, 1974.

54. Лавров С*С., Силагадзе Г.С. Автоматическая обработка Язык ЛИСП и его реализация. М.: Наука, 1978.

55. Маурер У. Введение в программирование на языке ЛИСП. -М.: Мир, 1976.- 169

56. Булкин М.А., Габович Ю.Р., Пантелеев А.Г. Методические рекомендации по программированию и эксплуатации интерпретатора для алгоритмического языка ЛИСП в ОС ЕС. Киев: НИИАС, 1981.

57. Лавров С.С. СНОБОЛ-А, язык для обработки строк. В сб.: Сообщения по вычислительной математике , вып.4, М.: ВЦ АН СССР, 1968.

58. Программирование на языке РЕФАЛ (препринт). М.: ИПМ АН СССР, 1971, №41, 43-44, 48-49.

59. Базисный РЕФАЛ. Описание языка и основные приемы программирования. Труды ЦНИПИАСС , вып. У-33. М.: ЦНИПИАСС, 1974.

60. Базисный РЕФАЛ и его реализация на вычислительных машинах. Труды ЦНИПИАСС , вып.У-40. М.: ЦНИПИАСС, 1977.

61. Пильщиков В.Н. Язык программирования ПЛЭНЕР БЭСМ. -М.: МГУ, 1978.

62. Пильщиков В.Н. Система программирования ПЛЭНЕР-БЭСМ. -М.: МГУ, 1982.

63. Пильщиков В.Н. Язык ПЛЭНЕР. М.: Наука, 1983.

64. Вудс В. Сетевые грамматики для анализа естественного языка. В кн.: Кибернетический сборник. Новая серия , вып. 13, М.: Мир, 1976, с.120-158.

65. Хорошевский В.Ф. АТЫЬ язык представления лингвистических знаний в естественно-языковых системах. - В сб.: Вопросы кибернетики , вып. 55, М.: АН СССР, 1979, с.158-167.

66. Середи П., Футо И. ПРОЛОГ. Будапешт; Институт координации вычислительной техники , 1979.

67. Андерсон Б., Патрик X. Недостатки логики. В кн.: Кибернетический сборник. Новая серия , вып. 13, М.: Мир, 1976,с.168-183.

68. Глушков В.М., Вельбицкий И.В. Технология программирова- 170 ния и проблемы ее автоматизации,- Управляющие системы и машины, 1976, №6, с.59-65.

69. Вельбицкий И.В. »Ходаковский В.Н. ,Шолмов Л.И. Технологический комплекс производства программ на машинах ВС ЭВМ и БЭСМ-6. М.: Статистика, 1980.

70. Майерс Г. Надежность программного обеспечения.- М.:Мир,1980.

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

72. Маслов С.Ю. О поиске вывода в исчислениях общего типа.-Зап. научн. семинаров ЛОМИ АН СССР, 1972, 32, с.59-65.

73. Маслов С.Ю. Теория поиска вывода и вопросы психологии творчества.- Семиотика и информатика, 1979, 13, с.17-46.

74. Крайзель Г. Исследования по теории доказательств.- М.: Мир, 1981.

75. Оллонгрен А. Определение языков программирования интерпретирующими автоматами.- М.:Мир, 1977.

76. Хендерсон П. Функциональное программирование. Применение и реализация.- М.: Мир, 1983.

77. Сергиевский Г.М. Семантический подход к построению систем искусственного интеллекта.- В сб.: Тезисы докладов и сообщений 4-го семинара "Интеллектуальные банки данных".-Нальчик, 1984, с.45-48.

78. Ингерман П. Синтаксически ориентированный транслятор М.: Мир, 1969.

79. Болье Л. Методы построения компиляторов.-В сб.: Языки программирования.-М.:Мир,1972,с.87-277.

80. Лебедев В.Н. Введение в системы программирования.- М.: Статистика, 1975.

81. Хорошевский В.Ф. Автоматизация проектирования трансля- 171 торов на базе мета-алгоритмических языков. Дис. на соиск. учен, степени канд. техн. наук. М.: МИФИ, 1975.

82. Холл П. Вычислительные структуры. Введение в нечисловое программирование. М.: Мир, 1978.

83. Баррон Д. Рекурсивные методы в программировании. М.: Мир, 1974.

84. Верди В. Методы рекурсивного программирования. М.: Машиностроение, 1983.

85. Вирт Н. Систематическое программирование. Введение. -М.: Мир, 1977.

86. Разработка методологии и моделей построения интеллектуальных диалоговых систем. Отчет НИР МИФИ. Гос. per. №7936982, 1979.

87. Методические рекомендации по разработке структурно-логических схем предметов и сквозных программ подготовки специалистов со средним специальным образованием. Киев: РНМК по ССО, 1979.

88. Лалйп X á/yp^cdum Denr^fme-nt иглШшк Рчхи^ъошг-тт. í^fwW CUffa (N.3.)'- Pv»dtie,-HiM) 1982 ^ ¡o. 350.

89. НшМ Л., R Jn I ydwcUvction to Iy^imcUCn^ PwUbUrtf -V, CACM, 3) id6D, Л/% p.205~ZH.

90. SQ.ÑwMA. ЪтжепМмугь of IPL-V. САСМ,6} ±963, A/°3; p.86.

91. W.Gdvmtw Л/. Я FORTRfíN c>wnpUw(, iid рысшнму ¿ctMfMbffe, ЖМ, 7, 4960, Л/% pJf-iOi.

92. JicCotMy J. famctivn of áfndoüo Mbjowótwmoml ttitib wnfwtcdüm Sf machine. CACM,3} d960) р. Úk-i95.еЛ d. LISP iS Pwjwwwmí

93. GpíWt**^, Лт.\ M.I.T. Ptju, d963.fifflwrM. Ш pvHfruvmmínf Ьшумф,

94. S P.- (Mmiiid^e, Лещ.: InfonmctUm Intewwtiù&ncU ¡ ¿96 к.94. wMw B.M. msP Щшш* Tech, fi/oteHühl Mmlo PktÂ, ÙpuUf; №6*

95. Ynyw Ш OOMITj СйС-М, 6, me, M, /X 83.

96. GiioucM A. et td> SN ОВОЩ ¡НоутттСну to^^puf^-Nwr УочА ; h&nbùu -ИиМ, ¿968.

97. ИшШ> t. P town vi : со Kwnywoocp, pi PwiUn-y, TUuiMvui Ro4o¿6} Pwc- Id Intwь fonf. tm IydeU.- Budfcwlj

98. Sw>iwwm <r.} Wimcjivotd t} Скои,*и,оЖ E. MIORO PLANNER.

99. JfavM 203, AI Lui. МГ.Т C,wynêûcUfi) Лс*41.} i9H.102. 0. popler is нф^им moment ttriswi-uty o^ ftdmêwiy } ScMoWsd) ¿993.

100. ЪУАмк X M-ifi J\ ZomyuMcp IntUfofenU-Uomfond Rmcvwi Institute} »Mmb РоиА} C,uM4>, ^993.

101. VimiM* PtnM>wb. PROLOG-* Яц, fe^y ошЖ ùh Imphn&rdcdifiH towpotswd -wtU LISP,- SI&PLAN NoUm} V.¿2)N°8J1. W4, p- m-us.

102. PiAHpMnmùviy, m PROLOG-. Spitnyw-Vebtny, i92¿} p.279.106.

103. Pulo у ИосцЖ Рыумтптьпу ^см^оос^ o<{ nfr&t уе-пе. -wbfopt,.- Computet, itfuàfy} ¿982 } и 33; ijvfi ) //815} p. ¿5.107. 5-th lUvw, &KЫ Omf. w¡ ¿iniíf. 1нШ. г Рчосшкиу* of.

104. ЬЫ и^епшеб) V. i}2.} MJ.T.} tovMinidojt, Jfom.^ 4944.