Conference paper
Systems and minimal realization
J.A. Goguen
CDC 1971
Behavior is left adjoint to minimal realization, as functors between certain categories of machines and behaviors. This gives a succinct characterization of minimal realization valid for discrete as well as linear machines, with or without finiteness condition. Realization theory is therefore expressed in contemporary algebra in a way which reveals its inner structure and suggests generalizations. An adjunction between regular sets and finite state acceptors follows as a corollary. © 1973 Springer-Verlag New York Inc.
J.A. Goguen
CDC 1971
J.A. Goguen
SWAT 1972
J.A. Goguen, J.W. Thatcher, et al.
Journal of the ACM
J.A. Goguen, J.W. Thatcher
SWAT 1974