Preview
Unable to display preview. Download preview PDF.
References
S. Alagić, Natural State Transformations, COINS Technical Report 73B-2, University of Massachusetts at Amherst, 1973.
M. A. Arbib and E. G. Manes, Machines in a Category, SIAM Review, April, 1974.
M. A. Arbib and E. G. Manes, The Monoid of a Machine in a Category, to appear.
M. A. Arbib and E. G. Manes, Adjoint Machines, State Behaviour Machines, and Duality, Technical Report '73B-1, February, 1973, Computer and Information Science, University of Massachusetts, Amherst; to appear in J. Pure Appl. Alg.
M. A. Arbib and E. G. Manes, Kleisli Machines, to appear.
B. S. Baker, Tree Transductions and Families of Tree Languages, Proceedings of Fifth Annual ACM symposium on theory of computing, May., 1973.
M. Barr, Coequalizers and Free Triples, Math. Z., 116 (1970), 307–322.
J. Beck, Distributive Laws, Lecture Notes in Mathematics, Vol. 80, Springer-Verlag.
E. J. Dubuc, Kan Extensions in Enriched Category Theory, Lecture Notes in Mathematics, Vol. 145, Springer-Verlag, 1970.
J. Engelfriet, Bottomup and Topdown Treetransformations: A Comparison, Memorandum No. 19, July, 1971, Techniche Hogeschool Twente, Netherlands.
S. Eilenberg and J. B. Wright, Automata in General Algebras, Information and Control, 11 (1967).
S. Ginsburg, The Mathematical Theory of Context-Free Languages, McGraw-Hill, New York, 1966.
G. Grätzer, Universal Algebra, D. Van Nostrand, Princeton, 1968.
H. Kleisli, Every Standard Construction is Induced by a Pair of Adjoint Functors, Proc. Am. Math. Society, 16 (1965).
S. Mac Lane, Categories for the Working Mathematician, Springer-Verlag, 1972.
E. G. Manes, A Triple Miscellany: Some Aspects of the Theory of Algebras Over a Triple, Thesis, Wesleyan University, 1967.
E. G. Manes, Algebraic Theories, Springer-Verlag, to appear.
J. P. Meyer, Induced Functors on Categories of Algebras, The John Hopkins University, Baltimore, 1972, preprint.
J. Mezei and J. B. Wright, Generalized Algol-Like Languages, Information and Control, 11 (1967).
W. C. Rounds, Mappings and Grammars on Trees, Mathematical System Theory, 4 (1970).
J. W. Thatcher, Characterizing Derivation Trees of Context-Free Grammars Through a Generalization of Finite Automata Theory, Journal of Computer and System Sciences, 1 (1967).
J. W. Thatcher, Generalized 2 Sequential Machine Maps, Journal of Computer and System Sciences, 4 (1970).
J. W. Thatcher, There's a Lot More to Finite Automata Theory Than You Would Have Thought, RC 2852, 1970, IBM, Yorktown Heights.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alagić, S. (1975). Categorical theory of tree processing. In: Manes, E.G. (eds) Category Theory Applied to Computation and Control. Lecture Notes in Computer Science, vol 25. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07142-3_62
Download citation
DOI: https://doi.org/10.1007/3-540-07142-3_62
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07142-6
Online ISBN: 978-3-540-37426-8
eBook Packages: Springer Book Archive