Théorie des automates et applicationsCet ouvrage contient les actes des deuxièmes journées franco-belges qui se sont déroulées à l'université de Rouen en septembre 1991.On y trouvera à la fois des articles de synthèse et des articles plus spécialisés sur de nombreux thèmes d'informatique théorique (codes, logique, automates, langages rationnels...). |
Avis des internautes - Rédiger un commentaire
Aucun commentaire n'a été trouvé aux emplacements habituels.
Table des matières
Sommaire | 5 |
Véronique BRUYERE | 23 |
Maxime CROCHEMORE Artur CZUMAJ Lezek GASIENIEC | 45 |
Clelia DE FELICE | 65 |
Gérard DUCHAMP | 91 |
Une analyse en moyenne de lalgorithme de Morris et Pratt et de | 99 |
Phan Trung HUY Igor LITOWSKY Do Long | 123 |
Wolfgang THOMAS | 147 |
Expressions et termes fréquents
algorithme alphabet appelé automate automaton base bi-infinis C-factorisation Calcul caractère caractérisation chemin class code code à délai comparaisons complets Comput conditions conjecture considère Début décalage définie définition délai déterministe différence donne effectué égale équivalentes états exemple exists expression fact facteur Factor factorization family fenêtre Figure fini finite following fonction forme gauche graphs groupe inclus initial l'algorithme l'automate l'ensemble l'état langage langage rationnel lemme lettre long longueur minimal monoid montre mots infinis nilpotent nombre noté notion particulier périodique permet phase position possible précédente préfixe première Preuve problème Proposition propriétés qu'un rational rationnel recherche recognizes relation resp right congruence Rouen section sera seulement shift state stochastique subset suffixes suite suivante syntactic table tentative texte théorème theory transducteurs transition Turbo type ultimement périodique unique Université utilisant valeur variable vérifiant w-language words Z-mot