On applying logical control algorithms in dedicated programmable logical devices

A class of dedicated computing devices which solve only logical problems and some specifics of their software are described. A new language is proposed for formal description of discrete control devices (FODUS). The language syntax is described, the program implementation of sets of logical expressions into which a FODUS text is translated is discussed.