Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!swrinde!ucsd!hub!henri!doner
From: doner@henri.ucsb.edu (John Doner)
Newsgroups: comp.theory
Subject: Re: Design of FA's with a GUI
Keywords: graphics, finite automata, state machines
Message-ID: <3926@hub.UUCP>
Date: 13 Feb 90 01:15:41 GMT
References: <71@caslon.cs.arizona.edu>
Sender: news@hub.UUCP
Reply-To: doner@henri.UUCP (John Doner)
Distribution: comp
Organization: University of California, Santa Barbara
Lines: 16

In article <71@caslon.cs.arizona.edu> roussos@cs.arizona.edu (George E. Roussos) writes:
>	I am curious to hear of what kind of tools exist for the design
>of finite automata/state machines that use a graphical user interface to
>allow the designer to describe the automata by using a mouse and objects
>to represent the states and transitions into/out of them.  If you have

Within the last two years, I saw a Macintosh program called 'Turing'
that provided these facilities for designing Turing machines.  I think
I downloaded it from Compuserve.  Not sure what I did with it, though.
Does anyone else remember this one?  If not, I'll try a little harder
to locate it.

John E. Doner	       | "The beginner...should not be discouraged if...he
Mathematics, UCSB      | finds that he does not have the prerequisites for
Santa Barbara, CA 93106| reading the prerequisites."
doner@henri.ucsb.edu   |      --Paul Halmos, Measure Theory