Está en la página 1de 2

Gramáticas Regulares

En informática una gramática regular es una gramática formal (N, Σ, P, S) que puede ser
clasificada como regular izquierda o regular derecha. Las gramáticas regulares sólo pueden
generar a los lenguajes regulares de manera similar a los autómatas finitos y las expresiones
regulares.

Dos gramáticas regulares que generan el mismo lenguaje regular se denominan


equivalentes. Toda gramática regular es una gramática libre de contexto.

En sí, son generadas por los lenguajes, se podría afirmas que son las gramáticas más
restrictivas, porque emplean un cierto tipo de reglas por ejemplo: el lado derecho de una
producción debe contener un símbolo terminal y, como máximo, un símbolo no terminal.
Las gramáticas regulares pueden ser:

 Lineales a derecha, si todas las producciones son de la forma:

Se puede observar que en el lado derecho de las producciones el símbolo no terminal


aparece a la derecha del símbolo terminal.

 Lineales a izquierda, si todas las producciones son de la forma:

En el lado derecho de las producciones el símbolo no terminal aparece a la izquierda del


símbolo terminal

En ambos casos, se puede incluir la producción S  E, si el lenguaje que se quiere generar


contiene la cadena vacía.

A continuación se muestra un ejemplo de cómo convertir una gramática regular a un


autómata finito:
Pasos para convertir un autómata finito a una gramática regular:

• Asociar a los estados del autómata los símbolos no terminales de la gramática.


• El símbolo inicial de la gramática corresponde al estado inicial del autómata.
• La transición d(A, b) = C define la regla A ® bC.
• En caso de que el estado C en la transición d(A, b) = C sea un estado final, entonces
añadimos la regla A ® b, además de la regla A ® bC, ya incluida en el paso anterior.
Estos pasos se ilustran en el ejemplo siguiente:

MARTÍNEZ, José del Sagrado. Autómatas Finitos y Gramáticas Regulares. [en línea]
[http://www.ual.es/~jsagrado/WALF/Archivos/Practicas/Unidad%204.pdf]

Ciencias De La Computacion I.2008. [en línea]. [http://www.exa.unicen.edu.ar/catedras/ccomp1/Apunte3.pdf]

DÁVILA,Rogelio. Gramáticas. [en línea] [http://www.google.com.ec/url?sa=t&source=web&cd=10&ved=0CDwQFjAJ&url=http%3A


%2F%2Fwww.rogeliodavila.com%2Fteordelen%2Ftlnotes%2Fdoctorcorona%2FGramaticas.ppt&rct=j&q=gramaticas
%20regulares&ei=iL_ITJuFI4LGlQfioez-Ag&usg=AFQjCNGKOg1obkkocQQQMl5xCqq-6Wh8Qg&cad=rja]

También podría gustarte