RHEINISCH- WESTF¨ALISCHE TECHNISCHE HOCHSCHULE AACHEN
LEHR- UND FORSCHUNGSGEBIET INFORMATIK II
RWTH Aachen·D-52056 Aachen·GERMANY http://www-i2.informatik.rwth-aachen.de/lufgi2
LuFG Informatik II
Prof. Dr. J¨urgen Giesl Ren´e Thiemann
Ubungen ¨ Termersetzungssysteme – Blatt 14 Aufgabe 1
Das folgende konvergente TES R definiert die Konkatenation von Listen.
app(nil, z) → z
app(cons(x, y), z) → cons(x,app(y, z))
Beweisen oder widerlegen Sie die folgenden Aussagen f¨ur das entsprechende Term- gleichungssystem E (in dem → durch ≡ ersetzt wurde).
a) E |=I app(app(x, y), z)≡app(x,app(y, z)) b) E |=I app(x, x)≡x