8
$\begingroup$

I'm migrating this question from CS.SE as suggested.

I'm looking for some tool, either online or not, to let students play with automata.

What I'm looking for specifically is for a tool that allows one to build an automaton and construct its powerset and then its minimal DFA.

I've found this tool online: https://cyberzhg.github.io/toolbox/min_dfa

It is actually good when you start from a regular expression, but it does not let you play with the automaton and e.g. change some transitions or add/remove states and see how the minimal DFA changes.

Is there any tool like this around?

On CS.SE, a comment suggested flaci.com, which is really nice, but as far as I can tell, it lacks the powerset construction.

New contributor
Nicola Gigante is a new contributor to this site. Take care in asking for clarification, commenting, and answering. Check out our Code of Conduct.
$\endgroup$

2 Answers 2

9
$\begingroup$

I developed a tool to use in the theory of computation course I teach. If you want to take a look, the project is available here: https://github.com/davidbuzatto/YAAS/

There is a version with an installer for Windows. The installer is not signed, so your browser and Windows will complain that the file is "not safe". For Linux users, just use the .jar file also made available in the releases.

There are some bugs, but in my humble opinion, the GUI is better than JFLAP's. From a functionality point of view, JFLAP is much more complete than my tool.

I haven't developed a tutorial on how to use it, but I have a presentation video on my YouTube channel that you can take a look at. The video was recorded in Brazilian Portuguese, but I believe it can be useful for you to see what can be done.

https://www.youtube.com/watch?v=ILxWF1mf8PY

$\endgroup$
2
  • 2
    $\begingroup$ Your tool is awesome! That's exactly what I was looking for. Thanks! $\endgroup$ Commented 2 days ago
  • $\begingroup$ @NicolaGigante my pleasure! $\endgroup$ Commented 2 days ago
8
$\begingroup$

Susan Rodger of Duke University CS, along with her team, has developed a comprehensive set of tools, JFLAP, for this. Visit https://www.jflap.org to obtain them (no cost). It was (and maybe still is) a research interest of hers.

You will need to investigate its capabilities, however. There is an associated book that you can find at the above link.

Note: She is a friend of mine, but I'm not related to the project.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.