Sistemi di riscrittura

[fusione]

Qualcuno sa spiegare o qualche link dove li spiega?
In pratica sono es del tipo di questo

2. Dato un numero naturale n >= 0, costruire il sistema di riscrittura che definisce la funzione
m: N->L che, applicata a n, restituisce la lista s in L, di lunghezza n + 1 e costituita da
coppie di naturali, tale che per ogni i, 1<= i <= n + 1, s(i), l’i-mo elemento di s, è la coppia (i – 1,
j) con i – 1 + j = n. N.B. Rappresentare i naturali come 0, s(0),.. Inoltre la funzione
somma non deve essere usata. Suggerimento: definire m tramite m2: N´ N->L,
applicata a coppie di naturali la cui somma vale n; inizialmente m2 è applicata ai due
parametri 0 e n.