<DIV>Hi all</DIV>
<DIV>&nbsp;</DIV>
<DIV>I'm trying to construct a cover for a finite state machine and need&nbsp;to devise&nbsp;a strategy beforehand.&nbsp; Thing is I'm having a little trouble.&nbsp; Could anyone suggest a generic strategy that can be used for constructing a cover (things like how I would identify the machines alphabet and so on).</DIV>
<DIV>&nbsp;</DIV>
<DIV>Not sure if everyone else calls them covers, so a quick description:-</DIV>
<DIV>&nbsp;</DIV>
<DIV>FSM (M) has a finite number of states, so it should be possible to find a finite set of strings (C) which lets you reach each and every state in M from the initial state.&nbsp; ie given any state s you can find&nbsp;a string w = a1a2....am in C for which initial state -&gt; a1.....-&gt;am s is a path in M.</DIV>
<DIV>&nbsp;</DIV>
<DIV>Any stratagies would&nbsp;be greatly appreciated, thanks</DIV>
<DIV>&nbsp;</DIV>
<DIV>Stu</DIV><p>
                <hr size=1> <font size="2" face="Verdana, Arial, Helvetica, sans-serif"><a href="http://uk.rd.yahoo.com/evt=21626/*http://uk.messenger.yahoo.com"><strong><font face="Arial, Helvetica, sans-serif">ALL-NEW 
Yahoo! Messenger</font></strong></a><font face="Arial, Helvetica, sans-serif"><strong> 
- all new features - even more fun!</strong></font><strong><font color="#FF9900"> 
</font></strong></font>