---

Next: Illustration Up: Overview of the Previous: Morphology

---

Implementation

The unification grammars defined by the user in a PATR like style are compiled into Prolog (an extension to the compilation described in [18]), to enable an efficient implementation of parsing, generation and transfer. The parser is a `left-corner' parser augmented with a well formed substring table and a reachability table [28][30]. Both techniques are optimized by using a set of `restricted' features [39]. The generator of Mimo2 is a member of the generation family described in [44][50][43][49]. Transfer is implemented as a top-down backtrack search procedure.

---

Gertjan van Noord
Thu Nov 24 19:09:23 MET 1994