Domaca uloha c. 4, do 16.3.1999 14:40

Dana je standardna schema S:
begin [y]:=[x]
 1: y=f(y);
 2: if p(y) then goto end
 3: y=g(y);
 4: if q(y) then goto 3
 5: goto 1
end [z]:=[y]
Najdite rekurzivnu schemu, ktora je ekvivalentna so standardnou schemou S. Pokuste sa najst schemu, ktora nebude mat privela funkcnych premennych. Strucne zdovodnite, ze vami najdena schema je ekvivalentna so schemou S.