Área de la Energía, las Industrias y los Recursos Naturales no Renovables

CARRERA DE
INGENIERÍA EN SISTEMAS
MÓDULO IX

Paralelo B
TEMA: Gramáticas Regulares

MATERIA
MATERIA:
Lenguajes Formales

ALUMNA
ALUMNA:
Iliana Vargas A.

DOCENTE
DOCENTE:
Ing. Edison Coronel

LOJA – ECUADOR
Gramáticas

Las gramáticas formales definen un lenguaje describiendo cómo se pueden generar las
cadenas del lenguaje.

Una gramática, G = (V, T, P, S), está formada por cuatro elementos:

1. El alfabeto de variables V.
2. El alfabeto de símbolos terminales T.
3. El conjunto de reglas de producción P.
4. El símbolo inicial S∈V.

Cada producción de P tiene la forma

A la hora de leer y escribir la definición de una gramática hay que tener en cuenta cómo
se especificarán sus elementos en el mismo. Por ejemplo, la gramática G = ({S,A},
{a,b}, {S→aA, A→aAb|b}, S) se representará en un archivo de texto de la manera
siguiente:

• SA
• ab
• 3
• S aA
• A aAb
• Ab

Cada una de las filas de este archivo representa:

• Primera fila.- Una cadena en la que se especifican, ordenadamente, los símbolos que
forman el alfabeto de las variables.
• Segunda fila.- Una cadena en la que se especifican, ordenadamente, los símbolos que
forman el alfabeto de los símbolos terminales.

• Tercera fila.- Número de reglas de producción que componen la gramática.

• Cuarta fila.- Primera regla de producción. Se especifica primero la parte izquierda de

la regla y, después, la parte derecha ambas separadas por espacios en blanco. Cuando
se trate de una producción nula, A → ε, la cadena vacía se representará por ‘e’.

• Siguientes filas.- Resto de reglas de producción.

Gramática Regular

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.

Una gramática regular derecha es aquella cuyas reglas de producción P son de la

siguiente forma:

1. A → a, donde A es un símbolo no-terminal en N y a uno terminal en Σ

2. A → aB, donde A y B pertenecen a N y a pertenece a Σ
3. A → ε, donde A pertenece a N.

Análogamente, en una gramática regular izquierda, las reglas son de la siguiente forma:

1. A → a, donde A es un símbolo no-terminal en N y a uno terminal en Σ

2. A → Ba, donde A y B pertenecen a N y a pertenece a Σ
3. A → ε, donde A pertenece a N.

Una definición equivalente evita la regla 1 (A → a) ya que es sustituible por:

A → aL

L→ε

en el caso de las gramáticas regulares derechas y por:

A → La

L→ε
en el caso de las izquierdas.

Algunos autores alternativamente no permiten el uso de la regla 3 suponiendo que la

cadena vacía no pertenece al lenguaje.

Un ejemplo de una gramática regular G con N = {S, A}, Σ = {a, b, c}, P se define
mediante las siguientes reglas:

S → aS

S → bA

A→ε

A → cA

donde S es el símbolo inicial. Esta gramática describe el mismo lenguaje expresado

mediante la expresión regular a*bc*.

Dada una gramática regular izquierda es posible convertirla, mediante un algoritmo en

una derecha y viceversa.

Bibliografía:

- Gramática Regular [Seriada en línea]. Pág.1-2 Disponible en:

URL: http://es.wikipedia.org/wiki/Gram%C3%A1tica_regular,
[Consultado Octubre 27, 2010]-

- José del Sagrado Martínez. Unidad 4. Autómatas Finitos y Gramáticas Regulares

[Seriada en línea].Pág.4-6 Disponible en:
URL:http://www.ual.es/~jsagrado/WALF/Archivos/Practicas/Unidad%204.pdf
[Consultado Octubre 27, 2010]-