ملخص: 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

طبعة: Lile: Université Lille 1
لغة: فرنسية
الوصف المادي: 194 p. ill. ;30 cm.
الشهادة: Docteur de 3eme cycle
مؤسسة مناقشة الرسالة: Université Lille 1

ملاحظة: Bibliogr p.(187-190); Index