Preguntas etiquetadas con lambda-calculus

El cálculo λ es un sistema formal para la definición de funciones, la aplicación de funciones y la recursión que forma la base matemática de la programación funcional.

2
"Orden de aplicación" y "Orden normal" en cálculo lambda
Orden de aplicación: siempre evalúe completamente los argumentos de una función antes de evaluar la función en sí, como - (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow (\lambda x. x^2(2+1))\rightarrow \ (\lambda x. x^2(3)) \rightarrow \ 3^2 \ \rightarrow …
3
Una quine en cálculo lambda puro
Me gustaría un ejemplo de quine en cálculo lambda puro . Me sorprendió bastante no poder encontrar uno buscando en Google. La página quine enumera quines para muchos idiomas "reales", pero no para el cálculo lambda. Por supuesto, esto significa definir lo que quiero decir con una quine en el …
4
¿Alguien puede dar un ejemplo simple pero no juguetón de una gramática sensible al contexto?
Estoy tratando de entender las gramáticas sensibles al contexto. Entiendo por qué a los idiomas les gusta { w w ∣ w ∈ A∗}{ww∣w∈A∗}\{ww \mid w \in A^*\} { anortesinorteCnorte∣ n ∈ N }{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} no están libres de contexto, pero me gustaría saber si un lenguaje …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.