Concat ev (command)

File: concat_ev

Description: At every marked state in the given FSM. this program adds a transition to the DEAD state (added) for every event in A.events not in the active event set of the states in g.fsm. It also adds self-loops for A.events at the DEAD state. Thus, Lm(gA) = Lm(g)A*

Input: H.fsm - Input FSM

A.events - List of events to be concatenated with g.fsm

Output: HA.fsm - Concatenated FSM