[2022] [Segundo parcial] [Ejercicio 3] [Parte b]

Re: [2022][Segundo parcial][Ejercicio 3][Parte b]

de Belen Brandino -
Número de respuestas: 0
Hola,
efectivamente, no es una gramatica lineal.
la solución debería ser: 

 S \rightarrow abS | aba | abb | abaX | abbX
X \rightarrow aa | ab | ba | bb

En cuanto a la segunda pregunta, la respuesta es si. En el pie de letra de cada exámen/parcial dice:
Nota: Las gramáticas y los autómatas deben corresponderse con el tipo del lenguaje considerado en cada caso, según
la Jerarquía de Chomsky. 
A pesar de que podrías dar una gramática libre de contexto o una gramática irrestricta, se espera que usen el formalismo de menor complejidad posible. Entonces, al tener un lenguaje regular, se espera una gramática lineal derecha o izquierda. Lo mismo aplica para los otros anillos, podes ver más en el poster sobre Jerarquía de Chomsky
si quedan dudas preguntá de nuevo
saludos