Sun Jul 19 09:09:57 CEST 2009

machine specification

It looks like this diverging/converging semantics problem really needs
a good way to specify bottom line operational semantics.

Can this bottom line be expressed in terms of a proto Forth machine
instead of lisp or dataflow?

I am very confused atm...  It seems this is all somewhat
straightforward: i don't see any _real_ problem other than encoding
the vague description in a collection of data structures..  However, I
don't seem to see how to start.  This makes me think I'm
underestimating a certain element.

Let's pick up the data flow language again, and build an ALU
simulator to see how exactly the specification would go for the dasm
<-> alu connection to make the simulator.