Systèmes de réécritures orthogonaux non effacants et linéaires droite : application au problème de Zantema - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1994

Systèmes de réécritures orthogonaux non effacants et linéaires droite : application au problème de Zantema

Résumé

Nous étudions les systèmes de réécriture orthogonaux, non effaçants et linéaires droite. On montre que si un terme clos est normalisable alors il est fortement normalisable et que toutes ses normalisations ont le même longueur. On définit ensuite la linéarité pour des redex internes et la sortie d'un redex interne, on montre que si telles sorties ont une taille bornée alors la linéarité pour des redex internes est équivalente à la linéarité. Ces résultats permettent de donner une preuve inductive et élémentaire la linéarité du système de Zantema. On montre, ensuite, par une technique de dichotomie par marquage en avant, la conjecture de Zantema à savoir que le système de Zantema a un facteur de linéarité 2.
Fichier principal
Vignette du fichier
RR-2202.pdf (774.42 Ko) Télécharger le fichier

Dates et versions

inria-00074468 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00074468 , version 1

Citer

Elias Tahhan Bittar. Systèmes de réécritures orthogonaux non effacants et linéaires droite : application au problème de Zantema. [Rapport de recherche] RR-2202, INRIA. 1994. ⟨inria-00074468⟩
86 Consultations
39 Téléchargements

Partager

Gmail Facebook X LinkedIn More