Abstract:
The problem of machine-independent optimization is studied for the programs, based on real-time controlling algorithm. This article describes a mathematical model of the controlling algorithm semantics and equivalent optimizing transformations based on it.
Keywords:mathematical model, control algorithm, equivalent optimizing transformations, functional task, system of the linear equations, binary tree.