• Aucun résultat trouvé

Est-ce que ces stratégies sont normalisantes ?

N/A
N/A
Protected

Academic year: 2022

Partager "Est-ce que ces stratégies sont normalisantes ?"

Copied!
9
0
0

Texte intégral

(1)

Stratégies de réduction

Stratégie

Dénition : Unestratégie de réduction(un-pas ou multi-pas) pour un système de réécriture R est une fonction

IF :T(X,Σ)7→ T(X,Σ)t.q.

1. IF(t) =t si t est enR-forme normale.

2. t→+IF(t) sinon.

Dans la suite, on s'interessera uniquement aux stratégies pour les systèmes de réécriture orthogonaux.

1

Stratégie normalisante/co-nale

Une stratégie IF estnormalisante pourR ssi pour chaque terme t faiblement normalisable il n'existe pas de séquence innie de la formet→IF(t)→IF(IF(t))→IF(IF(IF(t)))→. . .

Une stratégie IF estco-nale pourR si pour chaque termet et pour chaqueR-réductiont→R t0 il existem t.q.t0 RIFm(t).

Corollaire :Si IF est une stratégie co-nale pour R, alors elle est normalisante pourR.

Classication

Stratégies sans histoire Innermost

Leftmost-innermost Parallel-innermost

Leftmost-outermost (standard) Parallel-outermost

Complète

Stratégies avec histoire Développement complet Standard

(2)

Stratégies sans histoire

Stratégie(s) innermost

La stratégie innermostréécrit UN radical de l'ensemble de tous les radicaux les plus internes.

Exemple : R



f(a, x) x f(b, x) b

g(a, x) a g(b, x) x

f(f(a, f(a, b)), g(f(a, b), g(b, a)))

f(f(a, f(a, b)), g(f(a, b),g(b, a))) f(f(a,f(a, b)), g(f(a, b), g(b, a)))

4

Stratégie leftmost-innermost

La stratégieleftmost-innermostréécrit le radical le plus à gauche de l'ensemble de tous les radicaux les plus internes.

Exemple :

R













f(a, x) x f(b, x) b g(a, x) a g(b, x) x

Stratégie parallel-innermost

La stratégie parallel-innermostréécrit simultanément tous les radicaux les plus internes.

f(f(a,f(a, b)), g(f(a, b),g(b, a)))

(3)

Remarque : Il y a une seule stratégie "leftmost-innermost" ou

"parallel-innermost" mais plusieures stratégies "innermost".

7

Mais...

Théorème : Soit R un système orthogonal. Alors la stratégie innermost est normalisante pour R ssi R est fortement

normalisable.

8

Stratégie leftmost-outermost

La stratégieleftmost-outermost réécrit le radical le plus à gauche de l'ensemble de tous les radicaux les plus externes.

f(f(a, f(a, b)), g(f(a, b), g(b, a)))

Stratégie complète

La stratégie complèteréécrit simultanément tous les radicaux.

f(f(a, f(a, b)), g(f(a, b), g(b, a)))

(4)

Est-ce que ces stratégies sont normalisantes ?

11

La stratégie leftmost-innermostn'est pas normalisante.

Exemple : SoitR le système suivant :

R









f(x, b) d

a b

c c

f(c, a)→f(c, a)→. . .

12

La stratégieparallel-innermost n'est pas normalisante.

Exemple :Soit R le système suivant :

R









f(x, b) d

a b

c c

f(c, a)→f(c, b)→. . .

La stratégie leftmost-outermost n'est pas normalisante pour tous les systèmes orthogonaux.

Exemple :

R









f(x, b) d

a b

c c

f(c, a)→f(c, a)→. . .

(5)

La stratégieleftmost-outermost est normalisante pour tous les systèmes orthogonaux et normaux à gauche.

Dénition :Un terme est normal à gauchessi tous les symboles de fonction précèdent les variables. Un systemeR est normal à gauchessi pour chaque règle l→r∈ R le termel est normal à gauche.

Exemple :Le terme f(x, b)n'est pas normal à gauche, le terme f(b, x)est normal à gauche.

15

La stratégie complèteest normalisante pour les systèmes orthogonaux.

16

Stratégies avec histoire

Les descendants



f(x) h(x, x) g(a)→ a

f(g(a)) h(g(a), g(a))

h(a, g(a))

f(a) h(a, a)

(6)

Les accidents

R:I(x)→x

I(I(x))→I(x)

R :a→a

f(a, a)→f(a, a)

18

L'étiquetage de termes

Il nous faut : la règle utilisée et la position à laquelle on eectue la réduction. On écrira :

f(g(a))f(g(a)) f(a)

f(g(a))f(g(a))h(g(a), g(a))→h(g(a),g(a))h(a, g(a))

I(I(x))I(I(x)) I(x) I(I(x))I(I(x)) I(x)

f(a, a)f(a,a) f(a, a) f(a, a)f(a,a) f(a, a)

19

À la recherche de la trace d'un radical

Soient sets0 deux radicaux dans ut.q. u≡t[s]→v[s0]t0. Qu'est-ce qui s'est passé avec sdans t0 après réduction des0? Si sets0 sont disjoints : on retrouve sdans t0.

Si sets0 sont les mêmes : le radical s est eacé.

Si s0 est un sous-terme strict des : comme s0est un argument de s, on retrouve s mais avec un argument diérent.

Si sest un sous-terme strict de s0 : le radical sapparait n≥0

Exemple

R



















a 1 b

b 2 c

c 3 d

f(x, y) 4 g(y, y) g(x, h(y)) 5 h(y)

t:g(f( c , h( a )), h( b )) g(g(h( a ), h( a )), h( b )):t0

(7)

Exemple (suite)

Le radical adans test multiplié deux fois dans t0. Le radical b danst apparaît une fois danst0. Le radical c danst est eacé danst0.

Le radical f(c, h(a))dans t n'a pas de descendant danst0. Le radical g(f(c, h(a)), h(b)) dans tpossède un descendant

g(g(h(a), h(a)), h(b))dans t0.

Le radical g(h(a), h(a)) danst0 est créé.

22

Descendants et résidus

Remarque : SoitR un système orthogonal. Les descendants d'un radical sont toujours des radicaux.

Dénition : Un radical qui est descendant d'un radical est un résidu, sinon il est un radical créé.

23

Résidu d'un radical par une réduction

Dénition :Soit ρ:t→s0 t0 et soit s un radical quelconque det. L'ensemble de résidus de spar rapport à la réduction ρ:t→s0 t0, notéRes(s

la position du radical s (abus de notation) , ρ) est donné par :

Si sets0 sont disjoints, alors Res(s, ρ) ={s}

Si sets0 sont les mêmes, alors Res(s, ρ) =.

Si sest contenu dans s0, alorsRes(s, ρ)contient n fois (n≥0)s.

Si scontient strictements0, alorsRes(s, ρ)contient soù chaque occurrence des0 a été remplacée par son réduit.

Résidu d'un ensemble de radicaux par une réduction Soitρ:t→s0 t0 et soitS un ensemble de radicaux det. L'ensemble de résidus deS par rapport à la réductionρ:t→s0 t0est donné par

Res(S, ρ)= [

s∈S

Res(s, ρ)

(8)

Résidu par une séquence de réductions

Dénition :Soit ρ:t→t0 et soit sun radical quelconque det. L'ensemble de résidus de spar rapport à la séquence de réduction ρ:t→t0, noté Res(s, ρ)est donné par :

Res(s, ²) = {s}

Res(s, ρ) = Res(s, ρ), si |ρ|= 1 Res(s, ρδ) = Res(Res(s, ρ), δ)

Res(S, ρ)est donné par :

Res(S, ρ)= [

s∈S

Res(s, ρ)

26

Développement

Un développement à partir d'un terme test une séquence de réductions où aucun radical créé ne peut être contracté, c'est à dire, où l'on réduit uniquement les résidus de l'ensemble de radicaux de t. Formellement,

Dénition : SoitS l'ensemble de tous les radicaux de t. Un développement à partir d'un termet est une séquence de réductions :

ρ:t→s0 t0s1 t1s2 t2. . .

tel que pour tout si on a si ∈Res(S, s0. . . si−1).

27

Développements complets

Dénition :Soit S l'ensemble de tous les radicaux det. Un développementρ:t→t0 est completssiRes(S, ρ) =∅.

Théorème : La stratégiedéveloppement complet est normalisante.

Réduction souslignée

On se donne une nouvelle signature

Σ= Σ∪ {f |f Σ}

On constuit un noveau système de réécriture

R={f(l1, . . . , ln)→r|f(l1, . . . , ln)→r∈ R}

(9)

Propriétés de la réduction souslignée

30

Propriétés de la réduction souslignée

1. Si R est orthogonal,R est aussi orthogonal (et donc conuent).

2. R est fortement normalisable.

3. Tout développementρ:t→t0 se projete sur une séquence de R-réductions de la même longuer.

Corollaire : La stratégiedéveloppements completsest normalisante.

31

Références

Documents relatifs

L’écologie f ut avant t out une discipline scient if ique, cert es peu ort hodoxe, mais aujourd’hui reconnue. Beaucoup d’é- cologist es, de f ormat ion supérieure, ou

Le niveau général des richesses va s'élever, mais l'augmentation du nombre de pauvres (estimé à 1,300 milliard en 1995) et le fossé s'élargissant entre riches et pauvres, au

• les communications et le plaidoyer en faveur de la santé pour tous. En 1995,les questions suivantes ont été passées en revue : a) les technologies sanitaires du XXI e siècle

Le Conseil exécutif a également adopté la résolution EB99.R15 dans laquelle la Cinquantième Assemblée mondiale de la Santé est invitée à adopter une résolution priant entre

"leadership" africain en matière de réforme sanitaire, au niveau régional par l'intermédiaire de l'OMS et du tableau d'experts pour une meilleure santé en Afrique, au

Il s’agit de visualiser, à l’aide d’un fichier GeoGebra, la valeur de la limite à droite ou à gauche d’une fonction en un point.. Le point M, d’abscisse x, se déplace sur

Cette situation conduit à une sorte d’impasse et il n’existe pas de solutions immédiatement applicables : revenir en arrière plongerait l’Europe dans le chaos au détriment des

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des