hola:
1) "llegaríamos no tenemos una regla para sacarnos esas "B" que quedan pegadas al I y generar terminales. "
por las dudas aclaro que esto no es un problema, simplemente es una derivación "fallida", algo así como sucede con los autómatas no deterministas en donde muchos caminos de una computación no llegan a nada.
2) "Pero en cambio si se cambia la regla AB -> BAb por AAB -> ABAb ahí si se generan tiras aceptadas sin importar el orden de aplicación de las reglas."
sí, podría ser, soluciones hay miles. :) de todas formas, mientras se generen todas y únicamente las tiras de la forma pedida, la gramática es correcta, sin importar que haya derivaciones que se "tranquen".
saludos,
d.-