Re: RTS graph and "temporal formulas"

[Emanuel Berg <embe8573@student.uu.se>]

"Dan'l Miller" <optikos@verizon.net> writes:

> You cross the line of answering the test question for you when
> you ask whether a transition will be made or not.

Oh, that was by mistake. Actually, I don't think those questions
are difficult at all once you understand the machine.

And, I always make an effort to use correct terminology. If it is
sloppy, it is not because my attitude is sloppy.

Is this correct:

You should always move from one state to another if the stimulus
of a transition holds.

The postconditions of the states does not influence this: they
express what holds for the timers if computation is at that state,
less the system is broke (inconsistent).

Question: if the timer is say 5, and transition is at "timer =
10", does that mean you "pause" (compute) at the current state,
while incrementing the timer? timer = 5, 6, 7, 8, 9, 10 - OK, the
stimulus holds, and the transition is made?

-- 
Emanuel Berg - programmer (hire me! CV below)
computer projects: http://user.it.uu.se/~embe8573
internet activity: http://home.student.uu.se/embe8573