Questions marquées «lambda-calculus»

Système formel de Church utilisé en calculabilité, langages de programmation et théorie des preuves pour représenter des fonctions efficaces, des programmes et leur calcul, et des preuves.

1
Comment transformer les termes sans terminaison en combinateurs à virgule fixe?
J'ai pensé à ces questions: Existe-t-il un calcul lambda typé cohérent et complet de Turing? /cs/65003/if-%CE%BB-xxx-has-a-type-then-is-the-type-system-inconsistent et il y a déjà quelques questions difficiles à répondre dans le cadre non typé ! Plus précisément, je suis curieux de savoir si nous pouvons récupérer l'intégralité de Turing de la non-résiliation de …
1
Termes Lambda-Calculus qui se réduisent à eux-mêmes
Dans ma quête continue pour essayer d'apprendre le calcul lambda, "Lambda-Calculus and Combinators an Introduction" de Hindley & Seldin mentionne l' article suivant (par Bruce Lercher) qui prouve que la seule expression réductible qui est la même (conversion modulo alpha) pour elle-même est: (λx.xx)(λx.xx)(λx.xx)(λx.xx)(\lambda x.xx)(\lambda x.xx) . Bien que je …
1
L'appel / cc de Scheme peut-il implémenter toutes les structures de flux de contrôle connues?
La page "Advanced Scheme: Some Naughty Bits" indique: Les continuations sont une puissante structure de contrôle-flux à partir de laquelle presque toute autre structure de contrôle-flux [...] peut être dérivée. Je pensais que Scheme call/cc, étant lié (*) à l'opérateur J de Peter Landin, pourrait être utilisé pour implémenter n'importe …
2
Comment le calcul lambda capture-t-il exactement la notion intuitive de calculabilité?
J'ai essayé d'enrouler ma tête autour du quoi, pourquoi et comment du -calculus mais je ne suis pas parvenu à comprendre "pourquoi ça marche"?λλ\lambda «Intuitivement», j'obtiens le modèle de calculabilité de Turing Machines (TM). Mais cette -abstraction me laisse juste perplexe.λλ\lambda Supposons que les MT n'existent pas - alors comment …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.