lambda-calculus

2La chaleur

1Répondre

Je voudrais analyser un lambda-calcul. Je ne sais pas comment analyser le terme et respecter la priorité des parenthèses. Ex: (lx ly (x(xy)))(lx ly xxxy) Je n'arrive pas à trouver le bon moyen de le

15La chaleur

2Répondre

Lambda réduction Calcul

Tous, Ci-dessous l'expression lambda que je me rends compte difficile à réduire dire que je ne suis pas en mesure de comprendre comment s'y prendre ce problème. (Xm lambda N Àa Xb m (nab) b.) (Λ f x x

2La chaleur

1Répondre

Comment puis-je rendre les chiffres d'église plus lisibles en lisp?

Je peux définir des chiffres de l'église assez facile système utilisant: > (define f (lambda (x) x)) > (f f) ;0 #<procedure:f> > (f (f f)) ;1 #<procedure:f> Cependant, cela ne le rend pas très f

8La chaleur

3Répondre

Requête sur booléens dans Lambda Calcul

Ceci est la représentation du lambda-calcul pour l'opérateur: lambda(m).lambda(n).lambda (a).lambda (b). m(n a b) b Quelqu'un peut-il me aider à comprendre cette représentation?

1La chaleur

4Répondre

Convertir le calcul Python en Haskell/Lambda

Quel est le code Python dans le calcul de Haskell et Lambda? def f1(): x = 77 def f2(): print x f2 f1 Ma tentative de calcul lambda \x. 77 (\x.x)

3La chaleur

3Répondre

Chiffre d'église pour l'addition

Je suis coincé à l'étape suivante. Il sera grand si quelqu'un peut me aider: 2 = λfx.f(f x) 3 = λfx.f(f(f x)) ADD = λm n f x. m f (n f x) Mes pas sont: (λm n f x. m f (n f x)) (λf x.f(f(f x))) (λf

3La chaleur

4Répondre

Associativité dans le calcul lambda

Je travaille sur les questions de l'exercice du livre The Lambda calculus. Une des questions que je suis bloqué prouve ce qui suit: Montrer que l'application n'est pas associative; en fait, x (yz) pas

2La chaleur

2Répondre

Recherche sur le calcul Lambda

continue des exercices dans le livre Lambda Calculus, la question est la suivante: Supposons un symbole de l'alphabet λ-calcul est toujours 0.5cm de large. Ecrire vers le bas un λ-terme avec une longu

0La chaleur

1Répondre

Lambda calculus help

Donc, je suis totalement coincé sur cette partie d'un problème. Ce serait génial si quelqu'un pouvait aider ... Montrer que le terme ZZ où Z est λz.λx. x (z z x) satisfait l'exigence pour les combinat

4La chaleur

1Répondre

IO :: Lambda in Perl

J'ai été déchargé de certaines tâches de maintenance sur un couple de scripts Perl. L'une des exigences est de télécharger quelques dizaines de fichiers (HTTP) en parallèle. Je suis allé chercher CPAN