Algorithmique parallèle et séquentielle des automates

par Djelloul Ziadi

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Marc Champarnaud.

Soutenue en 1996

à Rouen .

mots clés

• Informatique théorique
• Arbre binaire
• Modèle PRAM
• Algorithme séquentiel
• Computer theory
• Automata theory
• Algorithmics
• Parallelization
• Parallel algorithm
• Binary tree
• Algorithm complexity
• Automates mathématiques, Théorie des
• Algorithmes
• Complexité de calcul (informatique)
• Algorithmes parallèles
• Expressions rationnelles

Résumé

Cette thèse constitue un point de départ pour une programmation parallèle des automates. Elle combine une approche séquentielle et une approche parallèle (sur le modèle PRAM) de l'analyse de ces algorithmes. On y trouve un nouvel algorithme séquentiel optimal de conversion d'une expression rationnelle en un automate ainsi que sa parallélisation (également optimale) un test d'appartenance d'un mot à un langage rationnel est développé, fournissant un algorithme parallèle efficace. Un algorithme séquentiel optimal, original de minimisation d'automate déterministe est décrit. De nouvelles techniques algorithmiques sont introduites tout au long de cette étude qui met en évidence l'apport réciproque des deux algorithmiques, séquentielle et parallèle.

Titre traduit

Parallel and sequential algorithms for automata

Pas de résumé disponible.