Conflict (command)

File: conflict

Description:  This program tests for non-conflicting languages for the two given FSMs. The machine HG.conf.fsm

contains traces that violate the non-conflicting condition, namely, those in (Lm(H) /\ Lm(G)) \ (Lm(H) /\ Lm(G))

The program requires that both input machines are trim. The program will assume that the machines are accessible and will check if they are co-accessible. If the machines aren't co-accessible. If the machines aren't co-accessible, they are made so and a warning is issued.

Input:   H.fsm - Input FSM1


 * G.fsm - Input FSM2

Output:  HG_conf..fsm - Conflicting traces