ALG1

6.6. Klasyczne schematy derekursywacji 181

wykonują systematycznie pewne stałe fragmenty kodu i to je odróżnia od procedur rekurencyjnych.

Narzucającym się natychmiast rozwiązaniem jest włożenie do części wykonawczej instrukcji iteracyjnej instrukcji warunkowych sprawiających, iż kod wykonywany w iteracji numer i będzie - być może - odmienny od kodu iteracji /+ /.

Jest to droga, którą pójdziemy w celu odnalezienia sposobu derekursywacji pewnych schematów, często spotykanych podczas programowania z wykorzystaniem technik rekurencyjnych.

Uwaga: Wszystkie rozpatrywane dalej schematy dotyczą procedur już bezparametrowych i pozbawionych zmiennych lokalnych._

6.6.1.Schemat typu while

Kolejnym schematem, z którym będziemy mieli do czynienia, jest:

void P()

{

while(warunek(x))

f

A(x);

Pd;

B (x) ;

)

C(x) ;

}

W celu wynalezienia równoważnej formy iteracyjnej zapiszmy procedurę P w nieco innej postaci z użyciem instrukcji goło. Posunięcie to doprowadzi do wyeliminowania instrukcji while (w dość sztuczny sposób, to trzeba przyznać). Wprowadźmy ponadto kolejną globalną zmienną N - używaną już zresztą wcześniej:

void P()

{

N-0; start:

if(warunek(x) )

(

A (x) ;

NU; P; N—;

B!x) ;

goto start;

(

else

C (x) ;

1