Quelles machines élégantes et complètes de Turing * vous connaissez? Y en a-t-il un dans le livre?

Question

Le calcul lambda est bien sûr assez élégant, mais cela ne vous dérange-t-il pas qu'il y ait cette asymétrie entre l'entrée et la sortie d'une fonction? C'est à dire. vous pouvez faire en sorte que la fonction prenne deux paramètres (en retournant une fonction) mais vous ne pouvez pas lui faire retourner deux valeurs. Je ne pense pas que nous pourrions le trouver dans The Book.

Answer 1

Vous pouvez lui faire renvoyer une fonction dont les évaluations renvoient deux valeurs.

Answer 2

Ou vous pouvez renvoyer une structure composée. Tout comme une fonction vectorielle qui renvoie un vecteur, qui contient des composants distincts.

BTW qu'est-ce que votre question d'en-tête a à voir avec la question que vous avez posée?