Funcionalidade: Receber uma quádrupla de uma gramática regular e validar as cadeias fornecidas
Somente para gramáticas regulares ou seja tipo 3
Desenvolvido para a disciplina de LFA, usando a liguagem
Python com a extensão
WxPython como interface gráfica e o modulo
Py2Exe para a criação do arquivo executável
Desenvolvedores: Charles, Thiago
Instruções de Uso:
Após efetuar o download do arquivo, deve-se descompacta-lo e executar o arquivo LFA, sendo este um arquivo autoexecutável do script de python que dispensa a instalação do python.
Preenchimento dos campos:
Simbolos Terminais : somente letras minúsculas ou números(a-z, 0-9) separados por virgula(',').
Variáveis : somente letras maiúsculas separados por virgula(',').
Símbolo Inicial : (opcional) pode ser deixado em branco, sendo que neste caso por padrão será considerado 'S' como símbolo inicial. Este campo deve ser preenchido somente com letras maiúsculas.
Lambda : (opcional) define um caractere ou um conjunto de caracteres que representarão Lambda. Apenas preencha esse campo se realmente Lambda estiver presente nas produções.
Produções : deve seguir o padrão de uma gramática GLD ou GLE, tendo obrigatoriamente o formato:
'A->aB' ou 'A->a' ou 'A->aA|a'
Onde:
A e B são variáveis e
a pertence ao alfabeto terminal por ser um símbolo terminal.
Observação: deve existir somente um caracter do lado esquerdo de '->'.
GLD : indica se é uma Gramática Linear a Direita caso esteja "ticado" ou caso contrário indica ser uma Gramática Linear a Esquerda.
Cadeias : somente caracteres minúsculos e números, não devendo haver linhas vazias.
Em relação a Execução:
Após se ter preenchido corretamente os campos basta apertar o botão Verificar para observar os resultados, sendo que os resultados são simbolizados da seguinte forma.
Indica que a cadeia pertence a gramática especificada.
Indica que a cadeia não pertence a gramática especificada.
Observações Finais:
O campo produções pode conter espaços com exceção de linhas em branco.
Quando se define Lambda, para testar um cadeia vazia bastar colocar a expressão que representa lambda no campo cadeias.
Arquivos :
LFA.zip v1.0 18/11/2005
