Search

Bibliografia p. 217-222. Índex L'objecte d'aquest llibre és servir de suport a un curs d'introducció a la informàtica teòrica, adreçat a estudiants de primer curs d'enginyeria. Cobreix els temes de llenguatges regulars i incontextuals. N'exposa els generadors (gramàtiques i expressions regulars) i els reconeixedors (autòmats finits i autòmats amb pila). Dóna les eines necessàries per classificar els problemes de càlcul en aquestes categories bàsiques.

The present report describes a rewrite system, based on the one proposed by Patrick Saint-Dizier in 1985, whose main goal is to reorder the range of quantifiers introduced by determiners in natural language sentences, in order to generate all valid semantic interpretations. The paper starts by describing Patrick Saint-Dizier's method and analyzing, on the one hand, in which situations it works properly and, on the other hand, the problems it presents. Solutions to these problems are presented later and a whole rewrite system for the Catalan language is proposed. Finally, several realistic examples are presented and an appraisal of our method is done, pointing out its advantages, its limitations, and some open questions that can be considered in future works. El present treball descriu un sistema de reescriptura, basat en el proposat per Patrick Saint-Dizier l'any 1985, que permet reordenar el rang dels quantificadors introduïts pels determinants que apareixen en frases de llenguatge natural, amb l'objectiu de generar totes les interpretacions semàntiques vàlides. Es comença fent una descripció del mètode de Patrick Saint-Dizier, analitzant les situacions que resol satisfactòriament i també els problemes que presenta. A continuació es proposen solucions a aquests problemes i es descriu un nou sistema de reescriptura adaptat per la llengua catalana. Finalment es presenten alguns exemples de mida realista i es fa una valoració del comportament del mètode presentat, així com diversos apunts sobre possibles línees de treball en el futur.