Finite-State Morphology and Formal Verification

M. Vilares Ferro
J. Graña Gil
P. Alvariño Alvariño


This paper describes an environment for the generation of non-deterministic taggers, currently used for the development of a Spanish lexicon. In relation to previous approaches, our system includes the use of verification tools in order to assure the robustness of the generated taggers. A wide variety of user defined criteria can be applied for checking the exact properties of the system.
This work was partially supported by the Autonomous Government of Galicia under projects XUGA20403B95 and XUGA10505B96.
Jorge Graña Gil /