Skript (Fassung vom 4.4.2011) - Lehr- und Forschungsgebiet ...
Skript (Fassung vom 4.4.2011) - Lehr- und Forschungsgebiet ...
Skript (Fassung vom 4.4.2011) - Lehr- und Forschungsgebiet ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
neuen Regeln so vereinfachen lassen, dass die linke <strong>und</strong> die rechte Seite zum gleichen Term<br />
reduziert werden können, so ist diese frühere Regel nicht mehr notwendig <strong>und</strong> man kann<br />
sie löschen.<br />
Beispiel 6.2.1 Als Beispiel betrachten wir wieder unser Gruppen-TES. Als Reduktionsordnung<br />
bei der Vervollständigung verwenden wir wieder die RPOS, wobei das Funktionssymbol<br />
f den Status 〈2,1〉 hat. Unser Ausgangs-TES R 0 bestand aus den folgenden<br />
Regeln.<br />
f(x,f(y,z)) → f(f(x,y),z) (G1)<br />
f(x,e) → x (G2)<br />
f(x,i(x)) → e (G3)<br />
Aus (G1) <strong>und</strong> (G3) entstand das kritische Paar 〈f(f(x,y),i(y)),f(x,e)〉, das zu folgender<br />
neuen Regel führte:<br />
f(f(x,y),i(y)) → x (G4)<br />
Nun muss man die neuen kritischen Paare betrachten, die sich aufgr<strong>und</strong> der Regel (G4)<br />
ergeben. Aus (G4) <strong>und</strong> (G2) entsteht z.B. das kritische Paar 〈x,f(x,i(e))〉, das zu der<br />
folgenden Regel führt:<br />
f(x,i(e)) → x (G5)<br />
Im Verlauf der weiteren kritischen Paar-Bildung überlagert man auch die neuen Regeln<br />
(G4) <strong>und</strong> (G5), was die folgende kritische Situation<br />
<strong>und</strong> damit die folgende neue Regel ergibt:<br />
x<br />
f(f(x,i(e)),i(i(e)))<br />
❘❘❘❘❘❘❘❘❘❘❘❘❘<br />
♣♣♣♣♣♣♣♣♣♣♣♣♣<br />
f(x,i(i(e)))<br />
f(x,i(i(e))) → x (G6)<br />
Die Überlagerung von (G3) <strong>und</strong> (G6) ergibt die kritische Situation<br />
f(i(e),i(i(e)))<br />
▲▲▲▲▲▲▲▲▲▲▲ <br />
<br />
e<br />
<br />
i(e)<br />
<strong>und</strong> die neue Regel:<br />
i(e) → e (G7)<br />
AndieserStelleerkenntmannun,dassdieRegeln(G5)<strong>und</strong>(G6)nichtmehrnotwendigsind,<br />
denn ihr Effekt kann vollständig mit der neuen Regel (G7) (<strong>und</strong> der bereits existierenden<br />
Regel (G2)) erreicht werden. Genauer kann man mit Hilfe von (G7) <strong>und</strong> (G2) die linken<br />
<strong>und</strong> rechten Seiten der Regeln (G5) <strong>und</strong> (G6) zu dem gleichen Term wie die jeweilige rechte<br />
Seite reduzieren. Die damaligen kritischen Paare, zu deren Zusammenführbarkeit (G5) <strong>und</strong><br />
(G6) nötig waren, können jetzt mit Hilfe von (G7) zusammengeführt werden. Die Regeln<br />
(G5) <strong>und</strong> (G6) können daher aus dem TES gelöscht werden.