YAAS

KO | EN

gitlite — search

#python #react #ai #llm #go #golang #docker #macos #cli #kubernetes #vue #awesome-list #security #openai

(★ 12)

Yet Another Automata Simulator (YAAS) is a prototype tool for simulating the execution of Finite Automata, Pushdown Automata and Turing Machines.

YAAS Latest Version Download

Download Latest Version (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# YAAS

Yet Another Automata Simulator (YAAS) is a prototype tool for simulating the execution of Finite Automata, Pushdown Automata and Turing Machines. 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.

## Author

This tool is developed by Prof. Dr. David Buzatto.

YAAS

YAAS Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

YAAS

YAAS Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

Download README