[2018] [Segundo Parcial] [Ejercicio 3] [Parte b]

[2018] [Segundo Parcial] [Ejercicio 3] [Parte b]

de Manuel Rodriguez Alvarez -
Número de respuestas: 1

Estimados:

En el ejercicio 3)b) del 2do parcial 2018, en la solución crear al automata utiliza un estado q7 que por mas que lo pienso y repienso no logro entender que esta haciendo en esa parte y para que lo usa, lo podrían explicar? Supongo que es un caso borde. 

Ajunto imagenes.

Gracias 



En respuesta a Manuel Rodriguez Alvarez

Re: 2do Parcial 2018 - Ej 3) b)

de Belen Brandino -
Hola,

ese caso es similar al caso que contemplan las transiciones q0-q1-q4. En ese caso, se tiene que p=0 (cant b's =0) , n>=1 (cant a's >=1) y se cumple que k>p (más c's que b's)
el estado q7 contempla el caso donde n=0 (cant a's=0), p>=1 (cant b's >=1) y se cumple que k>n (más b's que c's)

si no queda claro pregunta de nuevo,
saludos!