Finite state morphology and formal verification
Manuel Vilares Ferro, Jorge Graña Gil, Pilar Alvariño Alvariño · Natural Language Engineering · 1996
The full 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.