1. How could you analyze the property of equivalence between two different syste

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.

You may also like