Now consider the outer loop of Fig. 9.10, consisting of blocks B2 , B3 , B4 , and B5 . Let g be the transfer function for the loop body, from the entry of the loop at B2 to its exit at B5 . Let i...

Now consider the outer loop of Fig. 9.10, consisting of blocks B2 , B3 , B4 , and B5 . Let g be the transfer function for the loop body, from the entry of the loop at B2 to its exit at B5 . Let i measure the number of iterations of the inner loop of B3 and B4 (which count of iterations we cannot know), and let j measure the number of iterations of the outer loop (which we also cannot know). What is

Fig. 9.10