Tonometry 发表于 2025-3-25 03:22:12

http://reply.papertrans.cn/95/9423/942235/942235_21.png

笨重 发表于 2025-3-25 07:58:10

http://reply.papertrans.cn/95/9423/942235/942235_22.png

召集 发表于 2025-3-25 15:44:27

http://reply.papertrans.cn/95/9423/942235/942235_23.png

grovel 发表于 2025-3-25 17:28:43

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. in . (cf. (4.3.3)).

遭遇 发表于 2025-3-25 23:44:02

http://reply.papertrans.cn/95/9423/942235/942235_25.png

引起痛苦 发表于 2025-3-26 00:19:38

Some Problems in Automata Theory,ategories of deterministic type (cf. 1.12). For a categorical theory of decomposition and synthesis of automata we refer the reader to . Unless otherwise specified automata are always deterministic in this chapter.

Ovulation 发表于 2025-3-26 05:40:55

Reduction and Minimization of Automata in Closed Categories, in closed categories. Especially we now get all the results concerning reduction, minimization and realization,which were sketched for the deterministic case in chapter 2, now for automata in arbitrary closed categories satisfying the general assumptions in 4.1. For examples we refer to the list in 4.9.

dendrites 发表于 2025-3-26 12:30:38

http://reply.papertrans.cn/95/9423/942235/942235_28.png

杀虫剂 发表于 2025-3-26 15:59:32

http://reply.papertrans.cn/95/9423/942235/942235_29.png

hereditary 发表于 2025-3-26 20:30:51

http://reply.papertrans.cn/95/9423/942235/942235_30.png
页: 1 2 [3] 4 5 6
查看完整版本: Titlebook: Universal Theory of Automata; A Categorical Approa H. Ehrig,K.-D. Kiermeier,W. Kühnel Textbook 1974 Springer Fachmedien Wiesbaden 1974 Alge