Behavior of Automata in Pseudoclosed Categories: The Nondeterministic Case
Hartmut Ehrig, K.-D. Kiermeier, Hans‐Jörg Kreowski, Wolfgang Kühnel · 1974
In the chapters 4 and 5 we have studied automata in closed categories, basing on the example of deterministic automata. Now we are going to generalize nondeterministic automata to automata in pseudoclosed categories. The construction of the extended output morphism l + :S⊗I + → 0 is exactly the same as before but unfortunately, the category ( ND ,x) for example is not closed such that we do not get the machine morphism M(A) as an adjoint morphism of l + in ND (cf. (4.3.3)).