Алгоритм распознавания изоморфного вложения алгоритмических сетей

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