Sat Sep 10 09:21:40 EDT 2011

State Space model vs. Mealy Machine

Time to cleanup some terminology.  While a State Space Model (SSM) is
more general than a Mealy Machine in that it's space of states might
be infinite while a MM has a finite set of states, when an SSM is
implemented in hardware it is necessarily a MM because a finite
approximation is made with

However, as a structural description (intension?) the two are usually
very different.  A SSM's state is usually parametric: a single rule is
expressed in terms of state coordinates, while a MM is usually
case-based: each distinct state point corresponds to a separate rule

[1] http://en.wikipedia.org/wiki/Mealy_machine
[2] http://en.wikipedia.org/wiki/State_space_(controls)