Quali macchine eleganti e complete di Turing * conosci? Ce n'è uno da The Book?

Question

Il calcolo lambda ovviamente è abbastanza elegante, ma non ti dà fastidio che ci sia questa asimmetria tra input e output di una funzione? Cioè puoi fare in modo che la funzione prenda due parametri (restituendo una funzione) ma non puoi farla restituire due valori. Non credo che potremmo trovarlo in The Book .

Answer 1

Puoi farlo restituire una funzione le cui valutazioni restituiscono due valori.

Answer 2

Oppure puoi restituire una struttura composta. Proprio come una funzione vettoriale che restituisce un vettore, che contiene componenti separati.

A proposito, cosa c'entra la tua domanda di intestazione con la vera domanda che hai posto?