26-06-2013, 15:40
Hola, tengo una duda con un ejercicio de Expresiones Regulares y no sé si está bien justificado...
La duda es la siguiente: ¿cómo demuestro que estas dos ERs son equivalentes: (a*+b*)* y ((ε+a)b*)*?
En clase un compañero sugirió la idea de hacer el autómata correspondiente a cada ER... y, si son iguales, determinar que sí son equivalentes.
El autómata es el siguiente, que sería el mismo para ambos:
Hace falta hacer/agregar algo más (por ejemplo, el "paso a paso" de cómo llegué a ese autómata) o con eso está bien demostrado?
Los leo. Y desde ya les agradezco.
La duda es la siguiente: ¿cómo demuestro que estas dos ERs son equivalentes: (a*+b*)* y ((ε+a)b*)*?
En clase un compañero sugirió la idea de hacer el autómata correspondiente a cada ER... y, si son iguales, determinar que sí son equivalentes.
El autómata es el siguiente, que sería el mismo para ambos:
Hace falta hacer/agregar algo más (por ejemplo, el "paso a paso" de cómo llegué a ese autómata) o con eso está bien demostrado?
Los leo. Y desde ya les agradezco.