Preview
Unable to display preview. Download preview PDF.
References
Aho, A.V., Indexed Grammars — An Extension of Context-Free Grammars, J.A.C.M., Vol. 15, No. 4, 1967.
Brainerd, W.E., Tree Generating Regular Systems, Inform. & Control, Vol. 14, 1969.
Cohn, P.M., Universal Algebra, Harper and Row, 1964.
Curry, H.B. and Feys, R., Combinatory Logic, Vol. 1, North Holland, 1958.
Eilenberg, S. and Wright, J.B., Automata in General Algebras, Inform. & Control, Vol. 11, 1967.
Ginsburg, S. and Greibach, S.A., Abstract Families of Languages, Proc. 8th I.E.E.E. Symp. on Switching and Automata Theory, 1967.
Gratzer, G., Universal Algebra, Van Nostrand, Reinhold, 1968.
Lawvere, F.W., Functional Semantics of Algebraic Theories, Proc. Nat. Academy of Sciences, Vol. 50.
Mezei, J. and Wright, J.B., Generalised ALGOL-like Languages, I.B.M. Research Paper, RE1528, 1968.
Rounds, W.C., Mappings and Grammars on Trees, Mathematical Systems Theory, Vol. 4, No. 3, 1969.
Scott, D., Continuous Lattices, Monograph PRG-7. Oxford University Computing Laboratory, 1971.
Thatcher, J.W., Characterising Derivation Trees of Context-Free grammars through a Generalisation of Finite Automata Theory, J.C.S.S., Vol. 1, 1967.
Thatcher, J.W. and Wright, J.B., Generalised Finite Automata Theory with an Application to Second Order Logic, Mth. Systems Th., Vol. 2.
Turner, R., Tree Grammars, to appear.
Turner, R., An Infinite Hierarchy of Term Languages, Theorie de Automates de Languages et de la Programmation, 1972.
Turner, R., Ph.D. thesis, London, 1973.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Turner, R. (1975). An algebraic theory of formal languages. In: Bečvář, J. (eds) Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975. MFCS 1975. Lecture Notes in Computer Science, vol 32. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07389-2_228
Download citation
DOI: https://doi.org/10.1007/3-540-07389-2_228
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07389-5
Online ISBN: 978-3-540-37585-2
eBook Packages: Springer Book Archive