ALG6

176 Rozdział6. Derekursywacja |

zm loc i pewne parametry wywołania parani wywof w analogicznie dzialająą procedurę, ale używającą tylko zmiennych globalnych. (Tym samym procedura P nie będzie już miała w ogóle parametrów wywołania).

Rozważmy dość ogólną formę wywołania procedury rekurencyjnej P:

void P(param_wywol) i

F(pa ram_wywol));

Pierwszy etap transformacji polega na usunięciu funkcji Fz wywołania P:

void P(param_wywol)

I

param wywol=F(param_wywol);

P(paramwywol);

Jest to najzwyczajniejsze przepisanie kodu w nieco innej postaci. Chcemy uczynić zm loc i param wywol zmiennymi globalnymi, tymczasem ulegająone podczas wywołania rekurencyjnego modyfikacji poprzez kolejny egzemplarz procedury P\ Jak sobie z tym poradzimy? Musimy bowiem w jakiś sposób zachować wartości zm loc i param wywol, aby pomimo ewentualnych zmian ich zawartości podczas wykonania procedury' P sytuacja przed i po była taka sama. Pomoże nam w tym oczywiście stos:

void F()

I

push(param_wywol) push!zm_loc)

param_wywol-F(param_wywol) ;

P (param_wywol); pop(zm_loc); pop(param wywol);

)

Zarówno zm loc jak i param wywol reprezentują listy zmiennych - to dla skrócenia

zapisu.