Aufgabenideen zur Komposition und Dekomposition von Syntaxbäumen

[jvoigtlaender]

Hintergrund: die Studierenden sollen die Kompositionalität besser verstehen, nicht nur einfach "irgendeine unstrukturierte" Strategie versuchen, eine Formel aus einem Syntaxbaum zu "erraten".

Die Idee wäre:

• Es wird ein Syntaxbaum wie in der TreeToFormula-Aufgabe ausgewürfelt.
• Es wird dafür gesorgt, dass an dessen Wurzel ein binärer Operator steht und die beiden darunter hängenden Teilbäume nicht gleich sind.
• Der Baum wird intern in Op t1 t2 zerlegt.
• Es werden t1 und t2 als Bäume angezeigt.
• Es wird gesagt: "Stellen Sie sich vor, die beiden angezeigten Bäume würden unterhalb eines Wurzelknotens mit Operator op gehängt. Einmal der eine Teilbaum links und der andere Teilbaum rechts, und einmal genau andersherum. Geben Sie für die beiden entstehenden Bäume jeweils die dadurch repräsentierte Formel ein."
• Die beiden eingegebenen Formeln werden überprüft, Feedback in etwa analog zur TreeToFormula-Aufgabe gegeben. (Eventuell noch Abfangen spezieller Fehlerfälle, etwa wenn die Formel zu Op t1 t1 oder Op t2 t2 eingegeben wird. Dafür könnte es eine geringere Anzahl Punkte geben.)

[jvoigtlaender]

Es könnte zum Beispiel auch variiert werden, etwa dass t1 als Syntaxbaum und t2 schon als Formel angezeigt wird, mit ansonsten gleicher Aufgabenstellung.

[jvoigtlaender]

Oder es wird die Formel von Op t1 t2 angezeigt (nicht der Syntaxbaum), und die Studierenden werden aufgefordert, den Syntaxbaum zu erstellen, an der Wurzel linken und rechten Teilbaum zu vertauschen, und dann die Formel zum entstandenen neuen Syntaxbaum einzugeben.

(Natürlich lässt sich das dann auch lösen, ohne wirklich den Syntaxbaum aufzumalen. Aber eben nur, wenn man zumindest gedanklich die Struktur aufbauen und zerlegen kann, also etwa durch gedankliches "Parsen" den Top-Level Operator im String finden kann. Und damit wäre dann ein Aspekt adressiert, der bisher wohl noch nicht explizit geübt wird. In gewisser Weise ließe sich durch solch eine Aufgabenstellung also kompensieren, dass wir im Moment keine Aufgaben stellen können, wo ein Syntaxbaum selbst einzugeben ist, im Sinne von ForumulaToTree statt TreeToFormula.)

[jvoigtlaender]

Besonders zu berücksichtigen sein wird wahrscheinlich der Fall mit => als Operator, da er nicht kommutativ ist. Also, soll bei dem "Vertauschen" aus t1 => t2 dann t2 => t1 oder t2 <= t1 werden? Das lässt sich durch die Aufgabenstellung beeinflussen, also ob eine zur ursprünglichen semantisch äquivalente Formel einzugeben ist.

[jvoigtlaender]

Wird in #108 und ggfs. #112 ausgeführt.