International Conference on Computer Aided Systems Theory

EUROCAST 2007: Computer Aided Systems Theory – EUROCAST 2007 pp 257-264

Generation of Indexes for Compiling Efficient Parsers from Formal Specifications

  • Carlos Gómez-Rodríguez
  • Miguel A. Alonso
  • Manuel Vilares
Conference paper

DOI: 10.1007/978-3-540-75867-9_33

Volume 4739 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Gómez-Rodríguez C., Alonso M.A., Vilares M. (2007) Generation of Indexes for Compiling Efficient Parsers from Formal Specifications. In: Moreno Díaz R., Pichler F., Quesada Arencibia A. (eds) Computer Aided Systems Theory – EUROCAST 2007. EUROCAST 2007. Lecture Notes in Computer Science, vol 4739. Springer, Berlin, Heidelberg

Abstract

Parsing schemata provide a formal, simple and uniform way to describe, analyze and compare different parsing algorithms. The notion of a parsing schema comes from considering parsing as a deduction process which generates intermediate results called items. An initial set of items is directly obtained from the input sentence, and the parsing process consists of the application of inference rules (called deductive steps) which produce new items from existing ones. Each item contains a piece of information about the sentence’s structure, and a successful parsing process will produce at least one final item containing a full parse tree for the sentence or guaranteeing its existence. Their abstraction of low-level details makes parsing schemata useful to define parsers in a simple and straightforward way. Comparing parsers, or considering aspects such as their correction and completeness or their computational complexity, also becomes easier if we think in terms of schemata. However, when we want to actually use a parser by running it on a computer, we need to implement it in a programming language, so we have to abandon the high level of abstraction and worry about implementation details that were irrelevant at the schema level. In particular, we study in this article how the source parsing schema should be analysed to decide what kind of indexes need to be generated in order to obtain an efficient parser.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Carlos Gómez-Rodríguez
    • 1
  • Miguel A. Alonso
    • 1
  • Manuel Vilares
    • 2
  1. 1.Departamento de Computación, Universidade da Coruña, Facultad de Informática, Campus de Elviña 5, 15071 La CoruñaSpain
  2. 2.Departamento de Informática, Universidade de Vigo, E.T.S. de Ingeniería Informática, Campus As Lagoas, 32004 OrenseSpain