v1.0.0

This is the first complete and stable release of YAAS.

The current tool features are:

Finite Automata (FA)

• Full support for Deterministic and Nondeterministic Finite Automata modeling, test and simulation;
• Create, edit, save and save as image;
• Support to add all missing transitions;
• Support for removal of inaccessible and useless states;
• Conversion from Nondeterministic Finite Automaton to Deterministic Finite Automaton;
• Deterministic Finite Automaton minimization;
• Regular Operations:
  • Union;
  • Concatenation;
  • Kleene Star;
  • Complement;
  • Intersection.

Pushdown Automata (PDA)

• Full support for Deterministic and Nondeterministic Pushdown Automata modeling, test and simulation;
• Create, edit, save and save as image;
• Conversion from Final State to Empty Stack and vice-versa acceptance types.

Turing Machines (TM)

• Full support for Deterministic Turing Machines modeling, test and simulation;
• Support for Nondeterministic Turing Machines modeling;
• Create, edit, save and save as image;
• Automatic detection of infine loops, i.e., Turing Machines that never halt.

Instalation

The recommendation is to use the installer for Windows, but if you are on another platform, you will need to have version 18 or later of the JDK or JRE installed on your system.