Abstract:
Двійкові діаграми рішень відомі як ефективний засіб подання систем булевих функцій і широко застосовуються в проектуванні цифрових систем, аналізі скінченних автоматів, у задачах штучного інтелекту та математичної логіки. У цій роботі розглянуто питання представлення логічних специфікацій реактивних алгоритмів та запропоновано представлення у вигляді двійкових діаграм рішень як таке, що передбачає ефективну реалізацію алгоритмів синтезу та верифікації реактивних систем.