Sat Jan 22 16:51:58 EST 2011

Different state space form

I'm thinking that another form might be more convenient.  Just write:

   (s (... s ...))
   (o (i ... s ...)))

In this case, inputs only occur on the RHS, outputs only occur on the
LHS, and state updates occur on both.  That seems the most economical