Use of graphs for formalizing the laws of functioning of loading-unloading devices

The example of defining a law for operation of a stacking conveyor demonstrates the possibility of a language for algorithm graphs. This language is sufficiently universal and can be used for describing a law for operation of a wide class of manipulators and other similar devices, and it is sufficiently graphic. The algorithm graphs allow accurately, with all necessary details but at the same time concisely, describing any microprogram for operating manipulators and revealing its logical imperfection with both heuristic and formal methods of the theory of graphs. The algorithm graphs obtained can be used as the basis for developing a computer program in any both high- and low-level algorithm language.