Can anyone suggest me a good (possibly open-source) tool able to take a finite state automaton (either deterministic or nondeterministic) and to calculate the corresponding optimal automaton?

It would be great if the tool was able to convert a nondeterministic automaton to a deterministic one.

  • \$\begingroup\$ I know some of the terms you're using and not others. Can you provide more background by defining the terms 'finished state automaton' (and how it can be deterministic or non-deterministic) and an optimal automaton? I've heard of finite state machines but I don't know if a 'finished state automaton' is the same or similar or none of the above. \$\endgroup\$ – AngryEE Feb 27 '12 at 20:50
  • 1
    \$\begingroup\$ @AngryEE all of those are standard terms - wikipedia is your friend -> en.wikipedia.org/wiki/Finite-state_machine \$\endgroup\$ – mazurnification Feb 28 '12 at 11:40
  • \$\begingroup\$ After the edit, yes they're all standard terms. Before he didn't call it a finite state machine (which I'm familiar with). I've looked like an idiot more times than I can count by assuming what people meant when it was something else. Now I guess I've found a new way to look like an idiot ;) \$\endgroup\$ – AngryEE Feb 28 '12 at 14:02

Yes, there are tools... But they are language specific.



http://poppy.snu.ac.kr/~kchoi/class/lc_intro/fsm_opt.pdf (last page)


Anyways, you should be a bit more clear on what exactly you want to do. There are tools and google is your friend.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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