CoE165 2024 Assignment 05

CoE165 Assignment 5

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$:

• 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:

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

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 $s_{1}$ and $s_{2}$. Note that machine $A$ is nondeterministic.

Submission

• 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:
  • https://forms.gle/mvpMKvUW8ZPP9eVj9