Unifikation < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 20:00 So 23.02.2014 | | Autor: | starki |
| Aufgabe | Testen Sie die folgenden Termpaare auf Unifizierbarkeit. Geben Sie, falls vorhanden, den allgemeinsten Unifikator an bzw. begründen Sie, warum kein solcher existiert. (Dabei sind x, y, z Variablen, die anderen Buchstaben sind Konstanten bzw. Funktionssymbole).
a) $ h(r(a), l(z), g(g(y))) $ und $ h(x, y, z) $
b) $ h(r(a), l(z), g(g(y))) $ und $ h(x, y, x) $
c) $ h(r(a), l(x), g(g(y))) $ und $ h(x, y, z) $ |
Also meine Lösung:
a)
1. $ x [mm] \rightarrow [/mm] r(a) $
$ h(r(a), l(z), g(g(y))) $ und $ h(r(a), y, z) $
2. $ y [mm] \rightarrow [/mm] l(z) $
$ h(r(a), l(z), g(g(l(z)))) $ und $ h(r(a), l(z), z) $
3. Nicht unifizierbar, da im Term $g(g(l(z))) $ sich die Variable $ z $ befindet, d.h. wir können das $ z $ im zweiten Term nicht substituieren.
b)
1.$ x [mm] \rightarrow [/mm] h(a)$
$ h(r(a),l(z), g(g(y))) $ und $ h(r(a), y, r(a)) $
2. $ y [mm] \rightarrow [/mm] l(z) $
$ h(r(a), l(z), g(g(l(z)))) $ und $ h(r(a), l(z), r(a)) $
3. Nicht unifizierbar, da sich $ g(g(l(z))) $ und $ r(a) $ nicht subtituieren lassen.
c)
1. $ x [mm] \rightarrow [/mm] r(a) $
$ h(r(a), l(r(a)), g(g(y))) $ und $ h(r(a), y, z) $
2. $ y [mm] \rightarrow [/mm] l(r(a)) $
$ h(r(a), l(r(a)), g(g(l(r(a))))) $ und $ h(r(a), l(r(a)), z) $
3. $ z [mm] \rightarrow [/mm] g(g(l(r(a)))) $
$ h(r(a), l(r(a)), g(g(l(r(a))))) $
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 20:20 Di 25.02.2014 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
