Refine (command)

File: refine

Description: This program refines a given reference FSM G.fsm with respect to a given input FSM H.fsm. It generates output machine Gr, which is a supermachine of H, where L(Gr) = L(G), and Lm(Gr) = Lm(G).

Input:   H.fsm - Input FSM


 * G.fsm - Reference FSM

Output: H_refine.fsm - Supermachine of G.fsm