• Langue : Français
• Discipline : Informatique
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1984

Résumé en langue originale

L'opération de feuillage d'arbres est définie par des spécifications pour les arbres infinis. Le feuillage initial est obtenu par des constructions standards ; les mots infinis ainsi construits sont plus généraux que les mots infinis usuels et que les mots bi-infinis. En résolvant les systèmes d'équations algébriques de mots, on en déduit la décidabilité de l'égalité des feuillages d'arbres réguliers.