Q, X,Y, q , #
Q q Q X Y
# Q X # Y Q
Retracing some paths in Process Algebra
2 The semantic universe: transducers
Similar ideas appeared independently in the work of Hans Bekiíc [Bek71].
Laboratory for the Foundations of Computer Science
University of Edinburgh