Majme danu standardnu schemu:
begin [y1,y2,y3]:=[f1(x1,x2),a,c] 1: if p1(y2,x2) then goto 4 2: [y1]:=[f1(f2(y1,b),x2),f3(y2)] 3: goto 1 4: if p2(y1) then [y3]:=[d] end [z]:=[y3]
Najdite interpretaciu schemy taku, ze x1 a x2 budu cele kladne cisla a program vypocita, ci podiel x1/x2 ma konecny desatinny rozvoj (program vrati hodnotu 1, ak ano a hodnotu 2, ak nie). Strucne zdovodnite, ze pri vasej interpretacii bude program pracovat spravne. Program ma teda vratit ano (hodnotu 1) napriklad pre dvojice x1=1, x2=2; x1=3, x2=15; x1=9090, x2=3 Na druhej strane program ma vratit nie (hodnotu 2) napriklad pre dvojice x1=1, x2=7; x1=2, x2=15; atd.