Monoïdes d'arbres et automates d'arbres

par Andreas Podelski

Thèse de doctorat en Mathématiques. Mention : informatique

Sous la direction de Maurice Nivat.

Soutenue en 1989

à Paris 7 .

mots clés

• Monoïdes
• Automates mathématiques, Théorie des
• Arbres (théorie des graphes) -- Informatique

Résumé

Cette these regarde les monoides d'arbres comme nouvelle structure algebrique sur laquelle la theorie des automates d'arbres peut etre posee. Ceci amene a des techniques nouvelles et des resultats comme: la caracterisation de la regularite d'un langage d'arbres via la reconnaissabilite par les monoides finis (dont les varietes correspondent aux proprietes structurelles); un bon algorithme d'equivalence, la caracterisation de l'aperiodicite d'un langage d'arbres; une version non-restrictive de determinisme permettant l'extension des resultats classiques de determination et minimisation aux automates d'arbres descendants (racine-frontiere)

Titre traduit

Tree monoids and tree automata

Pas de résumé disponible.