Grammar formalisms viewed as evolving algebras

We consider the use ofevolving algebra methods of specifying grammars for natural languages. We are especially interested in distributed evolving algebras. We provide the motivation for doing this, and we give a reconstruction of some classic grammar formalisms in directly dynamic terms. Finally, we consider some technical questions arising from the use of direct dynamism in grammar formalisms.

[1]  B. Partee,et al.  Mathematical Methods in Linguistics , 1990 .

[2]  Geoffrey K. Pullum,et al.  Generalized Phrase Structure Grammar , 1985 .

[3]  Yuri Gurevich,et al.  Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.

[4]  Yuri Gurevich,et al.  Algebraic Operational Semantics and Occam , 1990, CSL.

[5]  Egon Börger,et al.  The WAM - Definition and Compiler Correctness , 1995, Logic Programming: Formal Methods and Practical Applications.

[6]  David E. Johnson,et al.  Arc Pair Grammar , 1980 .

[7]  Kelly Roach,et al.  Formal Properties of Head Grammars , 1987 .

[8]  Yuri Gurevich,et al.  The Semantics of the C Programming Language , 1992, CSL.

[9]  Carl Jesse Pollard,et al.  Generalized phrase structure grammars, head grammars, and natural language , 1984 .

[10]  Robin Milner,et al.  Functions as processes , 1990, Mathematical Structures in Computer Science.

[11]  Yuri Gurevich,et al.  Algebraic Operational Semantics and Modula-2 , 1987, CSL.

[12]  C. A. Petri.  Concepts of Net Theory , 1973, MFCS.

[13]  William Marsh.  Graphs and Grammars , 1986 .

[14]  Dean Rosenzweig,et al.  Communicating Evolving Algebras , 1992, CSL.