[Ejercicio 4][Parte 2]

[Ejercicio 4][Parte 2]

de Luca Scaboni Morales -
Número de respuestas: 1

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  \delta' pasa que, para el superestado  [s] queda vacío. No supone esto un problema dado que estamos haciendo un AFD y deberia quedar determinado?

image%20%281%29.png

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.

En respuesta a Luca Scaboni Morales

Re: [Ejercicio 4][Parte 2]

de Diego Garat -
hola:

el superestado vacío es tan válido como [q] o como el propio Qnd... es un elemento como cualquier otro de 2^Q.

en la prácitca ese estado es un estado pozo. ¿por qué? porque desde ningún estado y con cualquier letra no puedo llegar a ningún estado.

saludos,
d.-