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. |  |
| Started | Pending, Some other issues OR not checked that is it working or not. |  |
| Not-Started | The function is not working OR doesn't exist. |  |
| Functions | Description | Status |
|---|---|---|
| is_deterministic | Check whether the automaton FA is deterministic. | |
| is_complete | Check whether the deterministic automaton FA is complete. | |
| is_standard | Check whether the deterministic automaton FA is standard. | |
| completion | Construction of a complete deterministic automaton from a deterministic automaton FA if the latter is not complete. | |
| determinization | Construction of a complete deterministic automaton from a non-deterministic automaton FA. | |
| stantardization | Construction of standardize automaton from a non-standardize automaton. | |
| display_matrix | Display the automaton. | |
| word_recognition | Testing word recognition. | |
| complement | Creating an automaton recognizing the complementary language. | |
- @Cyrilnkl
- @Alinahas1311
- @nkrief4
- @P4ND4P0W3R
- Louis Fabre
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
- 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.