Implementação de um reconhecedor de AFDs em python

#!/usr/bin/python3
'''
trabalho de afd - reconhecedor de palavras sumario: esse reconhecedor de palavras recebe um arquivo de texto descrevendo um afd com seus estados (erro se houver), alfabeto, transicoes, palavras e estados finais para testar cada uma das palavras informadas e averiguar se elas são reconhecidas pelo afd ou não exemplo de formato do arquivo do texto:
/***
descricao_afd.txt
1 2 3 4 5 6 7;
0 1;
2 3,
1 3,
4 3,
5 6,
5 7,
7 6,
5 7;
1 ;
4 6;
11,
110,
01101,
110001;
Esse software é lançado sob a licensa beerware e se você achar que ele é util de alguma forma e se sentir motivado, pague-nos uma cerveja
'''
import sys, getopt def testa_afd(palavra, estado_inicial, estados_finais, transicoes): estado_atual = estado_inicial for c in palavra: estado_atual = transicoes[estado_atual][c] return estado_atual in estados_finais def le_afd(nome_arquivo): try: arquivo = open(nome_arquivo, 'r') texto = arquivo.read() estados_str, alfabeto_str, transicoes_str, estado_inicial_str, estados_finais_str, palavras_str,null_str = texto.replace('\n','').split(';')
# monta array de estados: estados = estados_str.split(' ')
# monta array do alfabeto: alfabeto = alfabeto_str.split(' ')
# trata e monta dicionario das transicoes transicoes = {} transicoes_str = transicoes_str.split(',') i = 0 while i < len(estados): caminhos_str = transicoes_str[i].split(' ') caminhos = {} j = 0 while j < len(alfabeto): caminhos[alfabeto[j]] = caminhos_str[j] j += 1 transicoes[estados[i]] = caminhos i += 1
# define estado inicial estado_inicial = estado_inicial_str
# define estados finais estados_finais = estados_finais_str.split(' ')
# define palavras palavras = palavras_str.split(',')

return (estado_inicial, transicoes, estados_finais, palavras) except Exception: print('Alguma coisa no seu arquivo de afd está errada') def main(arg):
(inicial, transicoes, finais, palavras) = le_afd(arg) for p in palavras: if testa_afd(p,