FSA composition and supervisor design

Due date: 6.11.2020

In this assignment you will

  1. perform parallel composition of two automata
  2. translate rules into FSA
  3. construct observer automata
  4. test controllability and observability

There is no need to do more than you're asked!! No need to write up a report or enclose your work in a nice binding.