Estando en q1 si viene una a y tenía z0 en el stack entonces no hay transición posible...
la idea es que cada 2 a ponga una X en el stack?
Estando en q1 si viene una a y tenía z0 en el stack entonces no hay transición posible...
la idea es que cada 2 a ponga una X en el stack?
hola:
la idea del bucle q0-q1 es apilar una X en el stack por cada dos letras aes en la entrada. efectivamente, estaría faltando la siguiente transición:
δ(q1, a, Zo) = (q0, XZo)
saludos,
d.-
Diego, buenos días.
Lo que no entiendo del autómata que esta en la solución es por que la transición de q1 a q2 no saca una X del stack en el caso de que esta exista en la pila?
Gracias!
hola:
hay una letra a y una letra c que no se apilan/desapilan que, sumadas, corresponden a una b que hay que leer. es esa b la que no se desapila.
en el caso extremo, para la tira "abc", de q0 a q1 no se apila la a, de q2 a q3 no se desapila la c, y esas dos letras se corresponden con la b de q1 a q2.
saludos,
d.-