Difference between revisions of "CoE165 2024 Assignment 05"

Revision as of 22:37, 9 December 2024

Problem from our textbook (Exercise 3, page 132). Provide a short narrative describing your solution.
Consider the following synchronous composition of two state machines A and B:

Construct a single state machine C representing the composition. Which states of the composition are unreachable?

Problem from our textbook (Exercise 2, page 172). Provide a short narrative describing your solution.
Consider the following state machine in a synchronous feedback composition:

Is it well-formed? Is it constructive?
If it is well-formed and constructive, then find the output symbols for the first 10 reactions. If not, explain where the problem is.
Show the composition machine, assuming that the composition has no input and that the only output is $y$ .

Problem from our textbook (Exercise 4, page 173). Provide a short narrative describing your solution.
For the following synchronous model, determine whether it is well formed and constructive, and if so, determine the possible sequences of values of the signals $s_{1}$ and $s_{2}$ . Note that machine $A$ is nondeterministic.

Do not forget to add your name and student number at the top of the page.
Deadline:
- Tuesday, December 17, 5pm.
- Late submissions are not allowed, and will get a score of zero.
Submit your PDF file here:
- Link to be updated soon.

@@ Line 1: / Line 1: @@
 == CoE165 Assignment 5 ==
-=== Part 1: Synchronous Feedback Composition  ===
+=== Part 1: Composition of State Machines ===
+* Problem from our textbook (Exercise 3, page 132). Provide a short narrative describing your solution.
+* Consider the following synchronous composition of two state machines A and B:
+[[File:Screenshot 2024-12-09 at 10.34.24 PM.png|none|800px]]
+* Construct a single state machine C representing the composition. Which states of the composition are unreachable?
+=== Part 2: Synchronous Feedback Composition  ===
 * Problem from our textbook (Exercise 2, page 172). Provide a short narrative describing your solution.
 * Consider the following state machine in a synchronous feedback composition:
@@ Line 11: / Line 19: @@
 # Show the composition machine, assuming that the composition has no input and that the only output is <math>y</math>.
-=== Part 2: Synchronous Feedback Composition  ===
+=== Part 3: Synchronous Feedback Composition  ===
 * Problem from our textbook (Exercise 4, page 173). Provide a short narrative describing your solution.
 * For the following synchronous model, determine whether it is well formed and constructive, and if so, determine the possible sequences of values of the signals <math>s_1</math> and <math>s_2</math>. Note that machine <math>A</math> is nondeterministic.