En la solución del autómata no veo que se respete que n < 2 * j, ya que por cada a pone una X en el stack y luego por cada 1 saca una X del stack
hola,
si te fijas por cada 0 se ponen dos X en el stack en las transiciones marcadas en rojo en la imagen. Al leer un 0 se agrega X al stack, y luego sin leer nada (transición
) obligatoriamente apila otra X en el stack
si te fijas por cada 0 se ponen dos X en el stack en las transiciones marcadas en rojo en la imagen. Al leer un 0 se agrega X al stack, y luego sin leer nada (transición
) obligatoriamente apila otra X en el stacksaludos
Está bien, pone 2 X por cada 0. Pero eso se asegura que n = 2 * j, no asegura que n < 2 * j
Me cerraría la solución del autómata y de la gramática si fuera n<= 2*j
fijate que la transición de q2 a q3 obliga a que haya al menos una X en el stack. Esto significa que luego de consumir todos los 1’s y desapilar las X correspondientes aún queda al menos una X en el stack, lo que significa que leíste al menos dos 0’s más al principio, cumpliendo con la condición n < 2*j
si no queda claro pregunta de nuevo
saludos!
si no queda claro pregunta de nuevo
saludos!
Ahora lo vi. Gracias