Skip to main content
SpringerLink
Log in

An algebraic formulation of the Chomsky hierarchy

  • Submitted Abstract
  • Conference paper
  • First Online:
Category Theory Applied to Computation and Control

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 25))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Brainerd, W.S., Tree Generating Regular Systems, Information and Control 14 (1969) 217–231.

    Article  MathSciNet  Google Scholar 

  2. Chomsky, N., On certain formal properties of grammars, Information and Control 2: 2 (1959), 137–167.

    Article  MathSciNet  Google Scholar 

  3. Fischer, M.J., Grammars with Macro-Like Productions, Proc 9th IEEE Conf Sw & Auto Th (1968), 131–142.

    Google Scholar 

  4. Greibach, S.A., Full AFL and Nested Iterated Substitution, Information and Control 16 (1970), 7–35.

    Article  MathSciNet  Google Scholar 

  5. Lambek J., Deductive Systems & Categories II, Category Theory, Homology Theory & Their Applications I (P. Hilton, ed.) Berlin: Springer-Verlag, Lecture Notes in Mathematics, Vol. 86, (1969), 76–122.

    Chapter  Google Scholar 

  6. Rounds, W. C., Mappings and Grammars on Trees, Math Sys Th 4 (1970), 257–287.

    Article  MathSciNet  Google Scholar 

  7. Scott, D. The Lattice of Flow Diagrams, Oxford U. Comp. Lab. Rep. PRG-3 (1970).

    Google Scholar 

  8. Thatcher, J. W., Characterizing Derivation Trees of Context-Free Grammars through a Generalization of Finite Automata Theory, J Comp & Sys Sci 1 (1967), 317–322.

    MathSciNet  Google Scholar 

  9. Wand, M. An Usual Application of Program-Proving Proc 5th ACM Symp on Th of Computing (Austin, 1973), 59–66.

    Google Scholar 

  10. Wand, M. Algebraic Foundations of Formal Language Theory, MIT Project MAC TR-108, Cambridge, Mass., 1973.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Indiana University, 47401, Bloomington, Indiana, USA

    Mitchell Wand

Authors
  1. Mitchell Wand
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ernest Gene Manes

Rights and permissions

Reprints and permissions

Copyright information

© 1975 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wand, M. (1975). An algebraic formulation of the Chomsky hierarchy. 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_84

Download citation

  • DOI: https://doi.org/10.1007/3-540-07142-3_84

  • 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

Publish with us

Policies and ethics

Search

Navigation