Skip to content

cyx-efrei/automata_efrei_s4

Repository files navigation

Python automate

Pour visualiser correctement ce fichier, merci de l'ouvrir sur le repo git associé : https://github.com/Cyrilnkl/automata_efrei_s4.git

Project of S4 in Finite Automata, Efrei.

Written in python, this program offers several features:

  • Reading a FA
  • Is the FA deterministic? deterministic and complete? standard?
  • If the FA is not standard, standardizing
Status Description Color Code
Working The Functionality is available. Working
Started Pending, Some other issues OR not checked that is it working or not. Others
Not-Started The function is not working OR doesn't exist. Not-Working

AUTO-MATE FUNCTIONS


Functions Description Status
is_deterministic Check whether the automaton FA is deterministic. Working
is_complete Check whether the deterministic automaton FA is complete. Working
is_standard Check whether the deterministic automaton FA is standard. Working
completion Construction of a complete deterministic automaton from a deterministic automaton FA if the latter is not complete. Working
determinization Construction of a complete deterministic automaton from a non-deterministic automaton FA. Working
stantardization Construction of standardize automaton from a non-standardize automaton. Working
display_matrix Display the automaton. Working
word_recognition Testing word recognition. Working
complement Creating an automaton recognizing the complementary language. Working



Authors




How to use

Run in your terminal :

git clone https://github.com/Cyrilnkl/automata_efrei_s4.git

cd automata_efrei_s4

Install requirements :

python -m pip install -U prettytable

Run the program :

python3 main.py

Lessons Learned

  • What did you learn while building this project? What challenges did you face and how did you overcome them?

Managing our time and working together have been complicated challenges.

Some tasks required others and so we had to organize ourselves so that each of us could finish his or her duties properly and then hand over to another person.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages