Automate des occurrences : Différence entre versions
De AgregmathKL
(Page créée avec « Ce développement présente une implémentation de l'algorithme de Morris-Pratt par un automate fini : L'automate des occurrences. == Remarques == == Le développement == ... ») |
(Aucune différence)
|
Version du 11 décembre 2011 à 00:22
Ce développement présente une implémentation de l'algorithme de Morris-Pratt par un automate fini : L'automate des occurrences.
Remarques
Le développement
Recasements
- 907 -- Algorithmique du texte : exemples et applications.
- 908 -- Automates Finis, exemples et applications
Références
- Beauquier p.350 à 354
(Il est à noter que la preuve donnée du théorème (Proposition 1.9) est incomplète).
