Supcn pc (command)

File: supcn.pc

Description: This program builds the supremal controllable normal sublanguage of the language generated by H.fsm with respect to G.fsm. L(h_supnorm) = L^CN(h) with respect to L(G) and the sets of controllable and observable events in G.fsm. This only works for prefix-closed languages.

Inputs:  H.fsm - Input FSM


 * G.fsm - Reference FSM

Output: H_supcn.fsm - FSM for Supremal Controllable Normal sublanguage

Detail: The following algorithm implements the equation K(sup_cn) = F^(-1) { supcon [ P ( k(supnorm) ) ] } X M)