Das Applet erlaubt, nach Eingabe eines Regelsystem und eines Initialterms, Reduktionsschritte durchzuführen. Der aktuelle Initialterm sowie die aktuelle Regel werden als Bäume
dargestellt. Die möglichen Redexe werden im Initialterm blau gekennzeichnet. Der "ausgewählte" Redex, an dem ein Reduktionsschritt durchgeführt werden würde ist rot
markiert.
Die für Variablen, Funktions- und Konstantensymbole erlaubten Zeichen sind ausschließlich Groß- und Kleinbuchstaben sowie Ziffern. (Leerzeichen werden
ignoriert)
|
A..Z a..z 0..9 |
Ein Symbol wird als Variable interpretiert genau dann wenn es ein einzelner Grossbuchstabe ist.
|
A..Z |
Andere Zeichen und Zeichenreihen werden als Funktions- bzw Konstantensymbole interpretiert. (Konstanten werden als Funktionen der Arität 0 angenommen. -> keine
Unterscheidung)
|
f Ack SUCC |
| Die Argumente einer Funktion werden hinter dem Funktionssymbol in runden Klammern eingeschlossen und durch Komma getrennt aufgelistet. |
f(a1,...,an) |
| Variablen im Initialterm sind verboten. |
f(X,y) |
| Jedes Funktionssymbol darf nur mit genau einer Ariatät vorkommen. |
f(f(x,y)) |
| Regeln haben die Form A->B, wobei A, B Terme sind, die Variablen enthalten können. |
f(X,Y)->f(Y,X) |
| Variablen im rechten Teil der Regel müssen durch ihren linken Teil gebunden sein. |
f(X,Y)->f(X,Z) |
Die Anzahl der Regeln ist auf 50 beschränkt.
|
|
Die Anzahl der Ableitungsschritte ist auf 499 beschränkt.
|
|
| Beispiel |
Laden des vorgespeicherten Beispiels (Ackermannfunktion) - geht nur wenn keine Regeln oder Terme eingegeben sind, um versehentliches Löschen zu verhindern |
| Neu |
Löschen aller Regeln und Initialterme. |
| neuer Term |
Löschen aller vorher gemachten Ableitungsschritte, Benutzereingabe eines Initialterms - kann durch Abbruchknopf unterbrochen werden |
| neue Regel |
Benutzereingabe einer weiteren Regel - kann durch Abbruchknopf unterbrochen werden |
| Reg(el) löschen |
Löschen der links angezeigten Regel |
| Regel anwenden |
die links angezeigte Regel wird auf den rot markierten Redex angewendet, so einer vorhanden ist |
| Regel hoch/runter |
Auswahl der aktuellen Regel (im linken Fenster angezeigt) |
| Redex links/rechts |
Auswahl des aktuellen Redex (wird rot markiert) |
| Term links/rechts |
Zurück-/Vorlaufen durch die Reduktionsschritte |
nittka.de