Titlebook: Universal Theory of Automata; A Categorical Approa H. Ehrig,K.-D. Kiermeier,W. Kühnel Textbook 1974 Springer Fachmedien Wiesbaden 1974 Alge

FLOAT

Unified Representation of Automata,of automata in monoidal categories provides an appropriate general setting to get a unified representation of all these different kinds of automata. Moreover partial, relational and relational topological automata are given as examples and several other types will be mentioned in the following chapt

解开

Some Problems in Automata Theory, transition monoid and the structure theory of automata. In order to give a motivation for the constructions in the following chapters we will sketch the problems and the corresponding results for the case of deterministic automata in such a way that they can be generalized to automata in monoidal c

stratum-corneum

General Concepts of Reduction, Minimization and Realization,reduction, minimization and realization and especially their relationships. All these notions were introduced in the last chapter, concerning the input-output behavior as well as the transition monoid of automata. Moreover in the literature these notions have also been used for several other kinds o

一加就喷出

省略

Behavior of Automata in Pseudoclosed Categories: The Nondeterministic Case, 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 (.,x) for example is not closed such that we do not get the machine morphism M(A) as an adjoint morphism of l.

污点

解冻

跳脱衣舞的人

树胶

Encumber

Appendix: Basic Notions of Category Theory,mples we refer to the previous chapters (cf. subject index). But we do not reformulate the definition of monoidal categories and E-M-factorizations for example because the exact definitions and all necessary explanations are already given in the corresponding chapters. Moreover we give the proof for