Salve a tutti,

sto studiando in questo periodo elementi di calcolabilità e complessità e inizio ora a provare a fare qualche esercizio. Qualcuno potrebbe darmi una mano su questo:

dire se ∃ f calcolabile totale t.c. ∀ x
f(x) = x se ∃ i