Question: 1. Consider the statements below, where the variables m and n are assumed to have integer values, with n > 0, and let W denote

1. Consider the statements below, where the variables m and n

1. Consider the statements below, where the variables m and n are assumed to have integer values, with n > 0, and let W denote the while-loop in these statements. a := m; b:=n; c:= 0; while b>0 do if 2 b then a := 2a; b:=b/2; else c=c+a; b:=b-1; fi; od; (a) (30p) Prove that ab +c= mn is a loop invariant for W. (b) (10p) Must W terminate? Why? What is the value of b on this termination? (c) (10p) Show that on the termination of W, we have that c = mn

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock blur-text-image

Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock

Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!

The following profit reconciliation statement has been prepared by the management accountant of ABC Limited for March: The standard cost card for the company's only product is as follows: ()...

Algorithmic mathematics 1. Consider the statements below, where the variables m and n are assumed to have integer values, with n > 0, and let W denote the while-loop in these statements. a :=m; b=n;...

Algorithmic Mathematics Exercise 5.4. Consider the statements below, where the variables m and n are assumed to have integer values, with n > 0, and let W denote the while-loop in these statements....

1. Consider the statements below, where the variables m and n are assumed to have integer values, with n > 0, and let W denote the while-loop in these statements. a := m; b:= n; ci=0; while b>0 do if...

1. Consider the statements below, where the variables m and n are assumed to have integer values, with n 0, and let W denote the while-loop in these statements. a := m; b := n; c := 0; while b > 0 do...

1. Consider the statements below, where the variables m and n are assumed to have integer values, with n > 0, and let W denote the while-loop in these statements. a := m; b:= n; c=0; while b>0 do if...

1. Consider the statements below, where the variables m and n are assumed to have integer values, with n>0, and let W denote the while-loop in these statements. a:= a:=m; b := n; c:=0; while b>0 do...

only B and C solutions 1. Consider the statements below, where the variables m and n are assumed to have integer values, with n > 0, and let W denote the while-loop in these statements. a := m; b:=n;...

Explain how to take a systematic sample of 100 companies from the 1,853 companies that are members of an industry trade association.

A major automobile company is interested in reducing the time that customers have to wait while having their car serviced with one of the dealers. They select four customers randomly each day and...

2 Plush plc has prepared its accounts for the financial year ended 31 December 2004. What is the last date by which the accounts must be laid before a general meeting and filed with the Registrar? A...

The tax law encourages technological progress by allowing ( or accelerated ) deductions and tax credits : ' Such expenditures can be amortized over a period of months or more.

Incorporate government into the table by assuming that it plans to tax and spend $20 billion at each possible level of GDP. Also assume that the tax is a personal tax and that government spending...

Fill in columns 5 and 6 and determine the equilibrium GDP for the open economy. Explain why this equilibrium GDP differs from that of the closed economy. c. Given the original $20 billion level of...

Why is the long-run aggregate supply curve vertical? Explain the shape of the short-run aggregate supply curve. Why is the short-run curve relatively flat to the left of the full-employment output...