Suspension de processus (cont. 2)
{"Image DocumentName": "Suspension de processus (cont. 2)", "Image ImageDescription": "Une d\u00e9monstration de m\u00eame_mot_feuilles(A1, A2) o\u00f9 A1 et A2 sont connus proc\u00e8de par production et v\u00e9rification (\u00ab generate and test \u00bb) de M. Elle peut \u00eatre tr\u00e8s co\u00fbteuse si par exemple, M est tr\u00e8s grand et si les deux arbres diff\u00e8rent d\u00e8s la premi\u00e8re feuille. Exemple: m\u00eame_mot_feuilles(f(a, f(b, c)), f(f(b, b), c)) La d\u00e9monstration \u00e9choue seulement apr\u00e8s que le mot des feuilles de f(a, f(b, c)) (soit [a, b, c]) ait \u00e9t\u00e9 totalement produit alors que celui-ci diff\u00e8re du mot des feuilles du second arbre (soit [b, b, c]) par son premier \u00e9l\u00e9ment. Il serait plus efficace de consid\u00e9rer ces deux mots de feuilles de fa\u00e7on sym\u00e9trique en comparant leurs deux premiers \u00e9l\u00e9ments, puis les deux suivants\u2026etc, c\u2019est-\u00e0-dire en caden\u00e7ant les d\u00e9monstrations des formules mot_feuilles(f(a, f(b, c)), ) et mot_feuilles(f(f(b, b), c))).", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}