Estoy buscando el combinador universal más pequeño posible , medido por el número de abstracciones y aplicaciones requeridas para especificar dicho combinador en el cálculo lambda . Los ejemplos de combinadores universales incluyen:
- tamaño 23: λf.f (fS (KKKI)) K
- tamaño 18: λf.f (fS (KK)) K
- tamaño 14: λf.fKSK
- tamaño 12: λf.fS (λxyz.x)
- tamaño 11: λf.fSK
donde S = λxyz.xz (yz) de tamaño 6 y K = λxy.x de tamaño 2 son los combinadores del cálculo del combinador SK . Los primeros 4 ejemplos se describen en este documento .
Mis preguntas son:
- ¿Hay algún combinador universal que sea más pequeño?
- ¿Cuál es el combinador universal más pequeño posible?
EDITAR: Consulte también /math//a/180263/76284 , que tiene λazbc.bc(a(λy.c))
(que sería de tamaño 8 , que coincide con la suma de tamaños de la base SK). ¿Alguien sabe cómo expresar S y K de este combinador?
λx*.E
donde E
está libre de abstracción?