Sat Sep 10 09:18:54 EDT 2011
Combinatory Logic and State Machines
Rename the classes?
DSPM : combinatorial logic
behaviour = stateless (expresses a function)
however, the _structure_ is also specified
SigOpM : state machine (mealy machine) built from
combinatorial logic building blocks.
What I have in mind is a numeric state space model (SSM), but the
interface is probably generic enough to accomodate a generic mealy
machine. One could say that a Mealy machine is a SSM where the rule
expression is a case statement.