Term/Variablenmenge/Funktionssymbole/Grundmenge/Phantasie/Beispiel/Aufgabe

Entwerfe einen Termstammbamm für den Term

$f\alpha \alpha gx\alpha c_{2}f\beta gy\alpha c_{1}gfz\beta gc_{1}fc_{1}$

wie in Beispiel.

Eine Lösung erstellen