Theorem 3.1.2: a function f: _*____* is a DGSM function if and only if it is extendible and of finite index.
Example 3.1.8.
From the unit delay function of Example 3.1.6 we obtain the DGSM
Theorem 3.1.3: if M is a DGSM and L ____* is regular, then M(L) ____* is also regular.
| Previous slide | Next slide | Back to first slide | View graphic version |