Hi Jim,

I'm probably not adding much,but I was taught that there are two common
types of theortical state machines: Mealy type and Moore type. I can't
recall which is which,but for one of the types, the output of the machine
depends ONLY on the current state. For the other type, it depends on both
the current state and the current inputs.

This distinction is reflected in the way the diagrams are drawn. IIRC, for
the one in which the outputs depend only on the state, the output is drawn
in the circle,and the transition condition on the arrows (as you say). For
the other type, nothing is drawn in the circle (or, I guess you could
number the states in some way) and the arrows are labeled by two codes
separated by a comma. The first code is the transition condition, the
second is the output which corresponds to that condition.

Sean

At 02:32 AM 8/24/99 +0000, you wrote:
>Documenting a PIC project usually involves a state diagram.  I recall
>from my earlier days in a software engineering project a methodology
>that caught me by surprise.
>
>The one I am used to is a circle for each state, and lines with arrows
>for the transitions.  The lines are then labelled with the condition
>that causes the transition.
>
>Does anyone recall alternative methodologies?
>Has anyone got a set of semantic rules?
>
>--
>James Cameron                                      (quozl@us.netrek.org)
>
>Linux, Firewalls, OpenVMS, Software Engineering, CGI, HTTP, X, C, FORTH,
>COBOL, BASIC, DCL, csh, bash, ksh, sh, Electronics, Microcontrollers,
>Disability Engineering, Netrek, Bicycles, Pedant, Farming, Home Control,
>Remote Area Power, Greek Scholar, Tenor Vocalist, Church Sound, Husband.
>
>"Specialisation is for insects." -- Robert Heinlein.
>
|
| Sean Breheny
| Amateur Radio Callsign: KA3YXM
| Electrical Engineering Student
\--------------=----------------
Save lives, please look at http://www.all.org
Personal page: http://www.people.cornell.edu/pages/shb7
mailto:shb7@cornell.edu ICQ #: 3329174
________________________________________________________
NetZero - We believe in a FREE Internet.  Shouldn't you?
Get your FREE Internet Access and Email at
http://www.netzero.net/download/index.html