JPRS (series). 40280. Determination of regularity of automation [automaton] by its canonical equations [with bibliography]; by B. M. Kloss. et al.