Factorizations, congruences, and the decomposition of automata and systems. (English) Zbl 0306.18005

Math. Found. Comput. Sci., 3rd Symp. Jadwisin 1974, Lect. Notes Comput. Sci. 28, 33-45 (1975).


18B20 Categories of machines, automata
18A25 Functor categories, comma categories
68Q45 Formal languages and automata
93A05 Axiomatic systems theory
93B99 Controllability, observability, and system structure