TeoLeng: [2021] [Febrero] [Ejercicio 1] [Parte a] [Parte ii]

Buenaas! Consulta ...
En el autómata que se propone en la solución me valida esta tira:

bbab# .... donde no cumple q |x|a mod 2 = |x|b mod 3

Esta solución surge de esta secuencia: (q0,b) -> (q1,b) -> (q2,a) -> (q5,b) -> (q0,#) -> qf

A mi entender debería ser:

d(q4,b) = q2

y eliminaría d(q5,b) = q0

Es correcto esto?

Graciaaas!!

Enrique

[2021] [Febrero] [Ejercicio 1] [Parte a] [Parte ii]

de Enrique Galasso Gonzalez - miércoles, 8 de diciembre de 2021, 16:18

Me rectifico:

solo eliminaría d(q5,b) = q0

Salute,

Enrique

[2021] [Febrero] [Ejercicio 1] [Parte a] [Parte ii]

de Diego Garat - miércoles, 8 de diciembre de 2021, 16:56

hola:

efectivamente, hay un problema en la solución, pero no se corrige eliminando la transición que mencionás, sino cambiando la transición con entrada b del estados:

g(q5, b) = q3 (mod3 =0, mod2=1) en lugar de q0 (mod3=0 mod2=0)

saludos,
d.-