From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: References on encoding (Hierarchical) State Machines / Automata in Ada?
Date: Wed, 13 Feb 2013 13:25:43 -0700
Date: 2013-02-13T13:25:43-07:00 [thread overview]
Message-ID: <kfgsqt$5ll$1@dont-email.me> (raw)
In-Reply-To: <lypq04qebe.fsf@pushface.org>
> david.mentre@gmail.com writes:
>
> Would somebody have references on the encoding of State Machines or
> Hierarchical State Machines in Ada?
I recall someone named Robert Dewar (whoever he is :) saying that the mechanical
implementation of STDs is a place where one should use "goto". That was here on
c.l.a:
https://groups.google.com/forum/?fromgroups=#!topic/comp.lang.ada/tFlS5d7bfpo
This might also be interesting:
https://groups.google.com/forum/?fromgroups=#!topic/comp.lang.ada/FPcgCSWstXk[1-25-false]
--
Jeff Carter
"Mr. President, we must not allow a mine-shaft gap!"
Dr. Strangelove
33
next prev parent reply other threads:[~2013-02-13 20:25 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-01-21 10:42 References on encoding (Hierarchical) State Machines / Automata in Ada? david.mentre
2013-02-13 15:30 ` Eryndlia Mavourneen
2013-02-13 16:02 ` rrr.eee.27
2013-02-13 18:05 ` Simon Wright
2013-02-13 20:25 ` Jeffrey Carter [this message]
2013-02-13 22:28 ` Simon Wright
2013-02-14 8:34 ` Dmitry A. Kazakov
2013-02-14 0:00 ` jpwoodruff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox