Question: Prove that the following code fragment will always terminate. s = 3*n // n is an integer while (s>0) if (s is even) S

Prove that the following code fragment will always terminate. s = 3*n // n is an integer while (s>0) if (s is

Prove that the following code fragment will always terminate. s = 3*n // n is an integer while (s>0) if (s is even) S else = floor (s/4) S := 2*s 2

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock

The image contains a code fragment written in pseudocode The pseudocode aims to demonstrate an algorithm that according to the statement preceding it ... View full answer

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

1. Perform the following conversions: 2. a. 428 cm to hm (1 mark) b. 2748 yd to km (2 marks) c. 7.0 m to ft (2 marks) a. Calculate the surface area of a rectangular prism which is 2 cm 4 cm x 6 cm....

The wave function, y(x), of an electron in a potential well of finite depth and width, L, is given by w(x) = Aex for x 0 y(x) =F sin(kx) + G cos(kx) for 0xL y(x) = Be-C for x L a. Given F = G =5, k...

1. In a railroad yard, a train is being assembled. An empty boxcar, coasting at 3 m/s along a frictionless track, strikes a loaded car that is stationary, and the cars couple together. Each of the...

3. (20 points) Consider the following addition to the code. public class MockMode extends Mode { State state; **/ * Attempts to update the state so that the operation will be allowed. */ @Override...

lup ] (d) Show how a generating (or "mother") wavelet (x) can spawn a family of "daughter" wavelets jk(x) by simple shifting and scaling operations, and explain the advantages of representing...

"Fortran, Algol and Lisp invented most programming language concepts 50 years ago; adding the concept of object-orientation suffices to explain all programming languages to date". To what extent is...

answer the question clearly You are building a flight-control system for which a convincing safety case must be made. Would you assign the tasks of safety requirements engineering, test case...

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...

QUESTION 1: JAVA PROGRAMMING Company XYZ has 243 blocks of building for its business operation, where each block has 7 floors. The distance between each floor is 7 meters. The blocks are connected...

ANSI-SPARC6 Programming Language Compilation Write notes on each of the following topics: (a) the implementation of labels and jumps in a recursive, block structured programming language [7 marks]...

A commuter train leaves the Metro transit station at precisely 10:00 AM. You intend to board the same train at the next stop in Whistleville, located 14 miles away from the Metro transit station. The...

What is a DNA sequence?

1 Process costing is used to calculate the cost of homogenous goods or services. 0 1 2 9 : 3 8 True or False

Solve the following differential equation (y* +2.xy)dx -[kxy** + y**e +2y* * In y + (2k - 1)x ]dy = 0 2k+1 where k =50 + last two digit in your student number (for student number 201 to 209) k= last...

Design and implement a easy C++ program with array and string read in a whole line of characters as the input string; count and display how many times how frequently (among the letters) each (case...

Income before income tax was $190,400, and income taxes were $28,900, for the current year. Cash dividends paid on common stock during the current year totaled $37,485. The common stock was selling...

freezing point v) 0.5 molar Naon salutim having is 299 k wwhen it is dissolved in ethanol with freezing point is . it's * 300k. What is ATF ?

On January 1 2011 the Brunswick Hat Company adopted the dollar-value LIFO retail method. The following data are available for 2011. FO 1, 2011, the Brunswick Hat Company adopted the dollar data are...

How do you select additional data you want to add to a standard project report

Use a complete ternary decision tree to repeat Example 12.15 for a set of 12 coins, exactly one of which is heavier (and counterfeit).

A carton contains 20 computer chips, four of which are defective. Isaac tests these chips - one at a time and without replacement - until he either finds a defective chip or has tested three chips....

(a) For U = {1, 2, 3}, let A = P(U). Define the relation R on A by B R C if B C. How many ordered pairs are there in the relation R? (b) Answer part (a) for U = {1, 2, 3, 4}. (c) Generalize the...

Suppose that you estimate a model of house prices to determine the impact of having beach frontage on the value of a house. You do some research, and you decide to use the size of the lot instead of...

Return to Section 5.3 and test the hypotheses implied by Equation 5.5 with the results in Equation 5.6 for all three coefficients under the following circumstances: a. 10 percent significance and 15...

Lets return to the model of iPod prices on eBay that was developed in Exercise 7 in Chapter 3. That equation was: Where: PRICE i = the price at which the ith iPod sold on eBay NEW i = a dummy...