<b>(a)</b> M = [K, <img src="http://twimgs.com/ddj/ddj/images/ddj9905e/sum12.gif" alt="[Sigma]" width="7" height="9">, O, <img src="http://twimgs.com/ddj/ddj/images/ddj9905e/delta12.gif" alt="" width="5" height="10"><sub>s</sub>, <img src="http://twimgs.com/ddj/ddj/images/ddj9905e/delta12.gif" alt="" width="5" height="10"><sub>o</sub>, s] <b>(b)</b> <img src="http://twimgs.com/ddj/ddj/images/ddj9905e/delta12.gif" alt="" width="5" height="10"><sub>s</sub>: K × <img src="http://twimgs.com/ddj/ddj/images/ddj9905e/sum12.gif" alt="[Sigma]" width="7" height="9"> <img src="http://twimgs.com/ddj/ddj/images/ddj9905e/arrow12.gif" alt="" width="10" height="7"> K <b>(c)</b> <img src="http://twimgs.com/ddj/ddj/images/ddj9905e/delta12.gif" alt="" width="5" height="10"><sub>s</sub> (s, i) = s<i>'</i> <b>(d)</b> I=[K, <img src="http://twimgs.com/ddj/ddj/images/ddj9905e/sum12.gif" alt="[Sigma]" width="7" height="9">, <img src="http://twimgs.com/ddj/ddj/images/ddj9905e/delta12.gif" alt="" width="5" height="10">, c] <b>(e)</b> (k <img src="http://twimgs.com/ddj/ddj/images/ddj9905e/memof12.gif" alt="[is a member of]" width="8" height="8"> K, <img src="http://twimgs.com/ddj/ddj/images/ddj9905e/sigma12.gif" alt="" width="8" height="7"> <img src="http://twimgs.com/ddj/ddj/images/ddj9905e/memof12.gif" alt="[is a member of]" width="8" height="8"> <img src="http://twimgs.com/ddj/ddj/images/ddj9905e/sum12.gif" alt="[Sigma]" width="7" height="9">)
Figure 2: Defining FSMs.
Copyright © 1999, Dr. Dobb's Journal