Natural Language Engineering

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 veriication tools in order to assure the robustness of the generated taggers. A wide variety of user deened criteria can be applied for checking the exact properties of the system.