Дорошенко, АнатолійАлістратов, Олег2016-02-172016-02-172003Дорошенко Анатолій Юхимович. Засоби логічних специфікацій реактивних алгоритмів / А. Ю. Дорошенко, О. В. Алістратов // Наукові записки НаУКМА. - 2003. - Т. 21 : Комп'ютерні науки. - С. 10-15.https://ekmair.ukma.edu.ua/handle/123456789/8414Двійкові діаграми рішень відомі як ефективний засіб подання систем булевих функцій і широко застосовуються в проектуванні цифрових систем, аналізі скінченних автоматів, у задачах штучного інтелекту та математичної логіки. У цій роботі розглянуто питання представлення логічних специфікацій реактивних алгоритмів та запропоновано представлення у вигляді двійкових діаграм рішень як таке, що передбачає ефективну реалізацію алгоритмів синтезу та верифікації реактивних систем.ukреактивний алгоритмлогічна специфікаціядвійкова діаграмареактивна системаArticle