GitHub - au2001-efrei/Automatons: A Python program to perform operations on automatons such as determinization, standardization or minimization

This repository has been archived by the owner on Dec 26, 2021. It is now read-only.

au2001-efrei / Automatons Public archive

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A Python program to perform operations on automatons such as determinization, standardization or minimization

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 77 Commits
.gitignore		.gitignore
Int1-8-1-trace.txt		Int1-8-1-trace.txt
Int1-8-1.txt		Int1-8-1.txt
Int1-8-10-trace.txt		Int1-8-10-trace.txt
Int1-8-10.txt		Int1-8-10.txt
Int1-8-11-trace.txt		Int1-8-11-trace.txt
Int1-8-11.txt		Int1-8-11.txt
Int1-8-12-trace.txt		Int1-8-12-trace.txt
Int1-8-12.txt		Int1-8-12.txt
Int1-8-13-trace.txt		Int1-8-13-trace.txt
Int1-8-13.txt		Int1-8-13.txt
Int1-8-14-trace.txt		Int1-8-14-trace.txt
Int1-8-14.txt		Int1-8-14.txt
Int1-8-15-trace.txt		Int1-8-15-trace.txt
Int1-8-15.txt		Int1-8-15.txt
Int1-8-16-trace.txt		Int1-8-16-trace.txt
Int1-8-16.txt		Int1-8-16.txt
Int1-8-17-trace.txt		Int1-8-17-trace.txt
Int1-8-17.txt		Int1-8-17.txt
Int1-8-18-trace.txt		Int1-8-18-trace.txt
Int1-8-18.txt		Int1-8-18.txt
Int1-8-19-trace.txt		Int1-8-19-trace.txt
Int1-8-19.txt		Int1-8-19.txt
Int1-8-2-trace.txt		Int1-8-2-trace.txt
Int1-8-2.txt		Int1-8-2.txt
Int1-8-20-trace.txt		Int1-8-20-trace.txt
Int1-8-20.txt		Int1-8-20.txt
Int1-8-21-trace.txt		Int1-8-21-trace.txt
Int1-8-21.txt		Int1-8-21.txt
Int1-8-22-trace.txt		Int1-8-22-trace.txt
Int1-8-22.txt		Int1-8-22.txt
Int1-8-23-trace.txt		Int1-8-23-trace.txt
Int1-8-23.txt		Int1-8-23.txt
Int1-8-24-trace.txt		Int1-8-24-trace.txt
Int1-8-24.txt		Int1-8-24.txt
Int1-8-25-trace.txt		Int1-8-25-trace.txt
Int1-8-25.txt		Int1-8-25.txt
Int1-8-26-trace.txt		Int1-8-26-trace.txt
Int1-8-26.txt		Int1-8-26.txt
Int1-8-27-trace.txt		Int1-8-27-trace.txt
Int1-8-27.txt		Int1-8-27.txt
Int1-8-28-trace.txt		Int1-8-28-trace.txt
Int1-8-28.txt		Int1-8-28.txt
Int1-8-29-trace.txt		Int1-8-29-trace.txt
Int1-8-29.txt		Int1-8-29.txt
Int1-8-3-trace.txt		Int1-8-3-trace.txt
Int1-8-3.txt		Int1-8-3.txt
Int1-8-30-trace.txt		Int1-8-30-trace.txt
Int1-8-30.txt		Int1-8-30.txt
Int1-8-31-trace.txt		Int1-8-31-trace.txt
Int1-8-31.txt		Int1-8-31.txt
Int1-8-32-trace.txt		Int1-8-32-trace.txt
Int1-8-32.txt		Int1-8-32.txt
Int1-8-33-trace.txt		Int1-8-33-trace.txt
Int1-8-33.txt		Int1-8-33.txt
Int1-8-34-trace.txt		Int1-8-34-trace.txt
Int1-8-34.txt		Int1-8-34.txt
Int1-8-35-trace.txt		Int1-8-35-trace.txt
Int1-8-35.txt		Int1-8-35.txt
Int1-8-36-trace.txt		Int1-8-36-trace.txt
Int1-8-36.txt		Int1-8-36.txt
Int1-8-37-trace.txt		Int1-8-37-trace.txt
Int1-8-37.txt		Int1-8-37.txt
Int1-8-38-trace.txt		Int1-8-38-trace.txt
Int1-8-38.txt		Int1-8-38.txt
Int1-8-39-trace.txt		Int1-8-39-trace.txt
Int1-8-39.txt		Int1-8-39.txt
Int1-8-4-trace.txt		Int1-8-4-trace.txt
Int1-8-4.txt		Int1-8-4.txt
Int1-8-40-trace.txt		Int1-8-40-trace.txt
Int1-8-40.txt		Int1-8-40.txt
Int1-8-41-trace.txt		Int1-8-41-trace.txt
Int1-8-41.txt		Int1-8-41.txt
Int1-8-42-trace.txt		Int1-8-42-trace.txt
Int1-8-42.txt		Int1-8-42.txt
Int1-8-43-trace.txt		Int1-8-43-trace.txt
Int1-8-43.txt		Int1-8-43.txt
Int1-8-44-trace.txt		Int1-8-44-trace.txt
Int1-8-44.txt		Int1-8-44.txt
Int1-8-5-trace.txt		Int1-8-5-trace.txt
Int1-8-5.txt		Int1-8-5.txt
Int1-8-6-trace.txt		Int1-8-6-trace.txt
Int1-8-6.txt		Int1-8-6.txt
Int1-8-7-trace.txt		Int1-8-7-trace.txt
Int1-8-7.txt		Int1-8-7.txt
Int1-8-8-trace.txt		Int1-8-8-trace.txt
Int1-8-8.txt		Int1-8-8.txt
Int1-8-9-trace.txt		Int1-8-9-trace.txt
Int1-8-9.txt		Int1-8-9.txt
L2_Int1_8_alphabet.py		L2_Int1_8_alphabet.py
L2_Int1_8_automaton.py		L2_Int1_8_automaton.py
L2_Int1_8_complementation.py		L2_Int1_8_complementation.py
L2_Int1_8_completion.py		L2_Int1_8_completion.py
L2_Int1_8_determinization.py		L2_Int1_8_determinization.py
L2_Int1_8_generate_traces.py		L2_Int1_8_generate_traces.py
L2_Int1_8_letter.py		L2_Int1_8_letter.py
L2_Int1_8_main.py		L2_Int1_8_main.py
L2_Int1_8_minimization.py		L2_Int1_8_minimization.py
L2_Int1_8_recognition.py		L2_Int1_8_recognition.py
L2_Int1_8_standardization.py		L2_Int1_8_standardization.py