Finite state morphology and formal verification

Authors:
Manuel Vilares Ferro;Jorge Graña Gil;Pilar Alvariño Alvariño
Affiliations:
Computer Science Department, University of Corunna, Campus de Elviña s/n, 15071 La Coruña, Spain. e-mail: vilares@dc.fi.udc.es, grana@dc.fi.udc.es;Computer Science Department, University of Corunna, Campus de Elviña s/n, 15071 La Coruña, Spain. e-mail: vilares@dc.fi.udc.es, grana@dc.fi.udc.es;Spanish Philology Department, University of Santiago de Compostela, Burgo de las Naciones s/n, 15705 Santiago de Compostela, Spain. e-mail: fepili@usc.es
Venue:
Natural Language Engineering
Year:
1996

Citing 1
Cited 2

AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks

FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols

Current research issues and trends in non-English Web searching

Information Retrieval
COLE experiments at QA@CLEF 2004 spanish monolingual track

CLEF'04 Proceedings of the 5th conference on Cross-Language Evaluation Forum: multilingual Information Access for Text, Speech and Images

Quantified Score

Hi-index	0.00

Visualization

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.