def init(): estados, inicial, aceita, transicoes, palavra, segundoArquivo = entrada() automato = Automato(estados, inicial, aceita, transicoes) if not "-" in palavra: automato.execultar(palavra) else: if palavra == "-uniao": estados, inicial, aceita, transicoes = parseEntrada(segundoArquivo) segundo_automato = Automato(estados, inicial, aceita, transicoes) automato.getUniao(segundo_automato) elif palavra == "-complemento": automato.getComplemento() elif palavra == "-estrela": automato.getEstrela() elif palavra == "-intercecao": automato.getIntercecao() elif palavra == "-complemento": automato.complemento() elif palavra == "-AFD": automato.getAFD() elif palavra == "-minimizacao": automato.getMinimizacao()
print 'Exibindo transicoes' a1.print_transicoes() print '\n' print '-' * 5 + 'Consultando estados iniciais' print a1.initial().to_string() + '\n' print 5 * '-' + 'consutlando estados finais' for e in a1.finals(): print e.to_string() print '\n' print 5 * '-' + 'verificando cadeia aaabb' if a1.aceita('aaabb'): print 'Aceita\n' else: print 'Nao aceita\n' print 5 * '-' + 'consultando o alfabeto' print a1.alfabeto print '\n' print 5 * '-' + 'consultando estados esquivalentes' a1.print_equivalentes() print "\n--Movendo uma cadeia---" print a1.mover(0, 'abccd') print "\n--Complementando o automato---" a2 = a1.complemento() a2.salvar('a2_complemento_a1.jff') print 'Arquivo "a2_complemento_a1.jff" salvo'