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!
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!