Definimos una función H que va a realizar la recursión mutua codificándola en un par.

Hpx, tq “ xh1px, tq, h2px, tqy

Planteamos el esquema de recursión primitiva.

Hpx, 0q “ xh1px, 0q, h2px, 0qy “ xf1pxq, f2pxqy

Hpx, t` 1q “ xh1px, t` 1q, h2px, t` 1qy

“ xg1ph1px, tq, h2px, tq, x, tq, g2ph2px, tq, h1px, tq, x, tqy

“ xg1plpHpx, tqq, rpHpx, tqq, x, tq, g2prpHpx, tqq, lpHpx, tqq, x, tqy

H sigue el esquema de recursión