(a)
M = [K, , O, s, o, s]

(b)
s: K ×   K

(c)
s (s, i) = s'

(d)
I=[K, , , c]

(e)
(k  K,   )

Figure 2: Defining FSMs.