Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Logik (http://www.informatikerboard.de/board/board.php?boardid=16)
----- Unifikation (http://www.informatikerboard.de/board/thread.php?threadid=3538)
Geschrieben von Haevelin am 15.04.2017 um 17:39:
Unifikation
Folgende Formelmengen unifizierbar?
1) {P(x,y,y); P(y,z,a)} ist nicht unifizierbar, da y an unterschiedlichen Stellen vorkommt
2) {P(x,y,y), P(f(y),y,x)) aus dem gleichen Grund nicht unifizierbar
3) {P(f(x),a,x); P(f(g(y)), z,z)} dürfte unifizierbar sein, indem man x /z und g(y)/z und a/z austauscht.
Forensoftware: Burning Board, entwickelt von WoltLab GmbH