Diskussion:Kombinatorische Logik

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 15 Jahren von Marc van Woerkom in Abschnitt Normalform
Zur Navigation springen Zur Suche springen

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)Beantworten