An abstract machine theory for formal language parsers

  • David B. Benson
Submitted Abstract
Part of the Lecture Notes in Computer Science book series (LNCS, volume 25)


Full Subcategory Monoidal Category Monoidal Functor Parallel Derivation Parsing Algorithm 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aho, A.V., and Ullman, J.D.: The Theory of Parsing, Translation and Compiling, Prentice-Hall, 1972.Google Scholar
  2. 2.
    Arbib, M.A., and Manes, E.G.: Machines in a Category, an Expository Introduction, SIAM Review, to appear.Google Scholar
  3. 3.
    Arbib, M.A., and Manes, E.S.: Adjoint Machines, State-Behavior Machines and Duality, Journal of Pure and Applied Algebra, to appear.Google Scholar
  4. 4.
    Benson, D. B.: The Algebra of Derivations and a Semithue Parser, Proc. 24th Nat. ACM Conf., 1969, 1–9.Google Scholar
  5. 5.
    Benson, D.B.: Syntactic Clues, IEEE Conf. Record 11th Annual Symp. on Switching and Automata Theory, 1970, 133–138.Google Scholar
  6. 6.
    Benson, D.B.: The Basic Algebraic Structures in Categories of Derivations, Comp. Sci. CS-73-004, Washington State University. To appear in Information and Control.Google Scholar
  7. 7.
    DeRemer, F.L.: Simple LR(k) Grammars, CACM 14, 1971, 453–460.MathSciNetzbMATHGoogle Scholar
  8. 8.
    Earley, J.: An Efficient Context-Free Parsing Algorithm, CACM 13, 1970, 94–102.zbMATHGoogle Scholar
  9. 9.
    Give'on, Y.: A Categorical Review of Algebra Automata and Systems Theories, Symposia Mathematica, Vol. 4, Institute Nazionale di Alta Matematica, Academic Press, 1970.Google Scholar
  10. 10.
    Goguen, J.A.: Minimal Realization of Machines in Closed Categories, Bull. Am. Math. Soc. 78, 1972, 777–783.MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Hotz, G.: Eindeutigkeit und Mehrdeutigkeit Formaler Sprachen, EIK 2, 1966, 235–247.MathSciNetzbMATHGoogle Scholar
  12. 12.
    Knuth, D.E.: On the Translation of Languages from Left to Right, Information and Control 8, 1965, 607–639.CrossRefMathSciNetGoogle Scholar
  13. 13.
    McKeeman, W.M., A Compiler Generator, Prentice-Hall, 1970.Google Scholar
  14. 14.
    MacLane, S.: Categories for the Working Mathematician, Springer, 1972.Google Scholar
  15. 15.
    Pareigis, B.: Categories and Functors, Academic Press, 1970.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • David B. Benson
    • 1
  1. 1.Computer Science DepartmentWashington State UniversityPullmanUSA

Personalised recommendations