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 Access content directly
Reports (Research Report) Year : 1994

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

Abstract

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 and versions

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

Identifiers

  • HAL Id : inria-00074468 , version 1

Cite

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 View
34 Download

Share

Gmail Facebook Twitter LinkedIn More