Expresión regular de un AFD

Question

Estoy intentando crear un autómata finito que acepte cualquier cadena que tenga al menos hasta 0s pero que rechace todas las cadenas que tengan 0s consecutivos. He diseñado un autómata finito determinista (DFA) para este propósito pero estoy teniendo problemas para generar una regex a partir de ella.

Las casillas marcadas son estados que aceptan. Gracias.

Answer 1

Considere la expresión regular $1^*01^+0(1^+0)^*1^*$ .