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'
