Implementation of parallel logical control algorithms in programmable logical matrices

A language is described which is used in description of parallel logical control algorithms whereby a simplified set of operations is used. This set consists of action and waiting operations which are defined for simple events that are represented as elementary conjunction of control and conditional Boolean variables. The language recognizes some structural properties of actual control algorithms and is intended for CAD applications. A way is proposed for transforming the algorithm specified in this language into a sequential automaton to be implemented in a straightforward way in a programmable logical matrix with the use of $RS$ triggers as memory elements.