Shuly Wintner, Nissim Francez

Research output: Contribution to conferencePaperpeer-review


In this paper we provide for parsing with respect to grammars expressed in a general TFS-based formalism, a restriction of ALE ( [2] ) . Our motivation being the design of an abstract (WAM-like) machine for the formalism ( [14) ) , we consider parsing as a computational process and use it as an operational semantics to guide the design of the control structures for the abstract machine. We emphasize the notion of abstract typed feature structures (AFSs} that encode the essential information of TFSs and define unification over AFSs rather than over TFSs. We then introduce an explicit construct of multi-rooted feature structures ( M RSs) that naturally extend TFSs and use them to represent phrasal signs as well as grammar rules. We also employ abstractions of M RSs and give the mathematical foundations needed for manipulating them. We then present a simple bottom-up chart parser as a model for computation: grammars written in the TFS-based formalism are executed by the parser. Finally, we show that the parser is correct.

Original languageEnglish
Number of pages15
StatePublished - 1995
Externally publishedYes
Event4th International Workshop on Parsing Technologies, IWPT 1995 - Prague and Karlovy Vary, Czech Republic
Duration: 20 Sep 199524 Sep 1995


Conference4th International Workshop on Parsing Technologies, IWPT 1995
Country/TerritoryCzech Republic
CityPrague and Karlovy Vary

Bibliographical note

Publisher Copyright:
© IWPT 1995 - 4th International Workshop on Parsing Technologies, Proceedings. All rights reserved.

ASJC Scopus subject areas

  • Artificial Intelligence
  • Human-Computer Interaction
  • Linguistics and Language


Dive into the research topics of 'PARSING WITH TYPED FEATURE STRUCTURES'. Together they form a unique fingerprint.

Cite this