Advertisements
Advertisements
Question
Exchange the contents: Given two glasses marked A and B. Glass A is full of apple drink and glass B is full of grape drink. Write the specification for exchanging the contents of glasses A and B, and write a sequence of assignments to satisfy the specification.
Solution
The sequence of assignments to satisfy the specification:
exchange(A, B)
–inputs : A, B are real and > 0
–outputs: A, B are real and > 0
State representation
T = A
A: = B
B: = T
APPEARS IN
RELATED QUESTIONS
Draw a flowchart for the conditional statement.
Both conditional statements and iterative statements have a condition and a statement. How do they differ?
What is case analysis?
Decanting problem. You are given three bottles of capacities 5,8 and 3 litres. The 8L bottle is filled with oil, while the other two are empty. Divide the oil in an 8L bottle into two equal quantities. Represent the state of the process by appropriate variables. What are the initial and final states of the process? Model the decanting of oil from one bottle to another by assignment. Write a sequence of assignments to achieve the final state.
Suppose u, v = 10 ,5 before the assignment. What are the values of u and v after the sequence of assignments?
1 u := v
2 v := u
Which of the following properties is true after the assignment (at line 3)?
1 --i, j = 0, 0
2 i, j := i+1, j-1
3 --?
If C1 is false and C2 is true, the compound statement
1 if C1
2 S1
3 else
4 if C2
5 S2
6 else
7 S3
executes
How many times the loop is iterated?
i := 0
while i ≠ 5
i := i + 1
