Quando convertemos um AFND (Automato Finito Não Determinístico), especialmente com transições epsilon (ε), em um AFD (Automato Finito Determinístico) equivalente, ocorre um aumento potencial no número de estados. Isso acontece porque, no processo de determinização, cada estado do AFD corresponde a um conjunto de estados do AFND original (conjunto das possíveis configurações do AFND). Portanto, o aumento potencial no número de estados é devido à explosão combinatória dos subconjuntos de estados do AFND. Resumindo: o número de estados do AFD pode ser, no pior caso, exponencial em relação ao número de estados do AFND. Se a pergunta fosse múltipla escolha, a resposta correta seria algo como: - "O número de estados, pois o AFD pode ter até 2^n estados, onde n é o número de estados do AFND." Se precisar das alternativas, me envie que eu analiso!