search

fmidue / logic-tasks

0 stars 1 forks source link

Syntaxbaum zu Formel: zu schwache syntaktische Überprüfung #148

Open KaroBo2409 opened 1 month ago

KaroBo2409 commented 1 month ago

Nicht vorhandene Literale, die als Lösung angegeben werden, werden nicht als Fehler geworfen. (Task 4 B)

jvoigtlaender commented 1 month ago

Geht es darum, dass falsche Literale innerhalb einer ansonsten korrekt geformten Formel auftreten?

Können Sie ein Beispiel anfügen, was eingegeben wurde, was als Feedback kam, und was darin fehlte?

KaroBo2409 commented 1 month ago

Ich habe zum Beispiel bei Task 03 b einfach ein Z eingegeben (was kein genutztes Literal in der Aufgabenstellung ist) und autotool hat diese Lösung akzeptiert.

jvoigtlaender commented 1 month ago

Oh, es geht aber nur um die syntaktische Vorprüfung, richtig? Nicht um die Bewertung der Korrektheit. Also es geht darum, dass bei der Aufgabe schon bei der Einreichung gesagt werden könnte "Z kommt gar nicht in dem Baum vor", unabhängig davon, dass bei der Bewertung auch noch rauskäme, dass die Formel inkorrekt ist. (Wohingegen bei Eingabe von A keine Vorab-Zurückweisung käme, weil A ja tatsächlich zumindest ein verwendetes Literal ist, aber später dann A dennoch als insgesamt inkorrekt vermeldet würde, da es ja nicht den ganzen Baum wiedergibt.)

Kontext: Die b-Aufgaben haben alle eine Einsendefrist, bis zu welcher kein inhaltliches Feedback (nur Syntaxprüfung) gegeben wird. Die jeweiligen entsprechenden a-Aufgaben mit ansonsten gleicher Nummer haben die gleichen Aufgabenparameter aber sofortiges auch inhaltliches Feedback.