Give a CFG that will work for the procedures below and any other procedures that has the same kind of instructions.

 

PROCEDURE multiply a, b; VAR a, b, z; BEGIN 0; WHILE b> 0 DO BEGIN -a+z; b= b - 1; END RETURN z; END; PROCEDURE odd x; VAR x; BEGIN WHILE x > 1 D0 x:= x/2; IF x = 1 THEN RETURN 1; ELSE RETURN 0; END;