UNIVERSIDAD MACIONAL DE LOJA

AREA DE LA ENERGIA, LAS INDUSTRIAS Y LOS RECURSOS NATURALES NO RENOVABLES

Nombre: María Belén Novillo

Docente: Ing. Edison Coronel

Gramáticas

Las gramáticas formales definen un lenguaje describiendo cómo se pueden generar las cadenas del
lenguaje.
Una gramática formal es una cuadrupla G = (N, T, P, S) donde:
 N es un conjunto finito de símbolos no terminales

N∩T=∅
 T es un conjunto finito de símbolos terminales
 P es un conjunto finito de producciones

Cada producción de P tiene la forma

α → β, α = φAρ y β = φωρ
φ, ω, ρ ∈ (N ∪ T)* y A es S ó A ∈ N
 S es el símbolo distinguido o axioma S ∉ (N ∪ T)

Restringiendo los formatos de producciones permitidas en una gramática, se pueden especificar

cuatro tipos de gramáticas (tipo 0, 1, 2 y 3) y sus correspondientes clases de lenguajes.

Gramática regular

En informatica 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átia 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.
 Algoritmo para obtener la gramática regular desde el autómata finito

Existe un algoritmo que permite obtener una gramática regular que genera un lenguaje regular
dado a partir del autómata finito que reconoce ese lenguaje. Los pasos a seguir son los siguientes:
1. Asociar al estado inicial el símbolo distinguido S.
2. Asociar a cada estado del autómata (menos el estado inicial) un símbolo no terminal. Si al
estado inicial llega algún arco asociar también un símbolo no terminal (además del símbolo
distinguido). No asociar símbolo no terminal a aquellos estados finales de los que no salen
arcos.
3. Para cada transición definida δ (ei, a) = ej, agregar al conjunto de producciones, la
producción A
→ aB, siendo A y B los símbolos no terminales asociados a ei y ej respectivamente. Si ej es
un estado final, agregar también la producción A → a. Si ej es el estado inicial (tiene dos
símbolos asociados, el distinguido y un no terminal), utilizar el símbolo no terminal (de esta
manera se evita que el símbolo distinguido aparezca a la derecha de una producción).
4. Si el estado inicial es también final agregar la producción S → ε.

BIBLIOGRAFIA
 Costa, D. Gramaticas regulares eriada en Linea. Disponible en URL:
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&ei=7qLITLm9K4SdlgeCgIXzCQ&usg=AFQjCNGKOg1obkkocQQQMl5xCqq-6Wh8Qg
 Sánchez, M, GRAMATICAS REGULARES Y EXPRESIONES REGULARES Seriada en Linea.
Disponible en URL:
http://www.google.com.ec/url?sa=t&source=web&cd=2&ved=0CBwQFjAB&url=http%3A%
2F%2Fwww.exa.unicen.edu.ar%2Fcatedras%2Fccomp1%2FApunte3.pdf&ei=7qLITLm9K4Sdl
geCgIXzCQ&usg=AFQjCNFkSklgWSsaXGJphYn0lOJCBJwbpg