Seminaire: LINA - Gerard Huet - 13/11/2008

[Thierry Hamon]

Date: Mon, 27 Oct 2008 10:31:07 +0100 (CET)
From: Béatrice DAILLE <Beatrice.Daille at univ-nantes.fr>
Message-ID: <1633.77.203.116.220.1225099867.squirrel at webmail.univ-nantes.fr>
X-url: http://www.lina.univ-nantes.fr/-Seminaires-.html



Le LINA accueille Gérard Huet, membre de l'Académie des sciences,
Directeur de recherche à l'INRIA Paris-Roquencourt, pour son premier
séminaire de l'année.

http://www.lina.univ-nantes.fr/-Seminaires-.html


L'exposé présentera une généralisation des machines à états finis, sa
formalisation, son implémentation et une application au traitement des
langues naturelles.
Il n'y a pas de prérequis, sauf les notions de base de théorie des
automates.  Toute personne intéressée est la bienvenue.

Rendez-vous le jeudi 13 novembre à 14h au LINA à la Faculté des
Sciences de l'Université de Nantes.


Machines d'Eilenberg, bibliothèque Zen, et applications au traitement
informatique du sanskrit.

L'exposé introduit la notion de machine d'Eilenberg, un cadre
relationnel pour le calcul. Une machine d'Eilenberg consiste en un
contrôle fini et un modèle de calcul relationnel. Le contrôle est
spécifié par un automate fini non déterministe, typiquement présenté
par une expression rationnelle. La partie données est définie par une
relation calculable sur un domaine de calcul, présentée récursivement
comme un générateur de streams. Un processus (reactive engine) fournit
un simulateur complet, sous des hypothèses idoines. Les machines
d'Eilenberg finies, dégagées des travaux de thèse de Benoît Razet, en
sont une instance importante, elles généralisent de manière homogène
les automates et les transducteurs d'état fini, mais aussi d'autres
systèmes de transition. Les machines d'Eilenberg se composent de
manière modulaire. On peut axiomatiser leur formalisation dans
l'assistant de preuves Coq, prouver leur cohérence, et extraire
mécaniquement de la preuve une implémentation efficace en Ocaml.

La bibliothèque Zen propose un cadre d'implémentation de telles
machines, approprié au traitement des couches superficielles (lexique,
phonologie, morphologie, segmentation) des langues naturelles. Une
famille de machines réactives, opérant sur des arbres lexicaux décorés
appelés aums, implémentent différents transducteurs, est utilisable
pour la recherche en lexique, les calculs morpho-phonémiques, la
segmentation, et l'analyse superficielle.. On présentera son
application pour le traitement du sanskrit.

-------------------------------------------------------------------------
Message diffuse par la liste Langage Naturel <LN at cines.fr>
Informations, abonnement : http://www.atala.org/article.php3?id_article=48
English version       : 
Archives                 : http://listserv.linguistlist.org/archives/ln.html
                                http://liste.cines.fr/info/ln

La liste LN est parrainee par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhesion  : http://www.atala.org/
-------------------------------------------------------------------------