イブ・ニコラ
単一化に基づく形式化の実用的な拡張
Abstract:A type system for feature structure has been developed in terms of initial
algebra theory of abstract data types. In this system, there are essentially two
kinds of feature structure types: atomic and complex types. Usual simple types
such as boolean, numbers or strings are used as atomic types. Complex types are
defined recursively by means of the set of feature/value pairs. Operations defined
on atomic types enable us to avoid unification when it is unnecessary and hence to
reduce computational cost. As an application of this type system to grammatical
formalisms, an Earley-like parser using this system has been developed and
integrated inside a small environment including trace and step functions.