Abstract Machine for Typed Feature Structures

Details Abstract Machine for Typed Feature Structures Abstract Machine for Typed Feature Structures

1994-07-17

arxiv.org/abs/cmp-lg/9407014v1

Computer Science

Computation and Language

38 pages, uuencoded compressed postscript

Scientific paper

This paper describes a first step towards the definition of an abstract machine for linguistic formalisms that are based on typed feature structures, such as HPSG. The core design of the abstract machine is given in detail, including the compilation process from a high-level specification language to the abstract machine language and the implementation of the abstract instructions. We thus apply methods that were proved useful in computer science to the study of natural languages: a grammar specified using the formalism is endowed with an operational semantics. Currently, our machine supports the unification of simple feature structures, unification of sequences of such structures, cyclic structures and disjunction.

Affiliated with

Also associated with

No associations

Rating

Abstract Machine for 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 Abstract Machine for Typed Feature Structures, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Abstract Machine for Typed Feature Structures will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-511892