Vamos analisar a questão: Um AFND (Autômato Finito Não Determinístico) com transições epsilon (ε), que não consomem símbolos, ao ser convertido em um AFD (Autômato Finito Determinístico) equivalente, pode ter um aumento no número de estados. Esse aumento ocorre porque, para eliminar a não-determinismo e as transições ε, é necessário considerar o conjunto de estados possíveis em que o autômato pode estar simultaneamente — isso é feito pelo conjunto-potência (powerset construction), que gera estados no AFD correspondentes a subconjuntos de estados do AFND original. Portanto, a resposta correta é: A) Do conjunto-potência de estados (fecho ɛ).