Исследование некоторых задач в алгебрах и пространствах программ

Рассмотрим задачу исследования разрешимости в пространствах программ.При решении этой задачи используются аксиомы алгебры А.Все аксиомы алгебры B и правила вывода в ней сохраняются.Программа Т - более оптимальна и ее правильность доказываема формально.Дана программа Р, где А,В,С - процедуры, a,b - предикаты.Шаг 4. Находим решение системы.Шаг 5. По условиям выполнимости событий находим регулярную форму этого решения.Решим эту систему.P=a (BA+CA) b (Ab{A}+e) =a (B+С) Ab (Ab{A}+e) =a (B+С) Ab ({A}b+e) =a (B+С) Ab{A}=a (B+C) {A}b=T.Доказана теорема (доказательство не приводим из-за объема) .