Théorie des automates et applicationsPresses universitaires de Rouen et du Havre - 160 pages Cet 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...). |
Table des matières
Sommaire 33 | 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
alpha alphabet automate C C A+ C-décompositions C-factorisation caractères du texte cf BP code à délai code circulaire Comput décalage effectué deci+1 define définie définition délai borné délai de déchiffrage délai de synchronisation denote deterministic équivalentes etat final exists fact facteur factorization factorizing family fenêtre finite maximal code following fonction graph acceptors groupe résoluble implies inclus dans A+ l'algorithme de Boyer-Moore L'algorithme Turbo l'ensemble l'occurrence shift langage rationnel lemme lettre à lettre linéaire logic longueur m-identité matrice stochastique minimal monadic second-order monoid morphism mots bi-infinis mots infinis n-codes nilpotent PERRIN précirculaire Proof properties Proposition propriétés rational w-languages recognizes resp Reverse Factor right congruence semigroup sous-groupe normal state stochastique subset suffixes synchronisation borné syntactic théorème Théorie des codes theory transducteurs transduction transition table automaton type aut ultimement périodique Université de Lille Université de Mons-Hainaut Université de Rouen Université Paris 7 vérifiant w-code Z-mot