Diskussion:Kombinatorische Logik
Vielleicht könnte man [1] erwähnen - scheint eine relativ gute Implementierung der kombinatorischen Logik zu beinhalten, lediglich die Syntax unterscheidet sich:
- `iX ist gleichbedeutend mit (I x)
- ``kXY ist gleichbedeutend mit (K x y)
- ```sXYZ ist gleichbedeutend mit (S X Y Z)
Na gut, einige Kombinatoren sind noch verschieden. Allerdings reichen K und S für Turing-Vollständigkeit, insofern sehe ich kein Problem. Timo "God's Boss" Reitz 15:50, 3. Nov 2005 (CET)
Ich werde mal den unglücklichen Kommentar zu Regel 5 bei der Umwandlung von CL zu Lambda entfernen. Der Leser hat offensichtlich nicht erkannt, dass E wohl freie Variablen enthalten kann, auch wenn der gesamte Lambdaterm ein Kombinator ist. (Nämlich genau diejenigen, die durch die davorstehenden Lambdas gebunden werden...) --Syon 15:21, 9. Jun 2006 (CEST)
Normalform
[Quelltext bearbeiten]Es fehlt die Angabe, was eine Normalform in dem Kontext sein soll. Danke für den Artikel! --Marc van Woerkom 07:26, 10. Dez. 2008 (CET)