Definition 3.2.3: Let M = (SM, _, _, _M, _M, s0) and N = (SN, _, _, _N, _N, t0) be DGSMs. Then M is state isomorphic to N if there is a total function _: SM _ SN that is both injective and surjective (i.e., 1-1 and onto) so that for all s__SM and ____ (i) _(s,__) = _(_(s),__), and (ii) _(_M(s,__)) = _N(_(s), _). The function _ is called a state isomorphism (or sometimes just an isomorphism).
pictorially
| Previous slide | Next slide | Back to first slide | View graphic version |