The constraint language:

In this section I define as the underlying constraint language of (). The definition is based on [84] and [89]. This constraint language is used to describe structured objects called `feature structures'. Its semantics will be defined with respect to sets of `feature graphs', which are directed, connected, labelled graphs.

1998-09-30