Université Lille1 - Sciences et Technologies Réductions, transformations et classification des grammaires algébriques d'arbres 511.52 Arbres (théorie des graphes) Langages formels Grammaires de graphes Text Electronic Thesis or Dissertation fr 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 application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1980/50376-1980-188.pdf Leguy Bernard 1900-01-01 029442478 1980-01-01 Informatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui ddc:510 ASCII PDF 9999