Summary: L¨osungsvorschlag Termersetzungssysteme ­ Blatt 6
Aufgabe 1
a) Wir zeigen, dass R korrekt und ad¨aquat f¨ur E ist.
1) l r R : l
E r
a b : a
E b, da a b E
b a : b
E a, da a b E
a c : a
E c, da a c E
b d : b
E d, da b d E
2) s r E : s
R t
a b : a
R b, da a b R und somit a R b
a c : a
R c, da a c R und somit a R c
b d : b

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

Collections: Computer Technologies and Information Sciences