Definition 3.2.2: Let M and N be DGSMs with _M = _N = _. Then M and N are equivalent DGSMs provided that for each state of M there is an equivalent state of N, and conversely.
Example 3.2.1.
_1 = [s0], [s1, s2]
| Previous slide | Next slide | Back to first slide | View graphic version |