Gramaticas para lenguajes regulares

Gramaticas para lenguajes regulares

de Alex Elenter Litwin -
Número de respuestas: 6

Buenas,

Haciendo parciales viejos note que a veces se piden gramaticas para lenguajes regulares.

En este caso la gramatica se exige que sea regular? O si doy una gramatica LDC (no regular) es valido tambien?

Gracias.

En respuesta a Alex Elenter Litwin

Re: Gramaticas para lenguajes regulares

de Santiago Gongora -

Hola Alex ¿cómo estás?

Esto está explicado en el póster que subimos a la sección de Teórico. Pero la respuesta corta es que si hacen una gramática libre de contexto para un lenguaje regular, no lo podemos considerar como correcto en la evaluación, ya que uno de los criterios es que usen el formalismo de menor complejidad posible.

Así que:

  • Si el lenguaje es regular, hacemos una Gramática Regular (Lineal izquierda o Lineal derecha)
  • Si el lenguaje es Libre de Contexto pero no regular, hacemos una Gramática Libre de Contexto
  • Si el lenguaje es Recursivamente enumerable pero no libre de contexto, hacemos una Gramática Irrestricta.

Cualquier cosa, a las órdenes.

Saludos,
Santi
En respuesta a Santiago Gongora

Re: Gramaticas para lenguajes regulares

de Alex Elenter Litwin -
Hola, todo bien y vos?

Gracias por la respuesta. La verdad es que habia leido el poster. Pero en una solucion de un parcial vi que para un lenguaje regular hacian una gramatica no regular. Por eso pregunte.

Saludos,
En respuesta a Alex Elenter Litwin

Re: Gramaticas para lenguajes regulares

de Diego Garat -
hola alex:

¿podrías enviarnos en qué solución viste ese error? nos gustaría corregirlo.

saludos,
d.-
En respuesta a Diego Garat

Re: Gramaticas para lenguajes regulares

de Alex Elenter Litwin -
Hola,

Fue en el parcial 2015 el ejercicio 3a. Para G_a se tiene las reglas S -> 01S | 01A .

Saudos,
En respuesta a Alex Elenter Litwin

Re: Gramaticas para lenguajes regulares

de Diego Garat -
hola:

gracias por el dato, pero esa es una gramática lineal derecha: todas las reglas son de la forma A-> alfa B, con alfa pert a sigma*.

la limitación es de una variable, no de un terminal.

saludos,
d.-