FSA composition and supervisor design
Due date: 6.11.2020
In this assignment you will
- perform parallel composition of two automata
- translate rules into FSA
- construct observer automata
- 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.