Инструментальные средства символьной обработки данных в АСУ

• Автор: Петрова, Тамара Васильевна
• Шифр специальности: 05.13.06
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Москва
• Количество страниц: 250 c. : ил

СОДЕРЖАНИЕ
ВВЕДЕНИЕ.

ГЛАВА 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. Внедрение РФСсистемы в Главном научнометодическом центре ЦНИИНТЙ для решения задачи анализа и синте
за сквозной программы специальности
ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА


Все следствия, полученные в результате гипотезы о том, что данная альтернатива полезна, после отбрасывания альтернативы уничтожаются. Такой "слепой" перебор не всегда эффективен, поскольку будут проверяться заведомо неудачные варианты. Пользователю должны быть предоставлены средства, с помощью которых он имел бы возможность вмешиваться в работу режима возвратов, заставляя встроенный механизм работать так, чтобы обеспечить более целенаправленный выбор альтернатив. При решении в пространстве подзадач основная задача разбивается на совокупность подзадач, которые могут рекурсивно вызывать друг друга. Программирование задач с использованием такой схемы решения требует расширения понятия традиционной схемы программы на случай, когда результатом выполнения программы может быть специальный признак - "неуспех" вычислений. Таким образом язык программирования наряду со встроенными средствами автоматического возврата должен иметь удобные и эффективные средства для организации подзадач в процессе решения основной задачи. Для организации связи с подзадачами язык должен обладать развитым и легко управляемым механизмом передачи фактических параметров в подзадачи, а также средствами автоматической фиксации неуспешного завершения вычисления подзадачи. Задачи символьной обработки данных определяются на символьных объектах, поэтому в языке программирования, предназначенном для решения этих задач, должны быть развиты средства для обработки символьной информации. Одним из наиболее мощных средств построения сложных проце-дурсимвольной обработки данных является символьное сопоставление с образцом. Сопоставление с образцом - это процесс сравнения символьных выражений между собой с тем, чтобы выяснить, аналогичны ли они. Если образец представляет собой константу, то аналогичность понимается как буквальное совпадение образца с подстрокой в исходном тексте. Если образец включает переменные, то аналогия понимается в том смысле, что образец и подстрока в исходном тексте принадлежат к одному и тому же классу объектов. Сопоставление с образцом осуществляется в два этапа. На первом этапе проводится сопоставление исходного текста с заданным образцом. На втором этапе по результатам сопоставления производится связывание переменных, входящих в образец, с подстроками в исходном тексте или с некоторыми вычисленными подвыражениями. Полученные значения переменных используются в процессе решения задачи. Существуют различные формы сопоставления с образцом 6/. При синтаксическом сопоставлении сравниваются формы объектов. При параметрическом сопоставлении вводится параметр, определяющий степень сопоставления. При семантическом сопоставлении сравниваются функции элементов, а не их формы. Суть принуждаемого сопоставления заключается в том, что одна структура рассматривается с точки зрения другой структуры. В отличие от обычного сопоставления здесь всегда может быть получен положительный результат. Все зависит от "силы" принуждения. Принуждение могут выполнять специальные процедуры, связанные со структурами. Для целей символьной обработки данных используется синтаксическое сопоставление с образцом. При этом процедура связывания значений переменных носит название процедуры синтаксического отождествления. Образец представляет собой, как правило, выражение большей степени общности, чем искомое выражение в исходном тексте, поэтому выбор нужного подвыражения может быть сделан неоднозначно. Это вносит в процесс поиска элемент недетерминированности. В случае неудачи система должна вернуться на исходную позицию и сделать выбор альтернативного варианта. Реализация этой процедуры требует от системы наличия средств автоматического возврата. Существуют различные способы описания образца. Образец может быть задан с помощью набора фиксированных форм, т. Такой способ задания образца ограничивает возможности системы. Более универсальным является способ задания образца с помощью произвольным образом описанной функции, возможность определения которой предоставляется пользователю. Образец с произвольными правилами интерпретации можно рассматривать как специальный случай определения подзадачи.