Finden von MGU für symmetrische Ausdruck
-
21-12-2019 - |
Frage
Angesichts dieses Paares von Ausdrücken ist es möglich, eine MGU dafür zu finden?
- .
- f (x, y)
- f (y, x)
Ich wollte sagen, dass es möglich ist, wenn x / y, aber ich war sich nicht sicher, ob das legal ist. Was sagen Sie?
danke!
Lösung
Ja, diese Begriffe können leicht vereinheitlicht werden, wodurch die Behauptung x= y als Nebeneffekt erzeugt werden.
Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit StackOverflow