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.
Blatt 5
Hey zusammen,
wir scheitern gerade daran, die Aufgaben mit Reduktion zu loesen. Das Konzept ist uns klar, aber wir verstehen nicht ganz wie wir das anwenden muessen. Tut uns Leid fuer die unkonkrete Frage aber eine Hilfestellung bzgl. den einzelnen Schritten, die man machen muss waere cool.
Einzelne Schritte in dem Sinn gibt es bei einer Reduktion eigentlich erstmal nicht. Im Prinzip muss ja “nur” eine richtige Reduktionsfunktion gefunden werden und die Richtigkeit bewiesen werden. Die Funktion ist aber halt bei jeder Sprache anders. Ich wuerde empfehlen vielleicht nochmal ein Beispiel anzuschauen, entweder im Skript (Seite 18/19) oder aus den Uebungen und schauen was alles gemacht wurde, also FesteMaschine definiert, Funktion mit Fallunterscheidung etc. Und vorallem auf den Datentyp der Funktion achten: besteht eine Sprache aus Goedlenummer+Wort, muss das in der Funktion auch beruecksichtigt werden!