Buenas.
Me surgió una duda mirando la solución. Cuando minimiza el autómata y denomina e1 al conjunto integrado por q1 y q3, por que no tiene un lazo al mismo estado e1 cuando se da la transición con una "a"?
A la hora de querer calcular las clases de Rm, el no tener definida esa transición con "a", hace que no tengas en cuenta las tiras que llegan justamente desde e1 luego de leer una "a".
[2023] [Primer Parcial] [Ejercicio 3] [Parte c]
Número de respuestas: 2
En respuesta a Lautaro Ariel RamãRez De LeãN
Re: [2023] [Primer Parcial] [Ejercicio 3] [Parte c]
Tengo la misma duda, a mi la expresion regular r tal que L(r)=L(M3) me quedo r=(a|ba|bba).(ba|bba|bbba|a)*
En respuesta a Lautaro Ariel RamãRez De LeãN
Re: [2023] [Primer Parcial] [Ejercicio 3] [Parte c]
de Santiago Gongora -
Buen día Lautaro,
sí, es así como decís. A la solución le falta ese lazo, que permite aceptar aquellas tiras que "se quedan" en e1 al llegar una "a".
Como también bien comentás, al faltar ese lazo en el autómata también está faltando representar ese patrón en la formulación de X1.
Saludos,
Santi