Problem
1. How could you analyze the property of equivalence between two different systems described in terms of FSMs? Could you make use of .an FSM interpreter?
2. Give a complete description of the library System described in possibly integrating the use of DFDs with other notations.
3. Give an algebraic specification of the module FIFO_CARS introduced.