Trova un termine lambda che soddisfa due equazioni
-
05-11-2019 - |
Domanda
Sto solo cercando l'idea generale su come affrontare il seguente problema:
Trova un termine $ Delta = lambda x.xuv $ tale che:
- $ Delta Delta = K $
- $ Delta k = s $
(È un sistema di 2 equazioni, non sapevo come formattarlo correttamente)
Dove $ K = lambda xy.x $ e $ S = lambda xyz.xz (yz) $
Penso di dover usare il teorema di Bohm ma non so esattamente come.
Nessuna soluzione corretta
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a cs.stackexchange