Primeiro trabalho de Linguagens Formais e Compiladores (INE5421 - UFSC): um sistema para manipular autômatos finitos, gramáticas e expressões regulares com as seguintes funcionalidades:
1 – Edição, leitura e gravação de GR e ER.
2 – Conversão de ER para AF usando o algoritmo De Simone.
3 – Transformação de GR para AF e vice-versa.
4 – Determinização e Minimização de AF.
5 – Obtenção dos AF’s que representam a intersecção, a diferença e o reverso de LR’s (expressas por GR, ER e AF).
6 – Obtenção da GR resultante da união, concatenação e fechamento de GR’s.
7 - Reconhecimento de sentenças aceitas por um AF e enumeração das sentenças de tamanho “n” aceitas por ele.
Execute com
python3 Main.py