Computer Science – Computation and Language
Scientific paper
1996-01-31
Computer Science
Computation and Language
PostScript, 29 pages
Scientific paper
In this paper we provide for parsing with respect to grammars expressed in a general TFS-based formalism, a restriction of ALE. Our motivation being the design of an abstract (WAM-like) machine for the formalism, 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 (MRSs) that naturally extend TFSs and use them to represent phrasal signs as well as grammar rules. We also employ abstractions of MRSs and give the mathematical foundations needed for manipulating them. We formally define grammars and the languages they generate, and then describe a model for computation that corresponds to bottom-up chart parsing: grammars written in the TFS-based formalism are executed by the parser. We show that the computation is correct with respect to the independent definition. Finally, we discuss the class of grammars for which computations terminate and prove that termination can be guaranteed for off-line parsable grammars.
Francez Nissim
Wintner Shuly
No associations
LandOfFree
Parsing with Typed Feature Structures does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Parsing with Typed Feature Structures, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Parsing with Typed Feature Structures will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-277194