Tarefas
ricardovf opened this issue · comments
Geral
- permitir renomear a linguagem
- quando colocar uma nova gramática, deve atualizar o status das sentenças (reconhecimento) e também as sentenças geradas de tamanho x
FSMCard
- mostrar se é determinístico
- mostrar se tem transições por epsilon
- mostrar se aceita a sentença vazia
- mostrar se gera a linguagem vazia (sem estados finais alcançáveis)
- mostrar se é minímo
RecogniztionCard
- Permitir colocar várias sentenças e indicar se é ou não reconhecida
EnumerationCard
- gerar sentenças do tamanho x
- gerar sentenças do tamanho x (testes unitários)
- permitir alterar o tamanho a ser gerado
TransactionsCard
- permitir digitar a expressão regular
- converter a expressão regular para FSM
TransactionsCard
- permitir editar estados e alfabetos do automato pela tabela
- permitir editar transições do automato pela tabela
GrammarCard
- ao modificar o autômato (pela tabela ou pela ER), gerar a gramática correspondente
Operações próprias
- Elimininar transições por episilon no a
- Determinizar o FSM
- Minimizar o FSM
Operações com outras linguagens
- Interseção
- União
- Fechamento
- Reverso
- Diferença
Intermediário
- Mostrar o autômato intermediário e se possível permitir ir avançando em todas as operações possíveis