DEA 01/02        

DEA  30/10/01

Résumé: cours du 30/10/01

cours précédent ........ cours suivant..........tous les cours    
Contenu du cours: Preuve de la normalisation forte. Standardisation. Equivalence par permutation. Résidus d'une réduction. Caractérisation de l'équivalence par permutation.
Exercices.
  • Montrer que tout terme normal normalise des termes arbitrairement grands.
  • Est-ce que tout terme normal normalise des termes arbitrairement grands typables?
  • Montrer que pour tout terme $T$, il existe un terme clos $T'$ qui est faiblement/fortement normalisable ssi $T$ l'est.
  • Est-ce que tout terme partageant un réduit avec un terme typable est faiblement/fortement normalisable?
  • Est-ce que tout terme qui se réduit en un terme typable est faiblement/fortement normalisable?
  • Est-ce que tout terme qui se réduit en un terme typable est typable?
  • Donner un terme fn et non-typable.
  • Pour un radical $r$ de $M$ on définit l'hyper-développement de $r$, $HD(r)$, qui consiste à réduire $r$ puis à développer tous les radicaux créés tant qu'il y en a. On dit que $r$ est fn si $HD(r)$ termine. Montrer un radical non fn. Montrer que si $M$ est typable, tous ses radicaux sont fn. Est-ce que si $M$ a tous ses radicaux fn alors $f$ est typable? fn?

    cours précédent ........ cours suivant..........tous les cours    
       
    Andre.HIRSCHOWITZ
    Last modified:  Oct 17