Vous pouvez vous abonner à nos annonces de séminaires:
                     http://cambium.inria.fr/seminar.html

             Nos séminaires sont accessibles en ligne en direct:
                  https://webconf.math.cnrs.fr/b/fra-ryy-fjn

			     S É M I N A I R E

                   ______                __    _
                  / ____/___ _____ ___  / /_  (_)_  ______ ___
                 / /   / __ `/ __ `__ \/ __ \/ / / / / __ `__ \
                / /___/ /_/ / / / / / / /_/ / / /_/ / / / / / /
                \____/\__,_/_/ /_/ /_/_.___/_/\__,_/_/ /_/ /_/

			     I N R I A - Paris
                 2 rue Simone Iff (ou: 41 rue du Charolais)
                          Salle Lions 1, bâtiment C

                           Lundi 13 décembre, 10h30

                                -------------
                                Frédéric Bour
                                -------------

                            Inria Paris & Tarides

         ===========================================================
         Une analyse d'accessibilité rapide pour les automates LR(1)
         ===========================================================

Nous présentons un nouvel algorithme d'accessibilité dans un automate
LR(1). Le problème est de déterminer pour chaque transition s'il
existe une entrée qui permette de l'emprunter. Notre algorithme est
significativement plus rapide que l'algorithme de Pottier (2016),
jusqu'à trois ordres de grandeur plus rapide sur des grammaires
réalistes. Entre autres applications, cela rend plus abordable la
technique de rapport d'erreurs de Jeffery (2003), dans laquelle on
établit une association entre états d'erreur (accessibles) et messages
d'erreur.