Normal (command)

File: normal

Description: This program tests for the normality of L(H) with respect to L(G) and the set of observable events in G.fsm.

Input:   H.fsm - Input FSM


 * G.fsm - Reference FSM

Output: If L(H) is normal with respect to L(G) and the set of observable events in G.fsm