Fri Jan 2 12:36:05 EST 2015
State machine compiler
So how to distinguish state from input? Let's see if we can learn
something from erlang. Is it possible to model input as a message,
i.e. have a "receive" block in the loop?