Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Braindump WS15
Hallo zusammen,
kann es sein, dass in der ersten Aufgabe von diesem Braindump https://fsi.cs.fau.de/dw/pruefungen/bachelor/thprog-ws15-braindump
ein Fehler ist?
Man soll mittels Polynomordnung zeigen, dass das TES
(x º y) º z → (x º y) ∗ z
x º y → (y º x) º x
stark normalisierend ist, aber ich krieg das einfach nicht hin.
Ueberseh ich da was, oder geht das so, wie es da steht, einfach nicht?
Das sieht nach einem Fehler aus, denn dieses TES ist in der Tat nicht stark normalisierend.