Re: RTS graph and "temporal formulas"

["Dan'l Miller" <optikos@verizon.net>]

On Thursday, August 22, 2013 4:04:33 PM UTC-5, Emanuel Berg wrote:
> You should always move from one state to another if the stimulus
> of a transition holds.

  Yes.

> Question: if the timer is say 5, and transition is at "timer =
> 10", does that mean you "pause" (compute)

  Yes, pause, which means "don't compute in this FSA" = "go compute something else that takes less than 5 clock ticks".  If this is a multitasking operating system or emulation thereof, schedule something other than this FSA to execute.

> at the current state, while incrementing the timer?

  Remember that the timer is a sensor of reality.  God increments real-time's timer for you.  The sensor merely reads the progression of God's real-time.  I would reword as "while time naturally passes" during other computations outside of this FSA.

> timer = 5, 6, 7, 8, 9, 10 - OK, the stimulus holds, and the transition is made?

  Yes, then evoking any Mealy response side-effects of traversing that transition, then evoking any Moore response upon entry into the state into which that transition ingresses.