alterada geração de sentenças de tamanho n para product do itertools e adicionado estado de erro ao automato para verificação de pertinência de uma dada sentença