Ovsyak A. Method and mathematical and software provision of system of effective processing of formulas of algebra of algorithms

Dissertation defines algebra of algorithms with the operation of multielimination and connections between operations, the creation of XML-format of description of formulas of algebra of algorithms and mathematical and software provision of system of computer synthesis of formulas of algebra of algorithms, solves the current scientific and applied problems, develops modified algebra of algorithms and creates mathematical and software provision of system of effective processing of formulas of algebra of algorithms. Algebra of algorithms is supplemented by new axioms of operations of sequencing, elimination, paralleling, inversion and operations of cycles' description. In algebra of algorithms is introduced operation of multielimination and axioms with logical values. Mathematical provision of system of computer processing of formulas of algebra of algorithms, grammar of textual description of formulas of algorithms is described by modified algebra of algorithms. It is created the mathematical provision of system of computer synthesis of formulas of algorithms, implemented in software on the platform of Microsoft Visual Studio .NET by languages of programming C # and markup XAML.