Buenas tardes, queria consultar sobre el ejercicio 4 parte 2 del practico 2. Al hacer la transición de AFND a AFD usando el algoritmo visto en el curso, si hacemos la tabla para pasa que, para el superestado
queda vacío. No supone esto un problema dado que estamos haciendo un AFD y deberia quedar determinado?
Lo que se me ocurrió fue agregar un nuevo estado ficticio que funcione como estado pozo. El problema es que violaría otras restricciones de inclusión de conjuntos.