mgu(s, t) nach Fallunterscheidung
- s ist Variable: ...
- t ist Variable: symmetrisch
-
s = f (s1, s2) und
t = g(t1, t2): ...
Bemerkungen:
- Modellierung in Haskell: Data.Map, Maybe
- korrekt, übersichtlich, aber nicht effizient,
- es gibt Unif.-Probl. mit exponentiell großer Lösung,
- eine komprimierte Darstellung davon kann man aber in Polynomialzeit ausrechnen.
Johannes Waldmann
2010-01-25