Escuela de Ingeniería de

Sistemas

CURSO: TEORÍA DE LENGUALES Y

COMPILADORES

Sesión 3:
Producciones de un alfabeto.
Gramáticas.
Jerarquía de Chomsky.

MG. JULISSA REYNA GONZÁLEZ

EMAIL: JREYNA@UNHEVAL.DU.PE
 VIDEO

https://www.youtube.com/watch?v=VV_JYaL-
Cos&t=107s
Producciones
Derivación directa
Derivación directa: Ejemplos
Derivación directa:
Derivación :
Gramáticas
Gramáticas
Definición: Una gramática es una tupla de 4
elementos, G = (Φ, Σ, P, S), donde

Φ es un conjunto de no-terminales,
Σ es un conjunto de terminales,
V = Φ U Σ es el vocabulario de la gramática,
S  Φ es el símbolo de inicio (o meta),
y P  V* x V* es un conjunto finito de
producciones.

Ejemplo: Gramática para {anbn / n > 0}:

G = (Φ, Σ, P, S), donde

Φ = {S}, Σ = {a, b},
y P = {S → aSb, S → ε}
Gramáticas
Gramáticas
Gramáticas
Lenguaje asociado a una Gramática
 Ejemplo: Gramática para
Gramáticas {anbn / n > 0}:
G = (Φ, Σ, P, S), donde
Ejemplo: Σ = {a, b} Φ = {S}, Σ = {a, b},
y P = {S → aSb, S → ε}

L = {anbn / n > 0}
a
aaa
a aaba
a aa
b b aab b
a
a ab
aabb
ε a
a ba bbaa
b b a bba
b bb b bbab
b bbb
 Gramáticas

Derivaciones:
S => aSb => aaSbb => aaaSbbb => aaaaSbbbb → …
=>

=>

=>

=>

=>
ε ab aabb aaabbb aaaabbbb

Nota: Normalmente, las gramáticas son dadas por un

simple listado de las producciones.
Convenciones gramaticales
convención del TWS

1. Letra mayúscula (identificador) – nonterminal

2. Letra minúscula(hilera) – terminal
3. Letra griega minúscula– hileras en V*
4. La parte izquierda de la primera producción
se considera el símbolo de inicio, ej.
S → aSb
S→ε
1. La parte izquierda se omite si es la misma
que para la producción anterior, ej.
S → aSb
→ε
Gramáticas
Ejemplo: Gramática para identificadores.

Identificador → Letra
→ Identificador Letra
→ Identificador Dígito
Letra → ‘a’ → ‘A’
→ ‘b’ → ‘B’
.
.
→ ‘z’ → ‘Z’
Dígito → ‘0’
→ ‘1’
.
.
→ ‘9’
Gramáticas

Definición: El lenguaje generado por la

gramática G, es el conjunto
L(G) = {  Σ* | S =>*  }

Definición: Una forma sentencial

generada por una gramática G es
cualquier hilera  tal que S =>*  .

Definición: Una sentencia generada por

una gramática G es cualquier forma
sentencial  tal que   Σ*.
 Gramáticas
Ejemplo:
formas sentenciales

S => aSb => aaSbb => aaaSbbb => aaaaSbbbb > …

=>

=>

=>

=>

=>
ε ab aabb aaabbb aaaabbbb

sentencias

Lemma: L(G) = { | es una sentencia}

Prueba: Trivial.
 Gramáticas

Ejemplo: A → aABC
→ aBC
aB → ab B se reemplaza con b, pero
bB → bb solamente en el contexto
bC → bc de tener a ó b a la izquierda
CB → BC
cC → cc
 Gramáticas
Derivación: A => aABC => aaABCBC => …
=>

=>

=>
aBC aaBCBC aaaBCBCBC
=>

=>

=>
abC aabCBC aaaBBCBCC A → aABC
=>

=>

=>
→ aBC
abc aabBCC aaaBBBCCC
aB → ab
=>

=> =>
bB → bb
aabbCC aaabBBCCC
(2) bC → bc
=>

aabbcC aaabbbCCC CB → BC
=>

=>
cC → cc
aabbcc aaabbbcCC

=>
(2)
aaabbbccc

L (G) = {anbncn | n > 1} sensible al contexto

La Jerarquía de Chomsky

Una jerarquía de gramáticas, de los lenguajes

que generan, y de las máquinas que aceptan
esos lenguajes.
GRAMÁTICAS
 La Jerarquía de Chomsky
Tipo Nombre del Nombre Restricciones Máquina
Lenguaje de la sobre la Aceptadora
Gramática Gramática

0 Recursivamente Sistema de Ninguna Máquina

Enumerable re-escritura de Turing
sin
restricciones
1 Lenguaje sensible Gramática Para todo →, Máquina
al contexto sensible al ||≤|| Acotada
contexto Lineal

2 Lenguaje libre de Gramática Para todo →, Autómata

contexto libre de Φ. de pila
contexto (parser)

3 Lenguaje Regular Gramática Para todo →, Autómata

Regular Φ,  U ΦU{} de Estado
Finito (lexer)
Jerarquía del Chomsky

0: Lenguajes Recursivamente Enumerables

1: Lenguajes Sensibles al Contexto

2: Lenguajes Libres de Contexto Trataremos con los

3: Lenguajes lenguajes de tipo 2
Regulares
(sintaxis) y los de
{an | n > 0} tipo 3 (léxico).
{anbn | n>0}

{anbncn | n>0}

¿ Lenguaje natural ?
Tipo 0
Tipo 0
 Tipo 0
Sensibles al Cotexto
Ejercicios
Ejercicios
Ejercicios
 Videos
https://www.youtube.com/watch?v=0ID5QT4I20A

https://www.youtube.com/watch?v=Rz1Sn27QW5k

https://www.youtube.com/watch?v=KbqzW3bPrDo