Structure Theory of Automata
Hartmut Ehrig, K.-D. Kiermeier, Hans‐Jörg Kreowski, Wolfgang Kühnel · 1974
The aim of this chapter is to study the structural properties of automata which are mentioned in 2.9: The construction and characterization of isomorphisms, subautomata, equalizers, products, coequalizers, coproducts, image-factorizations and free automata respectively. This is already done in [33] for deterministic automata, and, similar to that case, it will be shown for automata in monoidal categories ( K ,⊗) that most of the constructions can be “lifted” from K , which means that they can be constructed componentwise in the category K . On the other hand the constructions of coproducts and free automata in the category of automata with variable input and output is more difficult and the proofs are rather long.