Овсяк О. В. Метод і математичне та програмне забезпечення системи ефективного опрацювання формул алгебри алгоритмів

У дисертаційній роботі визначенням алгебри алгоритмів з операцією мультиелімінування і зв'язками між операціями, створенням текстового XML-формату опису формул алгебри алгоритмів і математичного та програмного забезпечення системи комп'ютерного синтезу формул алгебри алгоритмів розв'язано актуальну науково-прикладну проблему розроблення модифікованої алгебри алгоритмів і створення математичного та програмного забезпечення системи ефективного опрацювання формул алгебри алгоритмів.Алгебра алгоритмів доповнена новими аксіоми операцій секвентування, елімінування, паралелення, інвертування та операцій опису циклів. В алгебру алгоритмів введена операція мультиелімінування та аксіоми з логічними значеннями. Математичне забезпечення системи комп'ютерного опрацювання формул алгебри алгоритмів, граматики текстового опису формул алгоритмів описано модифікованою алгеброю алгоритмів. Створене математичне забезпечення системи комп'ютерного синтезу формул алгоритмів програмно реалізовано на платформі Microsoft Visual Studio .NET мовами об'єктного програмування C# і розмітки XAML.