Модели реализации алгоритмов, данных и программ в сложных системах

Abstract

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

Розглянуто питання реалізації алгоритмів, даних та програм, для вирішення яких розроблено алгебру квазірегулярних подій. Запропоновано правила виведення та систему аксіом. Вирішено завдання аналізу кінцевих автоматів в алгебрі квазірегулярних подій.