¿Qué máquinas elegantes y completas de Turing * conoces? ¿Hay uno del libro?

Question

El cálculo Lambda, por supuesto, es bastante elegante, pero ¿no te molesta que exista esta asimetría entre la entrada y la salida de una función? Es decir. puede hacer que la función tome dos parámetros (devolviendo una función) pero no puede hacer que devuelva dos valores. No creo que podamos encontrarlo en El libro .

Answer 1

Puede hacer que devuelva una función cuyas evaluaciones devuelven dos valores.

Answer 2

O puede devolver una estructura compuesta. Al igual que una función vectorial que devuelve un vector, que tiene componentes separados allí.

Por cierto, ¿qué tiene que ver tu pregunta de encabezado con la pregunta real que has hecho?