Abstract FR:

Sont consideres les arbres representant des termes ecrits avec des symboles de fonction d'arite variable ou infinie. Les haies, representant des fermes ou les symboles de fonction prennent une liste d'arguments, sont etudiees. Leurs proprietes de base sont demontrees et la classe des haies regulieres est caracterisee a l'aide d'automates et d'expressions rationnelles. Sont ensuite etudiees les fonctions prenant systematiquement une infinite d'arguments. Enfin, l'etude des grammaires etendues permet de representer de facon plus condensee la syntaxe d'un langage algebrique