U.T.N. – F.R.T.

S. y S. de los L. LINGÜÍSTICA MATEMÁTICA

Gramáticas estructuradas por frases:

PRELIMINARES:
¿ Cómo podemos describir un lenguaje ?
Definición por extensión: Listado de todas las palabras del lenguaje.
Ejemplo: Σ = { a, b, c } L1 = { aa, ab, ac, ba, bb, bc, ca, cb, cc }
L2 = { aaa, aba, aca, bbb, bab, bcb, ccc, cac, cbc }
Definición por comprensión: Especificación de atributos de las palabras.
Ejemplo: Σ = { a, b, c } L3 = { w / w  Σ*  |w| = 50 }
L4 = { w / w  Σ*  w = w -1 }
Definición por patrones: Expresión de palabras con parámetros.
Ejemplo: Σ = { 0, 1 } L5 = { 0.1 n.0 / n  1 }
L6 = { 0 n .1 k / n  0, k  5 }

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA

Gramáticas estructuradas por frases:

Noción de Gramática:
De las formas de descripción de un lenguaje que vimos anteriormente,
ninguna resulta eficiente cuando se trata de un lenguaje complejo como podría
ser un lenguaje natural o un lenguaje de programación.
En estos caso resulta conveniente especificar un conjunto de reglas de
generación de las palabras que pertenecen exclusivamente al lenguaje que se
quiere describir. Este conjunto de reglas de formación junto con los símbolos
que utiliza dan lugar al concepto de GRAMÁTICA.
Ejemplo: Σ = { 0, 1 } Reglas: 1) Puede ser 0 o 1
2) Puede ser cualquier combinación de
símbolos que empiece con 1
Como vemos se trata del conjunto de números binarios naturales.

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA

Gramáticas estructuradas por frases:

Ejemplo de gramática para un pequeño subconjunto del Español:

Una frase sencilla en español puede construirse con un sujeto seguido por
un predicado y terminada en un punto. El sujeto podría ser un artículo
seguido de un sustantivo o solo un sustantivo, mientras que el predicado
podría ser un verbo seguido de un objeto o solo un verbo. Por último, un
objeto podría ser una preposición seguida de un sujeto.
En este caso los componentes léxicos o símbolos del lenguaje serían los
valores que pueden tomar los verbos, sustantivos, adverbios y
preposiciones.
Por otro lado frase, sujeto, predicado y objeto son estructuras sintácticas
que se forman mediante combinación de los componentes léxicos.

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA

Gramáticas estructuradas por frases:

De tal modo que una frase se puede describir con las siguientes Reglas:
frase → sujeto predicado punto
sujeto → artículo sustantivo
sustantivo → María | Juan | nave | perro
artículo → El | La | λ
predicado → verbo objeto
verbo → corre | quiere | vuela
objeto → preposición sujeto | adverbio | λ
preposición → a | con
adverbio → rápidamente | ahora
punto → •
Donde encerramos entre paréntesis angulares   a las estructuras
sintácticas para distinguirlas de los componentes léxicos, la barra vertical
se usa como disyunción y la flecha indica que la parte izquierda puede
reemplazarse por o generar a la parte derecha de la regla.
ING. JORGE BUABUD
U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA

Gramáticas estructuradas por frases:

Veamos algunas frases que se pueden generar con esta gramática:

✓ María quiere a Juan.
✓ Juan corre con el perro.
✓ La nave vuela ahora.
✓ El perro corre rápidamente.
También se puede generar estas otras frases de sentido dudoso:
 La casa corre con el perro.
 Juan vuela con María.
 El perro vuela rápidamente.

Podemos concluir que esta gramática describe solamente la sintaxis de

este subconjunto del español, pero no su semántica.

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA

Gramáticas estructuradas por frases:

Avram Noam Chomsky, lingüista, profesor e

intelectual estadounidense, nacido el 7 de diciembre de
1928 en Filadelfia-Pensilvania, es fundador de la teoría
generativo-transformacional que ha revolucionado la
lingüística. En 1950 formaliza las gramáticas
estructuradas por fases, dentro de la teoría general del
lenguaje. Afirma que junto a las reglas gramaticales de
cada lengua concreta, existen además unas universales
comunes a todas las lenguas, lo que indica que cualquier
persona posee la capacidad innata de producir y entender el lenguaje.
También se conoce a Chomsky por su actividad como analista crítico de la
política de su país y de los medios de comunicación. En las décadas de 1960 y
1970 se opuso a la intervención de E.E.U.U. en la guerra del Vietnam por lo que
escribió varias obras y pronunció numerosas conferencias.

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA

Gramáticas estructuradas por frases:

Definición formal de una GRAMÁTICA estructurada por frases

Σ NΣT = Σ
G =  ΣN , ΣT , P , S 
Σ NΣT = 
➢ ΣN es el alfabeto de símbolos No-terminales o variables de la Gramática.

➢ ΣT es el alfabeto de símbolos Terminales o símbolos del Lenguaje.

➢P es el conjunto finito no vacío de Reglas de Producción de la forma:
→ 
donde:  = 1.N.2 con 1, 2  Σ* N Σ N   Σ*
➢S es el Símbolo Inicial o Axioma de la Gramática, que es el comienzo de
cualquier proceso de generación o derivación de una palabra. SN

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA

Gramáticas estructuradas por frases:

En el ejemplo del subconjunto del lenguaje español, la gramática tiene los

siguientes componentes:

ΣN = { frase , sujeto , predicado , punto , artículo ,

sustantivo , verbo , objeto , preposición ,  adverbio }

Σ = { María , Juan , nave , perro , El , La , corre , quiere , vuela ,

T
a , con , rápidamente , ahora , • }

S = frase
P ={ conjunto de reglas de producción enunciadas en el ejemplo }

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA

Gramáticas estructuradas por frases:

Veamos otros ejemplos abstractos de gramáticas que se ajustan a esta

definición:

1) G1 =  { S, A, B } , { a, b } , { S → aSBA | abA , AB → BA ,
bB → bb , bA → ba , aA → aa } , S 

2) G2 =  { S, X, Y, Z } , { x, y, z } , { S → XSZ | Y , Y → yY | λ ,
X→x, Z→z},S

3) G3 =  { S } , { a } , { S → a | aS } , S 

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA

Gramáticas estructuradas por frases:

DERIVACIÓN DE PALABRAS A PARTIR DEL AXIOMA:

Para generar o derivar una palabra del lenguaje que describe una gramática se
comienza por alguna regla que tenga el axioma a la izquierda y luego se continúa
con el resto de las reglas que sean necesarias para llegar a dicha palabra.
Este proceso se llama derivación de una palabra y se representa así:
S  1  2  .......  x  w
que equivale a: S * w

donde los i son secuencias de símbolos terminales y no terminales, w es una

secuencia de terminales, el operador  (DERIVACIÓN DIRECTA) significa la
aplicación de una sola regla y el operador * (DERIVACIÓN A LA LARGA)
significa la aplicación de una cantidad finita de reglas.
ING. JORGE BUABUD
U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA

Gramáticas estructuradas por frases:

FORMA SENTENCIAL:

Cualquier secuencia  que se obtenga a partir del axioma en un proceso de

derivación, se denomina Forma Sentencial: S  .....    .....
SENTENCIA:
Una Forma Sentencial w que esta compuesta solo por símbolos terminales, se
denomina Sentencia y constituye el final del proceso de derivación: S * w

DERIVACIÓN MÁS A LA IZQUIERDA Y MÁS A LA DERECHA:

Cuando en un proceso de derivación se busca la subsecuencia a reemplazar en la
Forma Sentencial desde la izquierda, se dice que se trata de una Derivación Más
a la Izquierda; y en caso contrario se trata de una Derivación Más a la Derecha.
ING. JORGE BUABUD
U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA

Gramáticas estructuradas por frases:

EJEMPLOS:
Para la G del español tenemos la siguiente derivación más a la izquierda:
frase  sujeto predicado punto 
artículo sustantivo predicado punto 
sustantivo predicado punto  María predicado punto
María verbo objeto punto  María corre objeto punto
María corre punto  María corre .
que equivale a: S * María corre .
Para la G2 tenemos la siguiente derivación más a la derecha:
S  XSZ  XSz  XYz  XyYz  Xyz  xyz
o sea que: S * xyz
ING. JORGE BUABUD
U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA

Gramáticas estructuradas por frases:

LENGUAJE GENERADO POR UNA GRAMÁTICA:

El lenguaje generado por una gramática para estructuras de frases G,
que denotamos L(G), es el conjunto definido como:

L(G) = { w / w  Σ*T  S * w }

EQUIVALENCIA ENTRE GRAMÁTICAS:

Dos gramáticas G y G’ se dicen equivalentes si y solo si los lenguajes
generados por ambas son iguales, es decir:

L(G) = L(G’)  G  G’
ING. JORGE BUABUD
U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA

Gramáticas estructuradas por frases:

Veamos algunas derivaciones de las gramáticas de los ejemplos abstractos

descriptos anteriormente y tratemos de inducir que lenguajes generan:

1) Recordemos las reglas del primer ejemplo:

1.- S → aSBA 2.- S → abA 3.- AB → BA
4.- bB → bb 5.- bA → ba 6.- aA → aa
Derivemos algunas palabras:
S  abA  aba
S  aSBA  aabABA  aabBAA  aabbAA  aabbaA  aabbaa
S  aSBA  aaSBABA  aaabABABA  aaabBAABA  aaabBABAA 
aaabBBAAA  aaabbBAAA  aaabbbAAA  aaabbbaAA 
aaabbbaaA  aaabbbaaa
Podemos inducir que: L(G1) = { an .bn .an / n  1 }
ING. JORGE BUABUD
U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA

Gramáticas estructuradas por frases:

2) Recordemos las reglas del segundo ejemplo:

1.- S → XSZ 2.- S → Y 3.- Y → yY
4.- Y → λ 5.- X → x 6.- Z → z
Derivemos algunas palabras:
SYλ
S  XSZ  XYZ  XyYZ  xyYZ  xyZ  xyz
S  XSZ  XXSZZ  XXYZZ  XXyYZZ  XXyyYZZ  XXyyZZ 
XxyyZZ  XxyyzZ  xxyyzZ  xxyyzz
S  XSZ  XYZ  XyYZ  XyyYZ  XyyyYZ  XyyyZ  xyyyZ 
xyyyz

Podemos inducir que: L(G2) = { x n .y k .z n / n  0 , k  0 }

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA

Gramáticas estructuradas por frases:

3) Recordemos las reglas del tercer ejemplo:

1.- S → a 2.- S → aS

Derivemos algunas palabras:

Sa
S  aS  aa
S  aS  aaS  aaa

Podemos inducir que: L(G3) = { an / n  1 }

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA

Gramáticas estructuradas por frases:

Consideremos las siguientes gramáticas:

G4 =  { S, Q } , { a } , { S → a | Q , Q → aQ | a } , S 

G5 =  { S, Q, T } , { a } , { S → a | T | aTa , T → a | Q , Q → a | aQ } , S 

Si analizamos los lenguajes que generan estas gramáticas son iguales al

lenguaje de nuestro tercer ejemplo abstracto.

Es decir que las tres gramáticas son equivalentes: G3  G4  G5

Observemos que estas gramáticas difieren fundamentalmente en sus

reglas de producción.
ING. JORGE BUABUD
U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA

Gramáticas estructuradas por frases:

Podemos afirmar que en general cada lenguaje tiene varias gramáticas

diferentes, pero equivalentes, que lo generan.
Esto nos da lugar a pensar que existen distintos tipos o categorías de
gramáticas, según la forma que tengan sus producciones.
Basándose en el análisis de las formas de las reglas de producción de las
gramáticas, Noam Chomsky clasificó a las mismas en cuatro categorías que
se conocen como JERARQUÍA DE CHOMSKY.
El ejemplo visto de gramática para una subconjunto del Idioma Español, se
caracteriza por tener todas sus reglas con un NO-Terminal en su parte
izquierda. Como veremos más adelante, esta propiedad limita a estas
gramáticas a la representación de los niveles léxico y sintáctico de un
lenguaje; y se trata de una de las categorías de Chomsky, llamada
Gramática Libre de Contexto.
ING. JORGE BUABUD
U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA
Ejemplos de gramáticas para lenguajes
de programación hipotéticos:

1) Consideremos el lenguaje compuesto por el conjunto de todos los

identificadores válidos:

Σ N = { I, L, D, G, R}
Σ T = { a, ... , z, 0, ... , 9, _ }
S=I
P: I → LR | GR
L → a | b | ... | z
D → 0 | 1 | ... | 9
R → LR | DR | GR | λ
G→_

Aplicando las reglas de esta gramática se puede generar:

I  LR  aR  a
I  GR  _R  _DR  _1R  _1LR  _1hR  _1h
I  LR  zGR  z_R  z_DR  z_5R  z_5LR  z_5pR  z_5p

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA
Ejemplos de gramáticas para lenguajes
de programación hipotéticos:

2) Consideremos el lenguaje compuesto por el conjunto de todos los números

naturales, incluido el 0:

Σ N = { N, D, U, R} P: N → 0 | UR
Σ T = { 0, ... , 9 } R → DR | λ
D→0|U
S=N U → 1 | ... | 9

Aplicando las reglas de esta gramática se puede generar:

N0
N  UR  1R  1
N  UR  2R  2DR  20R  20
N  UR  4R  4DR  4UR  47R  47DR  470R  470DR  470UR
 4703R  4703
ING. JORGE BUABUD
U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA
Ejemplos de gramáticas para lenguajes
de programación hipotéticos:
3) Consideremos un lenguaje de programación sencillo, con un mínimo de
complejidad en su sintaxis.
Supongamos los siguientes componentes léxicos, que en total constituyen el
alfabeto del lenguaje o sea el alfabeto de símbolos terminales de la gramática:

➢ Palabras claves: if, while, break, else , then , do

➢ Identificadores estándar de tipo: int, float, boolean, char
➢ Identificador de variable: id
➢ Números: entero, real
➢ Caracteres: literal
➢ Booleanos: falso, cierto
➢ Delimitadores: { , } , ; , [ , ]
➢ Operadores: = , + ,  , or

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA
Ejemplos de gramáticas para lenguajes
de programación hipotéticos:

Por simplicidad se ha supuesto un solo valor de identificador {id}, solo dos

números válidos {entero, real} y un solo carácter {literal}.
Por otro lado supongamos el siguiente alfabeto de símbolos No-terminales:

ΣN = { P, D, T, A, E, S, W, I, R } donde P es el axioma de la gramática.

Podemos interpretar estos símbolos como nemotécnicos que representan los
componentes sintácticos: Programa, Declaración, Tipo, Arreglo, Expresión,
Sentencia, estructura While, estructura If, Resto de la estructura if.
Por último, el conjunto de Reglas de Producción que permitirá generar las
palabras de este lenguaje formal, es decir los “programas” escritos en este
lenguaje de programación hipotético, es:

ING. JORGE BUABUD

 U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA
Ejemplos de gramáticas para lenguajes
de programación hipotéticos:

1) P→ D;{S}
2) D → D ; D | T id A
3) T → int | float | boolean | char
4) A → [ entero ] | λ
5) E → entero | real | falso | cierto | literal | id | id[E] | E + E | E  E | E or E
6) S → S ; S | W | break | I | id = E | id[E] = E
7) W → while E do { S }
8) I → if E then { S } R
9) R → else { S } | λ

ING. JORGE BUABUD

 U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA
Ejemplos de gramáticas para lenguajes
de programación hipotéticos:
Aplicando estas reglas podemos generar los siguientes “programas”:
P  D ; { S }  T id A ; { S }  int id ; { S }  int id ; { id = E }
 int id ; { id = entero }
P  D ; { S }  T id A ; { S }  float id A ; { S }  float id[entero] ; { S }
 float id[entero] ; { id[E] = E }  float id[entero] ; { id[entero] = E }
 float id[entero] ; { id[entero] = real }

También se puede generar los siguientes “programas” de semántica dudosa:

P * boolean id ; { id = entero }
P * char id[entero] ; { id[real] = literal }

ING. JORGE BUABUD

 U.T.N. – F.R.T.
S. y S. de los L. LINGÜÍSTICA MATEMÁTICA
Ejemplos de gramáticas para lenguajes
de programación hipotéticos:
Otros ejemplos de secuencias obtenidas con esta gramática son:
✓ int id ; { id = entero ; id = entero + entero ; id = id + id }
✓ float id ; { id = real ; if id  entero + entero then { id = id + entero } }
✓ int id ; { id = entero ; while id  real do { id = id + entero } }
char id ; { id = falso ; if id[literal] or entero then { id = literal } }
boolean id[entero] ; { id = cierto }
float id ; { if real then { id = literal } }

Podemos concluir que esta gramática es capaz de representar

la sintaxis del lenguaje de programación pero no su semántica.

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L.
GRAMÁTICAS Y MODELOS
MATEMÁTICOS

JERARQUÍA DE CHOMSKY:

Gramática Lenguaje Modelo Matemático

Recursivamente
enumerable
Máquina de Turing
Tipo 0: Irrestricta
(Nivel Pragmático)
(MT)
Dependiente del
Tipo 1: Dependiente Contexto
Autómata Linealmente
del Contexto (Nivel Semántico)
Limitado (ALL)
Independiente del
Tipo 2: Independiente Contexto Autómata de Pila (AP)
del Contexto (Nivel Sintáctico)
Regular
Tipo 3: Regular Autómata Finito (AF)
(Nivel Léxico)
ING. JORGE BUABUD
U.T.N. – F.R.T.
S. y S. de los L.
GRAMÁTICAS Y MODELOS
MATEMÁTICOS

JERARQUÍA DE CHOMSKY:

Esta clasificación, realizada por Noam Chomsky a fines de

la década de 1950, implica una jerarquía de los lenguajes
generados por las gramáticas de cada tipo, ya que cada
gramática de tipo X surge de aplicar ciertas restricciones al
tipo X-1.
De tal modo que el conjunto de lenguajes recursivamente
enumerables contiene al conjunto de lenguajes
dependientes del contexto, éste contiene a los lenguajes
independientes del contexto y éstos a los regulares:
L0  L1  L2  L3
ING. JORGE BUABUD
U.T.N. – F.R.T.
S. y S. de los L.
GRAMÁTICAS Y MODELOS
MATEMÁTICOS

JERARQUÍA DE CHOMSKY:

TIPO 0 (Irrestricta o Sin Restricciones - GI):

Gramática estructurada por frases sin ninguna restricción.
O sea que sus reglas de producción tienen, en la parte izquierda al
menos un símbolo no terminal y en la parte derecha cualquier
secuencia de terminales o no-terminales, inclusive vacía.
Todo lenguaje formal generado por una GI y que no puede ser
generado por una gramática de menor jerarquía, se llama Lenguaje
Irrestricto o Recursivamente Enumerable (LI).

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L.
GRAMÁTICAS Y MODELOS
MATEMÁTICOS

JERARQUÍA DE CHOMSKY:

Ejemplo de Gramática Tipo 0:

G =  N , T , P, S 
N = { S, U, V, X, Y, Z } T = {a, b}
P: S → UVX bV → Vb
ZX → VbX YX → VaX
Yb → bY Ya → aY
Zb → bZ Za → aZ El lenguaje generado por
esta gramática es:
X→λ aV → Va
L(G) = {ww / wT* }
UV → bUZ | aUY | λ
ING. JORGE BUABUD
U.T.N. – F.R.T.
S. y S. de los L.
GRAMÁTICAS Y MODELOS
MATEMÁTICOS

JERARQUÍA DE CHOMSKY:

Veamos la generación de algunas palabras:

S  UVX  X  λ

S  UVX  aUYX  aUVaX  aaX  aa

S  UVX  bUZX  bUVbX  baUYbX  baUbYX

 baUbVaX  baUVbaX  babaX  baba

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L.
GRAMÁTICAS Y MODELOS
MATEMÁTICOS

JERARQUÍA DE CHOMSKY:

TIPO 1 (Dependiente del / Sensible al Contexto - GDC):

Gramática estructurada por frases cuyas reglas de producción se
restringen en la longitud de su parte derecha, la cual no puede ser menor
que la longitud de la parte izquierda. O sea que no tienen reglas
compresoras. Excepto la regla de borrado S → λ , siempre que S no
figure a la derecha de ninguna regla, con el único objetivo de generar la
palabra vacía.
Todo lenguaje formal generado por una GDC y que no puede ser
generado por una gramática de menor jerarquía, se llama Lenguaje
Dependiente del Contexto (LDC).

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L.
GRAMÁTICAS Y MODELOS
MATEMÁTICOS

JERARQUÍA DE CHOMSKY:

Ejemplo de Gramática Tipo 1:

G =  N , T , P, S 
N = { S, T, B, D } T = { a, b, c }
P: S → T
DB → BD
El lenguaje generado por esta
D→c gramática es:
T → aTBD | abD
L(G) = {an bn cn / n  1 }
bB → bb

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L.
GRAMÁTICAS Y MODELOS
MATEMÁTICOS

JERARQUÍA DE CHOMSKY:

Veamos la generación de algunas palabras:

S  T  abD  abc

S  T  aTBD  aabDBD  aabBDD  aabbDD

 aabbcD  aabbcc

S  T  aTBD  aaTBDBD  aaabDBDBD 

aaabBDDBD  aaabbDDBD  aaabbDBDD 
aaabbBDDD  aaabbbDDD * aaabbbccc
ING. JORGE BUABUD
U.T.N. – F.R.T.
S. y S. de los L.
GRAMÁTICAS Y MODELOS
MATEMÁTICOS

JERARQUÍA DE CHOMSKY:

TIPO 2 (Independiente / Libre del Contexto - GIC):

Gramática estructurada por frases cuyas reglas de producción se
restringen en la longitud de su parte izquierda, que debe ser igual a 1.
O sea que la parte izquierda es un no-terminal y la parte derecha puede
ser cualquier secuencia de terminales o no-terminales.
Todo lenguaje formal generado por una GIC y que no puede ser
generado por una gramática de menor jerarquía, se llama Lenguaje
Independiente del Contexto (LIC).

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L.
GRAMÁTICAS Y MODELOS
MATEMÁTICOS

JERARQUÍA DE CHOMSKY:

Ejemplo de Gramática Tipo 2:

G =  N , T , P, S 

N = { S } T = { a, b }
El lenguaje generado por esta
P: S → aSb | ab gramática es:
L(G) = {an bn / n  1 }

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L.
GRAMÁTICAS Y MODELOS
MATEMÁTICOS

JERARQUÍA DE CHOMSKY:

Veamos la generación de algunas palabras:

S  ab

S  aSb  aabb

S  aSb  aaSbb  aaabbb

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L.
GRAMÁTICAS Y MODELOS
MATEMÁTICOS

JERARQUÍA DE CHOMSKY:

TIPO 3 (Lineal / Regular - GR):

Gramática estructurada por frases cuyas reglas de producción se
restringen en la longitud de su parte izquierda, que debe ser igual a 1.
O sea que la parte izquierda es un no-terminal y la parte derecha puede
ser una secuencia de terminales con un no-terminal como sufijo (GR
por la derecha) o con un no-terminal como prefijo (GR por la izquierda)
o simplemente una secuencia de terminales.
Existe una equivalencia entre ambas formas.
Todo lenguaje formal generado por una GR por la derecha o por la
izquierda, se llama Lenguaje Regular (LR).

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L.
GRAMÁTICAS Y MODELOS
MATEMÁTICOS

JERARQUÍA DE CHOMSKY:

Ejemplo de Gramática Tipo 3 (regular por derecha):

G =  N , T , P, S 

N = { S, A } T = { a, b }
El lenguaje generado por esta
P: S → bbS | aaA gramática es:
A → aaA | bb L(G) = {(bb)n (aa)k bb / n0, k1}

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L.
GRAMÁTICAS Y MODELOS
MATEMÁTICOS

JERARQUÍA DE CHOMSKY:

Veamos la generación de algunas palabras:

S  aaA  aabb

S  aaA  aaaaA  aaaabb

S  bbS  bbaaA  bbaabb

S  bbS  bbaaA  bbaaaaA  bbaaaabb

ING. JORGE BUABUD
U.T.N. – F.R.T.
S. y S. de los L.
GRAMÁTICAS Y MODELOS
MATEMÁTICOS

JERARQUÍA DE CHOMSKY:

Ejemplo de Gramática Tipo 3 (regular por izquierda):

G =  N , T , P, S  El lenguaje generado por esta

gramática es:
N = { S } T = { a, b } L(G) = {aaa, bbb}.{ab,ba}*

P: S → Sab | Sba | aaa | bbb

ING. JORGE BUABUD

U.T.N. – F.R.T.
S. y S. de los L.
GRAMÁTICAS Y MODELOS
MATEMÁTICOS

JERARQUÍA DE CHOMSKY:

Veamos la generación de algunas palabras:

S  Sab  aaaab

S  Sba  Sabba  bbbabba

S  Sba  Sbaba  Sabbaba  aaaabbaba

S  Sab  Sabab  Sbaabab  bbbbaabab

ING. JORGE BUABUD