Dynamic interpretations of constraint-based grammar formalisms

  • Lawrence S. Moss
  • David E. Johnson


We present a rendering of some common grammatical formalisms in terms of evolving algebras. Though our main concern in this paper is on constraint-based formalisms, we also discuss the more basic case of context-free grammars. Our aim throughout is to highlight the use of evolving algebras as a specification tool to obtain grammar formalisms.

Key words

Constraint-based formalism evolving algebra 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. E. Börger, 1994, “Annotated bibliography on evolving algebras,” inSpecification and Validation Methods, E. Börger, ed., Oxford University Press. Paper available by anonymous ftp from: apollo.di.unipi.it in the directory pub/Papers/boerger.Google Scholar
  2. B. Carpenter, 1992,The Logic of Typed Feature Structures, Cambridge Tracts in Theoretical Computer Science 32, Cambridge University Press.Google Scholar
  3. A. Dawar and K. Vijay-Shankar, 1990, “A three-valued interpretation of negation in feature structure descriptions,”Computational Linguistics 16(1), 11–21.Google Scholar
  4. Y. Gurevich and L.S. Moss, 1990, “Algebraic operational semantics and Occam,” inProceedings of 3rd Workshop on Computer Science Logic, Springer-Verlag LNCS, volume 440.Google Scholar
  5. Y. Gurevich, 1991, “Evolving algebras: A tutorial introduction,”Bulletin of the European Association for Theoretical Computer Science 43, 264–286.Google Scholar
  6. Y. Gurevich, 1994, “Evolving algebras 1993: Lipari guide,” inSpecification and Validation Methods, E. Börger, ed., Oxford University Press.Google Scholar
  7. D. E. Johnson and L. S. Moss, 1995, “Grammar formalisms viewed as evolving algebras,”Linguistics and Philosophy.Google Scholar
  8. M. Johnson, 1988, “Attribute-Value Logic and the Theory of Grammar,” CSLI Lecture Notes Number 16, CSLI.Google Scholar
  9. B. Keller, 1993, “Feature Logics, Infinitary Descriptions, and Grammar,” CSLI Lecture Notes Number44, CSLI.Google Scholar
  10. M. A. Moshier, 1988,Extensions to Unification Grammar for the Description of Programming Languages, PhD thesis, University of Michigan.Google Scholar
  11. M. A. Moshier and W. C. Rounds, “A logic for partially specified data structures,” inProceedings of 14th ACM Symposium on Principles of Programming Languages, pp. 156–167.Google Scholar
  12. L. S. Moss and D. E. Johnson, 1995, “Evolving algebras and mathematical models of language,” pp. 143–175, inApplied Logic: How, What, and Why?, Dordrecht: Kluwer Academic Publishers.Google Scholar
  13. W. C. Rounds, “Feature logic,” inHandbook of Logic and Language, J. van Beninern and A. ter Meulen eds., Amsterdam: North Holland.Google Scholar
  14. S. M. Shieber, 1992,Constraint-Based Grammar Formalisms, MIT Press, Cambridge, Massachusetts: Bradford Books.Google Scholar

Copyright information

© Kluwer Academic Publishers 1995

Authors and Affiliations

  • Lawrence S. Moss
    • 1
  • David E. Johnson
    • 2
  1. 1.Mathematics and Computer Science DepartmentsIndiana UniversityBloomingtonUSA
  2. 2.Mathematical Sciences DepartmentThomas J. Watson Research Center, IBM Research DivisionYorktown HeightsUSA

Personalised recommendations