Directamente de este artículo:
Devuelvo su argumento:
I x = x
- ¿Existen los números irracionales que no son construibles en la recta numérica real?
- ¿Cuál es la forma más rápida de determinar si una serpiente tiene un camino hacia su cola?
- ¿Qué es una prueba intuitiva de que las redes neuronales recurrentes pueden calcular cualquier función computable por una máquina Turing?
- ¿Cuál es el significado y el beneficio de las variables compartidas en Theano?
- ¿Es posible calcular el número de posibles lazos electorales?
K , cuando se aplica a cualquier argumento x , produce una función constante de un argumento K x , que, cuando se aplica a cualquier argumento, devuelve x :
K xy = x
S es un operador de sustitución. Toma tres argumentos y luego devuelve el primer argumento aplicado al tercero, que luego se aplica al resultado del segundo argumento aplicado al tercero. Mas claro:
S xyz = xz ( yz )
Así que aquí hay tres combinadores diferentes. No hago nada, pero devuelvo lo que le pasas, K toma dos argumentos y devuelve el primero como resultado, y S toma tres argumentos, toma el primero, lo aplica al tercero y luego aplica el resultado al resultado. resultado del segundo aplicado al tercero.
Veamos cómo estos tres combinadores pueden invertir un par de símbolos.
S ( K ( SI )) K αβ
Esta expresión revertirá la αβ que se pasó como argumentos. Primero evaluamos el S más a la izquierda aplicando K ( SI ) a α, que son los argumentos primero y tercero del primer S, y luego aplicando el resultado al resultado de K α:
K ( SI ) α ( K α) β
Ahora evaluamos la K (SI) a izquierda, que nos da la SI, como se puede ver en la definición. Independientemente de y, que es en este caso α, K devolverá x, que es SI:
SI ( K α) β
Ok, definitivamente estamos llegando a algún lado aquí. Así que ahora evaluamos la S izquierda. Tiene los argumentos I, Kα, β, entonces aplica I a β, y lo aplica al resultado de aplicar Kα a β:
I β ( K αβ)
Evalúe la izquierda I, obtenemos solo β y la derecha Kαβ devuelve α, por lo que obtenemos nuestra expresión inversa
βα
En general, no es muy productivo, pero aquí tienes.