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

Résumé en langue originale

On étudie les grammaires algébriques d'arbres, c'est-à-dire les schémas de programmes non déterministes, leurs transformations et leurs réductions. On montre qu'il est en général impossible de réduire la non-strictitude et la non-complétude dans les grammaires algébriques oi d'arbres et on en déduit une hiérarchie dans les forets algébriques oi. Par contre, on donne des constructions permettant de réduire la strictitude et la non-complétude dans les grammaires non algébriques io. On étudie aussi quelques autres réductions ou transformations de grammaires d'arbres et la non-fermeture par homomorphisme linéaire inverse de la classe des forets algébriques oi