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[1] 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.

[1] http://en.wikipedia.org/wiki/Mealy_machine