[OS X TeX] finite state machines

[Andrei Sobolevskii]

Hi Art,

On Mon, Dec 29, 2008 at 10:58 PM, Art Werschulz <agw at comcast.net> wrote:

> What do people generally use for producing the diagrams for finite state
> automata?  I'm currently using xymatrix.  Is there anything better?
>
> I need to produce circular (and double-circular) nodes that are just big
> enough to hold a given chunk of text, e.g., something like \node{$q_1$} or
> \acceptnode{$q_3$}.  I also would like to draw ovals that are just big
> enough to surround a larger chnuk of text, such as \ovalnode{Door closed}.
>
> Suggestions?  Thanks.

You might wish to look at Till Tantau's pgf package, which is included
in modern TeX distributions by default.  Type "texdoc pgfmanual" in
your command line and (provided that the package is installed
correctly) take a look at Section 23 "Automata Drawing Library."

HTH,
Andrei