Дослідження деяких завдань в алгебрах і просторах програм

Казіев В.М.

Розглянемо пару алгебр (A, B): алгебру X = подій -- алгоритмічних процедур (програм) задану над алфавітом X = (x1, x2 ,..., xn) і В-тризначну алгебру логіки (0,1,2 - невизначеність). В алгебрі А визначимо двомісні операції кон'юнкції і умовної диз'юнкції і одномісну операцію ітерації наступним чином: кон'юнкція s1 & s2 подій s1, s2 складається з усіх слів виду pq, p