{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,2]],"date-time":"2024-01-02T15:22:32Z","timestamp":1704208952613},"reference-count":0,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[1996,12,1]],"date-time":"1996-12-01T00:00:00Z","timestamp":849398400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Nat. Lang. Eng."],"published-print":{"date-parts":[[1996,12]]},"abstract":"<jats:p>The full paper describes an environment for the generation of \nnon-deterministic \ntaggers, currently used for the development of a Spanish lexicon. In relation\n to \nprevious approaches, our system includes the use of verification tools\n in order to \nassure the robustness of the generated taggers. A wide variety \nof user defined criteria \ncan be applied for checking the exact properties of the system.<\/jats:p>","DOI":"10.1017\/s1351324997001551","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T09:30:22Z","timestamp":1027762222000},"page":"303-304","source":"Crossref","is-referenced-by-count":1,"title":["Finite state morphology and formal verification"],"prefix":"10.1017","volume":"2","author":[{"given":"MANUEL VILARES","family":"FERRO","sequence":"first","affiliation":[]},{"given":"JORGE GRA\u00d1A","family":"GIL","sequence":"additional","affiliation":[]},{"given":"PILAR ALVARI\u00d1O","family":"ALVARI\u00d1O","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[1996,12,1]]},"container-title":["Natural Language Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1351324997001551","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T15:47:41Z","timestamp":1557676061000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1351324997001551\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,12]]},"references-count":0,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1996,12]]}},"alternative-id":["S1351324997001551"],"URL":"https:\/\/doi.org\/10.1017\/s1351324997001551","relation":{},"ISSN":["1351-3249","1469-8110"],"issn-type":[{"value":"1351-3249","type":"print"},{"value":"1469-8110","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,12]]}}}