Parallel Automaton an its Hardware Implementation

Abstract. Logical control devices are intended for maintaining proper interaction between components of complicated engineering complexes. In general case, they are asynchronous systems carrying out control for several processes proceeding in parallel. Their design begins with working out parallel algorithms for logical control (PALC). A formal language PRALU is suggested for that, as well as its standard form interpreted as the parallel automaton which unlike the conventional one can be placed simultaneously in several places called partial. A method of its hardware implementation is developed including stages of checking for correctness, partial states assignment, obtaining a sequent automaton and a corresponding set of Boolean functions in disjunctive normal form which can be easily realized on a PLA.