Hostname: page-component-cd9895bd7-gbm5v Total loading time: 0 Render date: 2024-12-24T04:01:14.798Z 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: [email protected], [email protected]
JORGE GRAÑA GIL
Affiliation:
Computer Science Department, University of Corunna, Campus de Elviña s/n, 15071 La Coruña, Spain. e-mail: [email protected], [email protected]
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: [email protected]
Get access Rights & Permissions [Opens in a new window]

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
Natural Language Engineering , Volume 2 , Issue 4 , December 1996 , pp. 303 - 304
Copyright
1997 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)