From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: Emanuel Berg <embe8573@student.uu.se>
Newsgroups: comp.lang.ada
Subject: Re: RTS graph and "temporal formulas"
Date: Thu, 22 Aug 2013 00:50:55 +0200
Organization: Aioe.org NNTP Server
Message-ID: <87zjsar72v.fsf@nl106-137-194.student.uu.se>
References: <87mwoastdi.fsf@nl106-137-194.student.uu.se>
	<9d7e5c6c-aeb9-4ac1-a7b0-c048061ae4c6@googlegroups.com>
NNTP-Posting-Host: FplVx5MqBzlFp1u9bZOXWQ.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: abuse@aioe.org
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
X-Notice: Filtered by postfilter v. 0.8.2
Cancel-Lock: sha1:6/tXthGaq/LYLZTwY42jaRgVqE8=
Xref: news.eternal-september.org comp.lang.ada:16926
Date: 2013-08-22T00:50:55+02:00
List-Id: <comp.lang.ada>

optikos@verizon.net writes:

> You turn to the Ada-language Usenet group for a question about
> 1950s mathematics-nomenclature?  Oh well.  Instead of "get off
> my lawn", I will point you in the right direction, which
> generally leads away from here. :-)

The reason I posted here is that we had Ada in the course.

Thanks for the tutorial, very helpful. I will read those pages,
only: the "x := 0" response transition doesn't have a stimuli. The
state it comes from has one, so perhaps that should be used?

But then, the "A" state has a stimuli (x <= 10), and two outgoing
transitions *with* stimuli (x < 5 and x > 11) - how should this be
interpreted?

Last: the clocks - do they start at 0?

Making a transition, that doesn't take any time, does it?

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