Behavior of Automata in Closed Categories: The Deterministic Case
Hartmut Ehrig, K.-D. Kiermeier, Hans‐Jörg Kreowski, Wolfgang Kühnel · 1974
The aim of this chapter is to generalize the construction of the extended output function, the machine function and the input-output behavior of deterministic automata to those in monoidal categories which are introduced in chapter 1.