МЕДИЧНА ІНФОРМАТИКА І КІБЕРНЕТИКА В ОХОРОНІ ЗДОРОВ'Я ТА МЕДИЦИНІ : УНІФІКОВАНА ПРОГРАМА ПІСЛЯДИПЛОМНОГО НАВЧАННЯ ЛІКАРІВ І ПРОВІЗОРІВ

O. P. Mintser, Yu. V. Voronenko, L. Yu. Babintseva, S. I. Mokhnachov
2017 Medična Informatika ta Inženerìâ  
Помеченные графы широко применяются в информатике для описания и моделирования разнообразных вычислительных процессов. В этом контексте наиболее изучены конечные орграфы с помеченными дугами (LTS [1], взвешенные автоматы [2], конечные автоматы). Также существует множество вычислительных процессов, естественным образом представляемых графами с помеченными вершинами (в программировании, робототехнике [3], верификации моделей [4]). В работах [5-9] исследуется модель информационной системы как
more » ... ой системы как системы взаимодействующих объектов: агентов и их информационной среды, которая представляется в виде топологической модели, т.е. графа с помеченными вершинами. Ранее в [10] было предложено представление конечных всюду определенных автоматов без выхода системами определяющих соотношений -множествами пар слов специального вида. С помощью такого представления решена задача характеризации -определения, является ли данное множество пар системой определяющих соотношений для заданного автомата без непосредственного построения автомата. В настоящей работе предлагается распространить понятие и аппарат систем определяющих соотношений на т.н. детермини- Лингвистическое представление графов с помеченными вершинами Представлено членом-корреспондентом НАН Украины И.И. Скрыпником В работе вводится лингвистическое представление Д-графов, у которых в окрестности каждой вершины все вершины имеют разные метки, определяющей парой множеств слов, первое из которых описывает циклы графа, а второе -все его висячие вершины. Предложена процедура, которая по заданной паре множеств либо строит соответствующий ей Д-граф, либо показывает, что по этой паре Д-граф построить невозможно. Найдены процедура построения минимальной (канонической) определяющей пары для графа и процедура преобразования произвольной определяющей пары графа к канонической. Полученные результаты являются распространением соответствующих задач теории автоматов на графы с помеченными вершинами и позволяют задействовать новые методы и алгоритмы для решения задач анализа графов с помеченными вершинами. Ключевые слова: графы с помеченными вершинами, определяющая пара, представление графов.
doi:10.11603/mie.1996-1960.2016.4.7062 fatcat:6vc4sbqcpvgvjlwzi4xnaf7s4u