Supcn (command)

File: supcn.c

Description: This language builds the supremal controllable normal sublanguage of the language (non-prefix-closed) marked by H.fsm with respect to G.fsm (and the sets of controllable and observable events in G). \overline(Lm(h_supnorm)) = L(h_supnorm)

Note that this does not preserve state names.

Input:   H.fsm - Input FSM


 * G.fsm - Reference FSM

Output: H_supcn.fsm - FSM for supremal controllable normal sublanguage (non-prefix-closed)

Detail: The implemented algorithm implements an iterative algorithm in "A Uniform Approach for Computing Sublanguages Arising in Supervisory Control Theory"