Parsing schemata and correctness of parsing algorithms

Theoretical Computer Science

Volumn 199, Issue 1-2, 1998, Pages 87-103

  Sikkel, Klaas ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

Chart parsers; Correctness proof; Parsing schemata

Indexed keywords

EID: 0012688849     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00269-7     Document Type: Article

References (33)

1. A.V. Aho, R. Sethi, J.D. Ullman, Compilers: Principles, Techniques and Tools, Addison-Wesley, Reading, MA, 1986.
2. R. op den Akker, H. ter Doest, M. Moll, A. Nijholt, Parsing in dialogue systems using typed feature structures, Memoranda Informatica 95-25, Department of Computer Science, University of Twente, Enschede. Netherlands, 1995.
3. G. Bouma, G. van Noord, Head-driven parsing for lexicalist grammars: experimental results, Proc. 6th Meeting of the European Chapter of the Association of Computational Linguistics, Utrecht, 1993, pp. 71-80.
4. B. Carpenter, The Logic of Typed Feature Structures, Cambridge University Press. Cambridge, UK, 1992.
5. N. Chomsky, Context-free grammars and pushdown storage, Quarterly Prog. Rept. 65, MIT Res. Lab. Elect., Cambridge, MA, 1962, pp. 187-194.
6. F.L. DeRemer, Practical Translators for LR(k) Languages, Ph.D. Thesis, MIT, Cambridge, MA, 1969.
7. F.L. DeRemer, Simple LR(k) grammars, Comm. ACM 14 (1971) 94-102.
8. J. Earley, An efficient context-free parsing algorithm, Ph.D. Thesis, Carnegie-Mellon University, Pittsburgh, PA, 1968.
9. J. Earley, An efficient context-free parsing algorithm, Comm. ACM 13 (1970) 94-102.
10. J. Evey, Application of pushdown store machines, Proc. 1963 Fall Joint Computer Conf., AFIPS Press, Montvale, NJ, 1963, pp. 215-227.
11. T. Kasami, An efficient recogr ition and syntax analysis algorithm for context-free languages, Scientific Report AFCLR-65-758, Air Force Cambridge Research Laboratory, Bedford, MA, 1965.
12. M. Kay, Algorithm schemata and data structures in syntactic processing, Report CSL-80-12, Xerox PARC, Palo Alto, CA, 1980.
13. M. Kay, Algorithm schemata and data structures in syntactic processing, in: B.J. Grosz, K. Sparck Jones, B.L. Webber (Eds.), Readings in Natural Language Processing, Morgan Kaufmann, Los Altos, CA, 1982.
14. M. Kay, Parsing in functional unification grammar, in: D.R. Dowty, L. Karttunen, A. Zwicky (Eds.), Natural Language Parsing, Cambridge University Press, Cambridge, UK, 1985, pp. 251-278.
15. M. Kay, Head driven parsing, Proc. 1st Internat. Workshop on Parsing Technologies, Pittsburgh, PA, 1989, pp. 52-62.
16. D.E. Knuth, On the translation of languages from left to right, Inform. Control 8 (1965) 607-639.
17. B. Lang, Deterministic techniques for efficient non-deterministic parsers, Proc. 2nd Coll. on Automata, Languages and Programming, Lecture Notes in Computer Science, vol. 14, Springer, Berlin, 1974, pp. 255-269.
18. A. Nijholt, Deterministic top-down and bottom-up parsing: historical notes and bibliographies, Mathematisch Centrum, Amsterdam, Netherlands, 1983.
19. F. Morawietz, A unification-based ID/LP Parsing Schema, Proc. 4th Internat. Workshop on Parsing Technologies, Prague, Czech Republic, 1995, pp. 162-173.
20. M.J. Nederhof, Linguistic pars ng and program transformations, Ph.D. Thesis, University of Nijmegen, Netherlands, 1994.
21. P. Oude Luttighuis, Parallel algorithms for parsing and attribute evaluation, Ph.D. Thesis, University of Twente, Enschede, Netherlands, 1993.
22. G. Satta, O. Stock, Head-driven bidirectional parsing: a tabular method. Proc. 1st Internat. Workshop on Parsing Technologies, Pittsburgh, PA, 1989, pp. 43-51.
23. S.M. Shieber, An introduction to unification-based approaches to grammar, CSLI Lecture Notes, vol. 4, Center for the Study of Language and Information, Stanford University, Stanford, CA, 1986.
24. S.M. Shieber, Constraint-Based Grammar Formalisms: Parsing and Type Inference for Natural and Computer Languages, The MIT Press, Cambridge, MA, 1992.
25. K. Sikkel, Parsing schemata, Ph.D. Thesis, University of Twente, Enschede, Netherlands, 1993.
26. K. Sikkel, Parsing schemata and correctness of parsing algorithms, Proc. TWLT/AMAST Workshop on Algebraic Methods in Language Processing, Enschede, Netherlands, 1995, pp. 83-97.
27. K. Sikkel, Parsing Schemata - a framework for specification and analysis of parsing algorithms, Texts in Theoretical Computer Science - An EATCS Series, Springer, Berlin, 1997.
28. K. Sikkel, R. op den Akker, Predictive head-corner chart parsing, in: H Bunt, M. Tomita (Eds.), Recent Advances in Parsing Technology, Kluwer Academic Publishers, Boston, 1996, pp. 171-184.
29. K. Sikkel, A. Nijholt, Parsing of context-free languages, in: G. Rozenberg, A. Salomaa (Eds.), Handbook of Formal Languages, vol. 2: Linear Modeling: Background and Application, Springer, Berlin, 1997, pp. 61-100.
30. M. Tomita, Efficient Parsing for Natural Language, Kluwer Academic Publishers, Boston, MA, 1985.
31. T. Winograd, Language as a Cognitive Process, vol. I: Syntax Addison-Wesley, Reading, MA, 1983.
32. 3, Inform. Control 10 (1967) 189-208.
33. G. van Noord, An efficient implementation of the Head-Corner Parser, Computational Linguistics 23 (1997) 425-456.