Kritische Paare

Fehler im Beispiel im Skript korrigiert

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.

Kritische Paare
Hallo zusammen,

heute in der Fragestunde hat sich herauskristallisiert, dass Beispiel 2.56 im Skript eine fehlerhafte Klammerung aufweist. Genauer gesagt stand dort, dass ein kritisches Paar aus ‘r_1 σ’ und ‘C(r_2 σ)’ besteht. Jedoch sollte letzteres, wie auch in der Definition zuvor, ‘C(r_2)σ’ heißen.

In der aktuellen Version des Skripts (Revision 22576) ist dies nun korrigiert.

Viele Grüße
Christoph

1 „Gefällt mir“