Equiv (command)

File: equiv

Description:  This program tests for the language equivalence of two machines.

Input:   H - Input FSM1


 * G - Input FSM2

Output: IF L(H) = L(H) and if Lm(H) = Lm(G).

