next up previous contents
Next: Parsing of Context-Free Languages Up: Recursive Matrix Systems Previous: Examples

Parsing

 

Parsing is the process of assigning structure to sentences. The structure is obtained from the grammatical description of the language. Both in computer science and in computational linguistics, context-free grammars and associated parsing algorithms are among the most useful tools. The notations in this section are close to [Sikkel,Nijhold,1997].

Parsing can be viewed as a deductive process, see [Pereira,Warren,1983]. That is, the algorithm operates by means of least fixed-point iteration: a table is gradually filled with elements derived from other elements, until no new ones can be found. A certain collection of deduction steps indicate how table elements are to be derived from others.

Section one introduces parsing as deduction for context-free grammars. The Earley, CYK, and Bottom-up parsing schemata are presented. In section two, these parsing schemata are generalized for RMS. In section three parsing schemata of restricted RMS are analyzed. In the last section, upper time bounds for these new algorithms are given, as well as the proof of correctness.





Dominik Heckmann
Tue Feb 29 17:25:02 MET 2000