A Formal Definition of Bottom-Up Embedded Push-Down Automata and Their Tabulation Technique

  • Authors:
  • Miguel A. Alonso;Eric Villemonte de la Clergerie;Manuel Vilares Ferro

  • Affiliations:
  • -;-;-

  • Venue:
  • LACL '01 Proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

The task of designing parsing algorithms for tree adjoining grammars could be simplified by providing a separation between the description of the parsing strategy and the execution of the parser. This can be accomplished through the use of Bottom-up Embedded Push-Down Automata. Towards this aim, we provide a formal and consistent definition of this class of automata and, by removing the finite-state control, we obtain an alternative definition which is adequate to define a tabulation framework for this model of automata and to show the equivalence with respect to other kinds of automata accepting tree adjoining languages.