Question: 2. Questions 2a through 2d are about the procedure FACTORIAL, which returns the factorial of the integer n. Assume that n0. Use a loop

2. Questions 2a through 2d are about the procedure FACTORIAL, which returns the factorial of the integer n. Assume that n0. Use a loop invariant to prove that FACTORIAL is correct. FACTORIAL(n) f=1 k=1 while kn f=kxf k = k +1 return f 2a. (5 points.) What is a loop invariant for FACTORIAL? 2b. (5 points.) Use the invariant from 2a to prove that FACTORIAL is correct at initialization. 2c. (5 points.) Use the invariant from 2a to prove that FACTORIAL is correct during maintenance. 2d. (5 points.) Use the invariant from 2a to to prove that FACTORIAL is correct at termination.

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 Programming Questions!

Delmar Manufacturing Inc. is a provincial manufacturer of electronics. It has been in operation for over 25 years under ownership of the same two private shareholders. It has always offered its...

In an ideal communication situation, one party would be able to encolde their message in such a way that the receiving party would understand it exactly as intended. Barriers to effective...

Complete code/fix in C++: #include #include #include // std::string, std::to_string, std::fixed #include // std::setprecision using namespace std; class Car { private: float mileage; // Total...

Briefly describe ASCII and Unicode and draw attention to any relationship between them. [3 marks] (b) Briefly explain what a Reader is in the context of reading characters from data. [3 marks] A...

Through 2d Are About The Procedure FACTORIAL, Which Returns The Factorial Of The Integer N. Assume That N > 0. Use A Loop Invariant To Prove That FACTORIAL Is Correct. FACTORIAL(N) F=1 K=1 While K...

Look at the image below for the LARGEST algorithm and all the questions. This homework assignment is about determining the run time of a simple array algorithm, and about proving its correctness. It...

This homework assignment is about determining the run time of a simple array algorithm, and about proving its correctness. It uses techniques like those used in the Cormen text for the procedure...

Let r and s be solutions to the quadratic equation x 2 b x + c = 0. For n N, define d0 = 0 d1 = r s dn = b dn1 c dn2 (n 2) Prove that dn = r n s n for all n N. [4 marks] (b) Recall that a commutative...

Let A, B be sets. Define: (a) the Cartesian product (A B) (b) the set of relations R between A and B (c) the identity relation A on the set A [3 marks] Suppose S, T are relations between A and B, and...

Predictive text entry systems are familiar on touch screens and mobile phones. This question asks you to consider how the same principles might be used in a programming editor for creating Java code....

In this question you will be asked to reflect on a project you have been involved in or observed, in which a design evolved, or could have evolved, through applying a theory of user behaviour. You...

The Moore & Harman Company is in the business of buying and selling grain. An important aspect of the companys business is arranging for the purchased grain to be shipped to customers. If the company...

Question Five (10 marks) A Lebanese Company has a branch in Egypt. The branch's financial statements in 31/12/2020 (Egyptian pound-LE) were as follows: Income statement Revenues Cost of goods sold...

An MNE seeking to manage an accounts payable exposure, might do which of the following ( select the most appropriate answer ) ? Dorrow money from a bank Sell courrency unine a forward co tract Invest...

21. Refer to Figure 3.3. As your income decreased, the demand for X shifted from D1 to D2. Good X is: a luxury good. an inferior good a normal good an income-neutral good. D2 Units of good X Q %24...

20. Which of the following is not an assumption underlying the supply and demand model? There are many producers and consumers in the market. All goods sold in the market are identical. O The focus...

16. An increase in input prices causes: the market supply to shift inward, driving the equilibrium price downward. the market supply to shift outward, leading to a higher equilibrium price. O the...

13. Assume the typical shapes of the demand and supply curves. If both demand and supply increase in a competitive market, the equilibrium price will O rise if demand increases more than supply...

12. A change in the of a good or service leads to a change in that leads to a supply; demand; change in price demand; quantity demanded; change in supply O price; quantity demanded; movement along...

A shaft carries five masses A, B, C, D and E which revolve at the same radius in planes which are equidistant from one another. The magnitude of the masses in planes A, C and D are 50 kg, 40 kg and...

Steve would like to determine the relative salaries of three coworkers using two facts. First, he knows that if Fred is not the highest paid of the three, then Janice is. Second, he knows that if...

Show that for all positive integers m and n there are sorted lists with m elements and n elements, respectively, such that Algorithm 10 uses m + n 1 comparisons to merge them into one sorted list.

The complementary graph G of a simple graph G has the same vertices as G. Two vertices are adjacent in G if and only if they are not adjacent in G. Describe each of these graphs. (a) Kn (b) Km.n (c)...

Find EF, given 8 3 E = 9 2 4 651 F = 2 7 59 EF is defined: 2 x (33) x 2. EF will be 2 x 2. RICI RIC2 EF = R2C1 R2C2 = 9(8)+2(2)+4(5) 9(3)+2(7)+4(9) = 6(8)+5(2)+1(5) 6(3)+5(7)+1(9) 78 96 77 63 62 38

Find the product CD, given 4 1 5 8 6 C = 69 D = 4 3 1 7 2 CD is defined: 3 x (22) x 3. CD will be 3 x 3. RICI RIC RC3] CD R2C1 R2C2 R2C3 R3C1 R3C2 R3C3.

Redo Problem 5.17 for AB in Problem 5.19, where B is the transpose of B: Note from Problems 5.19 to 5.21 that AB BA AB. This further reflects the fact that matrix multiplication is not commutative....