Supnorm (command)

File: supnorm

Description: This program builds the supremal normal sublanguage of the language generated by H.fsm with respect to G.fsm and the set of observable events in G.fsm. L(H_norm) = L(H)^N with respect to L(G) and the set of observable events in G.fsm.

Input:   H.fsm - Input FSM


 * G.fsm - Reference FSM

Output: H_norm.fsm - FSM for Supremal Normal Sublanguage