Transformations of Pairs of FSMs

摘要

The paper presents a concept of two FSMs sharing elements. Transformation of a pair of independent Mealy FSMs sharing input symbols to other pair of FSM with separated inputs and sharing internal states and back transformation are constructed. The concept of pairs of FSM that share some of their component was introduced in "Dynamics of System Alliances" project [6]. The transformation of FSMs sharing input symbols was already discussed in [6] but the back transformation has not been published yet. So, two types of reciprocal meaningful transformations are presented which are based on Mealy to Moore FSM and Moore to Mealy FSM transformations. Practical aspects are discussed.