Аннотация. В работе содержится теоретико-множественный анализ структуры атрибутных транзиционных систем со скрытыми переходами в предположении, что множество доопределяемых состояний зафиксировано и не изменяет структуры системы. Исследованы случаи, когда приоритеты скрытых и доступных действий совпадают либо приоритет скрытых действий выше, чем приоритет доступных действий. В терминах систем с выделенными начальными и финальными состояниями определены и охарактеризованы классы допустимых, безопасных и корректных систем. Построена алгебра таких систем.
Ключевые слова: атрибутные транзиционные системы, скрытые переходы, допустимость, безопасность и корректность систем.
Скобелев Владимир Владимирович,
доктор физ.-мат. наук, старший научный сотрудник Института кибернетики им. В.М. Глушкова НАН Украины, Киев,
e-mail: skobelevvg@mail.ru.