Transformation of restrictions to the behavior of operational part of a reactive algorithm into the restrictions to the behavior of its control part - A. N. Chebotarev (Computer means, networks and systems, 2013)