Journal of Logic and Computation Advance Access published online on May 30, 2007
Journal of Logic and Computation, doi:10.1093/logcom/exm009
| ||||||||||||||||||||||||||||||||||||||||||||||||||
Original papers |
Sequentially Indexed Grammars
CWI, Amsterdam, Uil-OTS, Utrecht, The Netherlands. E-mail: jan.van.eijck{at}cwi.nl
Received 9 February 2006.
| Abstract |
|---|
This article defines the grammar class of sequentially indexed grammars (SIGs) that results of a change in the index stack handling mechanism of indexed grammars (Aho, 1968, Journal of the ACM, 15, 647671; 1969, Journal of the ACM, 16, 383406). SIGs are different from linear indexed grammars (Gazdar, 1988, Natural Language, Parsing and Linguistic, Theories, pp. 6994) (the rule format is simpler) and they generate a strictly larger language class. We give a polynomial algorithm for parsing with SIGs that is a rather straightforward extension of the Earley algorithm for parsing with context-free grammars. SIGs are attractive because of the simple rule format, the natural correspondence between indices and traces, and the perspicuity of the parsing scheme.
Keywords: Deductive parsing; context-free grammars; indexed languages; nested stack automata; Earley parsing algorithm; polynomial parsing