Ich suche den kleinstmöglichen universellen Kombinator , gemessen an der Anzahl der Abstraktionen und Anwendungen, die erforderlich sind, um einen solchen Kombinator in der Lambda-Rechnung zu spezifizieren . Beispiele für universelle Kombinatoren sind:
- Größe 23: λf.f (fS (KKKI)) K
- Größe 18: λf.f (fS (KK)) K
- Größe 14: λf.fKSK
- Größe 12: λf.fS (λxyz.x)
- Größe 11: λf.fSK
wobei S = λxyz.xz (yz) der Größe 6 und K = λxy.x der Größe 2 die Kombinatoren der SK-Kombinatorrechnung sind . Die ersten 4 Beispiele werden in diesem Artikel beschrieben .
Meine Fragen sind:
- Gibt es universelle Kombinatoren, die kleiner sind?
- Was ist der kleinstmögliche Universal-Kombinator?
BEARBEITEN: Siehe auch /math//a/180263/76284 , die hat λazbc.bc(a(λy.c))
(die Größe 8 wäre , entspricht der Summe der Größen der SK-Basis). Weiß jemand, wie man S und K von diesem Kombinator ausdrückt?
λx*.E
in der E
es abstraktionsfrei ist?