Hostname: page-component-74656f9884-c52kr Total loading time: 0 Render date: 2026-11-08T14:47:00.363Z Has data issue: false hasContentIssue false
  • English
  • Français

Finite state morphology and formal verification

Published online by Cambridge University Press:  01 December 1996

MANUEL VILARES FERRO ,
JORGE GRAÑA GIL  and
PILAR ALVARIÑO ALVARIÑO
MANUEL VILARES FERRO
Affiliation:
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
JORGE GRAÑA GIL
Affiliation:
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
PILAR ALVARIÑO ALVARIÑO
Affiliation:
Spanish Philology Department, University of Santiago de Compostela, Burgo de las Naciones s/n, 15705 Santiago de Compostela, Spain. e-mail: fepili@usc.es
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

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.

Information

Type
Research Article
Information
Natural Language Engineering , Volume 2 , Issue 4 , December 1996 , pp. 303 - 304
Copyright
1997 Cambridge University Press