Verification of Morphological Analyzers
M. Vilares Ferro
J. Graña Gil
F. Cacheda Seijo
Abstract
This paper is a reflection on the use of verification tools in
morphological analyzers. The growing complexity of taggers poses
serious problems for the software engineer in order to verify the
correctness of the tagging procedure. In this context, our goal is to
integrate this kind of facility to check for the exact properties of
the system.
Key words: Morphological Analysis, Verification Tools, Safety.
This work was partially supported by the
Autonomous Government of Galicia under project XUGA20403B95.
Jorge Graña Gil
/
grana@dc.fi.udc.es