Title :
Mathematical structure of the system of an automated admission of the formulas of algebra of algorithms-sequences
Author :
Brytkovskyj, Vasil
Author_Institution :
Autom. & Comput. Technol., Ukranian Acad. of Printing, Lviv, Ukraine
Abstract :
The algorithms at the formalized level in the analytical form are described by algebra of algorithms-sequences, which ensures the exact description of an algorithm with possibilities of identical transformations with the purpose of optimization behind selected criteria, construction and research of a mathematical model. A synthesis and optimization of mathematical structure, which decreased the amount of symbols and amount of operators, was performed.
Keywords :
algorithm theory; modelling; optimisation; algorithms-sequences algebra; automated admission; mathematical model; mathematical structure; optimization; Algebra; Algorithm design and analysis; Application software; Computer graphics; Design automation; Mathematical model; Mice; Printing; Software packages;
Conference_Titel :
CAD Systems in Microelectronics, 2001. CADSM 2001. Proceedings of the 6th International Conference. The Experience of Designing and Application of
Conference_Location :
Lviv-Slavsko, Ukraine
Print_ISBN :
966-553-079-8
DOI :
10.1109/CADSM.2001.975841
