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.