On Dec 15, 2004, at 10:01 AM, Orton, Yves wrote:
IMO yes. However its also similar to the type of production system described
by Church. (hefty IIRC on that :-)
So long as there can only be one legal transition for a given configuration
of the machine then its a DFA.
So maybe it should be DFA::Rules?
Regards,
David
