comp.lang.ada
 help / color / mirror / Atom feed
From: Emanuel Berg <embe8573@student.uu.se>
Subject: Re: RTS graph and "temporal formulas"
Date: Thu, 22 Aug 2013 02:19:19 +0200
Date: 2013-08-22T02:19:19+02:00	[thread overview]
Message-ID: <87txiir2zj.fsf@nl106-137-194.student.uu.se> (raw)
In-Reply-To: b418f81f-c488-4573-88b7-0c5a660a21d1@googlegroups.com

optikos@verizon.net writes:

> ... in the Wikipedia articles to which I directed you.

Yes, I will read it.

Only one more thing, for A, the "Moore-nomenclature response" is x
<= 10, but transitions from A are at x < 5 and x > 11. Does this
mean that the x < 5 transition is never made, because until x =
11, there is computation at A? Or does the A condition *hold* when
it is OK to make transitions? Or doesn't the A condition impact
flow, it just tells something about the system at state A?  Or
does computation "fork" so there are numerous processes all around
the graph?

/The Hairdresser

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

  reply	other threads:[~2013-08-22  0:19 UTC|newest]

Thread overview: 26+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-08-21 20:04 RTS graph and "temporal formulas" Emanuel Berg
2013-08-21 20:11 ` dukeofpurl
2013-08-21 20:16   ` Emanuel Berg
2013-08-21 21:19 ` optikos
2013-08-21 22:50   ` Emanuel Berg
2013-08-21 23:33     ` optikos
2013-08-22  0:19       ` Emanuel Berg [this message]
2013-08-22 16:17         ` Dan'l Miller
2013-08-22 21:04           ` Emanuel Berg
2013-08-22 21:32             ` Dan'l Miller
2013-08-22 21:35               ` Emanuel Berg
2013-08-22 21:45                 ` Dan'l Miller
2013-08-22  0:59       ` Adam Beneschan
2013-08-22  8:51         ` Georg Bauhaus
2013-08-22 15:42           ` Adam Beneschan
2013-08-22 15:58             ` Alan Jump
2013-08-22 18:34             ` Georg Bauhaus
2013-08-22 18:56               ` Adam Beneschan
2013-08-22 21:12                 ` Georg Bauhaus
2013-08-22 21:11               ` Robert A Duff
2013-08-23 13:52                 ` Shark8
2013-08-23 15:36                   ` Robert A Duff
2013-08-23 17:09                   ` Jeffrey Carter
2013-08-25 10:22                   ` AdaMagica
2013-08-26 15:23                     ` Adam Beneschan
2013-08-27 12:44                       ` Stephen Leake
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox