[Ejercicio 1] [Parte 9]

Re: [Ejercicio 1] [Parte 9]

de Santiago Gongora -
Número de respuestas: 0

Buen día Leandro,

probá si podés sacar la solución agregándole el uso de no determinismo a tu estrategia.

Como los dos casos son un OR ( n \neq m \vee m \neq k ) , entonces los podés chequear por separado. Entonces fijate que las primeras a's que leas pueden "interpretarse" de dos maneras:

  • 1) querés registrarlas en el stack para luego compararlas contra la cantidad de b's (caso n \neq m )
  • 2) no te interesan en lo más mínimo, porque lo que querés es registrar la cantidad de b's para compararlas con las c's (caso m \neq k )
Eso quiere decir que para la primera "a" que leas vas a tener que tomar las dos decisiones a la vez:
  • 1) Para el caso n \neq m  \longrightarrow (a,z_0, Nz_0)
  • 2) Para el caso m \neq k  \longrightarrow (a,z_0, z_0)
Pensalo un poco más y cualquier cosa, a las órdenes.

Santi