Conference paper
Initial agebra sematics
J.A. Goguen, J.W. Thatcher
SWAT 1974
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, J.W. Thatcher
SWAT 1974
J.A. Goguen
CDC 1971
J.B. Wright, J.W. Thatcher, et al.
FOCS 1976
J.A. Goguen, J.W. Thatcher, et al.
Journal of the Franklin Institute