Abstract
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)).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1974 B. G. Teubner, Stuttgart
About this chapter
Cite this chapter
Ehrig, H., Kiermeier, KD., Kreowski, HJ., Kühnel, W. (1974). Behavior of Automata in Pseudoclosed Categories: The Nondeterministic Case. In: Universal Theory of Automata. Teubner Studienbücher Informatik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-96644-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-322-96644-5_7
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-519-02054-7
Online ISBN: 978-3-322-96644-5
eBook Packages: Springer Book Archive