|
Presentation
"Automata" program has been developed for automates editing and
testing. An automate is defined by 5 entities { Q, ∑, q0, &, F }.
There are some functionalities integrated with a friendly user
interface. When an automate is edited (or loaded), it can be tested (or
saved) in many ways.
All commands in Automata can be called from the menu or by using
keyboard shortcuts.
Running platform
Should run in all platforms supporting Win32 applications.
Tools used
This is a Win32 application, programmed using Windows MFC libraries.
Graphics are drawn using GDI.
|
|

|