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

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

de Amalia Lucia Balestrazzi Silveira -
Número de respuestas: 1

En la solucion dicen que se contruye una gramatica lineal derecha, pero una de las reglas es

S -> abXXX

En el curso vimos que las gramaticas lineales derechas solo tienen reglas de la forma

A -> wB y A -> w,

es decir, secuencias de terminales que pueden o no terminar en una única variable. ¿Puede ser que la gramática de la solución no sea regular? En cuyo caso, cuando en el parcial se nos pide una gramática para un lenguaje regular, ¿esta gramática debe necesariamente ser regular?

Gracias


En respuesta a Amalia Lucia Balestrazzi Silveira

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

de Belen Brandino -
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