Automate des occurrences

De AgregmathKL
Révision de 11 décembre 2011 à 01:22 par Basile (discuter | contributions) (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 == ... »)

(diff) ← Version précédente | Voir la version courante (diff) | Version suivante → (diff)
Aller à : navigation, rechercher

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

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).