Finite-State Morphology and Formal Verification
M. Vilares Ferro
J. Graña Gil
P. Alvariño Alvariño
Abstract
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
/
grana@dc.fi.udc.es