Abstract: This paper describes two analytical models of the process of an analysis of XML-formatted formulae of algorithms represented in a special editor created for the algebra of algorithms. For identification and storage of types and orientation of selected operations and uniterms, two XML-formatted model algorithms are developed. The ability is shown for transformation of formulae of algorithms that results in 5-time reduction of a number of uniterms while maintaining the functionality of the algorithm.

Keywords: Algebra of algorithms, algorithm formulae editor, transformation of algorithms.

Link:

MODELS OF THE PROCESS OF AN ANALYSIS OF XML-FORMATTED FORMULAE OF ALGORITHMS

Volodymyr Ovsyak, Krzystof Latawiec, Aleksandr Ovsyak

http://foibg.com/ibs_isc/ibs-23/ibs-23-p13.pdf