Article contents
Finite state morphology and formal verification
Published online by Cambridge University Press: 01 December 1996
Abstract
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.
- Type
- Research Article
- Information
- Copyright
- 1997 Cambridge University Press
- 1
- Cited by