Lambdakalkül in PHP - v0.3b

Syntax:
Applikation (a1 a2)
Abstraktion (\x.t)     (\ statt λ - ist einfacher zu tippen)
Konstanten "A-Z(a-zA-Z0-9)*" - zu Deutsch: mit grossen Anfangsbuchstaben
Variablen "a-z" - zu Deutsch: kleine Buchstaben (Achtung! Es gibt also nur 26 Variablen!)
Hinweis: Die Seite sieht im Firefox am besten aus. Den Sourcecode gibts hier.
Lob, Kritik und Bugreports nehme ich gerne per Mail entgegen: Markus Dangl - danglm "AT" in.tum.de
Eingabefeld:
 
Interne Darstellung:

Nächste β-Reduktion:



Keine Standardkonstante identifiziert
Baumdarstellung:
Ο
ΟC
ΟB 
λxA  
λy   
λz   
Ο   
Οz   
xy    
Nächste β-Reduktion:
Ο
ΟC
λyB 
λz  
Ο  
Οz  
Ay