Zephyr

Zephyr is a simple command line tool I coded quick and dirty for my studies. It simulates non-deterministic finite state automatons and can do some operations with them like calculating union / interception of two NFAs or searching for the shortest words that are recognized by an NFA.

Zephyr is written in Ada and should compile on any platform, as long as you have an Ada compiler. I don't work on this little project any more, but perhaps someone might find it useful.

I don't spread any binaries, you have to compile it yourself.

Download source