Your statements are correct. The output of ;: is either parts of the input or pointers into it, so it is usually used to parse sequences, breaking them into parts. If you need to perform different actions based on the parts, you postprocess the output of ;:, perhaps looking at the sequence of states that was generated.
Henry Rich > -----Original Message----- > From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] On Behalf Of Tracy Harms > Sent: Thursday, January 25, 2007 9:39 AM > To: [email protected] > Subject: [Jprogramming] Re: how general is sequential machine? > > Perhaps it will help if I ask questions that are more specific. > > > > Are the following assertions true? > > > > Sequential machine (;:) implements only deterministic finite state > machines. > > > > Sequential machine (;:) more naturally fits Mealy model finite state > machines. > > > > Sequential machine (;:) may be used to implement Moore model finite > state machines, if care is taken to restrict the output appropriately. > > > > Thank you, > > > > Tracy Bruce Harms > > ---------------------------------------------------------------------- > For information about J forums see > http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
