hola:
si aplico esa regla, nunca llego a tener una tira de terminales:
S=>* I AA BB F => I A BA b B F =>* I BA b A B Fb => ...=>* IBB AA F bbbb
¿cómo me quito de arriba las variables I, B y A ahora? voy a llegar a una secuencia que contiene variables, a las que no puedo aplicarle ninguna regla... ese resultado no es una tira del lenguaje porque aún contiene símbolos; es una derivación no exitosa.
respecto a tu pregunta: la tira que se produce depende definitivamente del orden en que se aplican las reglas. tenés que garantizar que cualquiera sea ese orden de aplicación el resultado ---que puede ser distinto--- siempre pertenezca al lenguaje dado, donde el resultado es una tira de terminales (las que tienen variables son derivaciones "en proceso" y no son tiras del lenguaje)
saludos,
d.-