Tipos de Lenguaje Formal

Zaraos Vzquez Jorge Alejandro

aleh.kz@hotmail.com


Resumen

En este reporte se introducir los conceptos
tericos necesarios sobre la teora de lenguajes
formales el conjunto finito o infinito de cadenas finitas
de smbolos primitivos formadas por un alfabeto y una
gramtica especificada, as como los diferentes tipos
de las jerarquas gramaticales regulares,
recursivamente enumerables, independiente y
dependiente del contexto estos divididos en jerarquas.


1. Cuerpo

1.1. Definiciones previas

El lenguaje L(G) generado por una gramtica G es
el conjunto de todas las sentencias que puede generar
G. Es decir expresado formalmente.
L(G) = { VT*/S }

Una sentencia pertenece a L(G) si:
-est compuesta de smbolos terminales.
-la sentencia puede derivarse del smbolo inicial S
aplicando las reglas de produccin de la gramtica. [1]

1.1.1. Propiedad. Dos gramticas son equivalentes si
ambas generan el mismo lenguaje.

son equivalentes si L(

)= L(

)

1.1.2. Alfabeto. Conjunto finito de smbolos, no vacio.
Para definir que un smbolo a pertenece a un alfabeto V
se utiliza notacin a V. Los alfabetos se definen por
enumeracin de los smbolos que contienen. As como
por ejemplo:

= {A, B, C, D, E, F,, X, Y, Z}

= {a, b c, d, 0, 1, 2, *, #, +}

= {if, then, end, a, b, =, >} [4]

1.1.3. Gramtica. Conjunto finito de reglas para
formar cadenas finitas juntando smbolos del alfabeto,
es una cudrupla G = (NT, T, S, P).
NT = {conjunto finito de smbolos no terminales}
T = {conjunto finito de smbolos terminales}
S = {es el smbolo inicial y pertenece a NT}
P = {conjunto de producciones o reglas de derivacin}

1.2. Jerarqua de las gramticas

Es una clasificacin jerrquica de distintos tipos
de gramticas formales que generan lenguajes
formales. Hay 4 distintos tipos de gramticas en
funcin de la forma de las derivaciones de P. [2]

1.2.1. Gramtica de tipo 0. Llamada tambin
gramtica no restringida o recursivamente enumerable,
es un lenguaje formal para el cual existe una mquina
de Turing que acepta y se detiene con
cualquier cadena del lenguaje, pero que puede parar y
rechazar, o bien iterar indefinidamente, con una cadena
que no pertenece al lenguaje, en contraposicin a
los lenguajes recursivos en cuyo caso se requiere que la
mquina de Turing pare en todos los casos. Las reglas
de derivacin son de la forma:
Siendo (NT T

y (NT T)*, es decir la nica

restriccin es que no puede haber reglas de la forma
donde es la cadena vaca. [6]

Los lenguajes recursivamente enumerables son
cerrados con las siguientes operaciones. Esto es, si L y
P son dos lenguajes recursivamente enumerables,
entonces los siguientes lenguajes son recursivamente
enumerables tambin: [3]
Cierre estrella L* de L, concatenacin LP de L y P,
la unin L P de L y P, la interseccin L P de L y P.



1.2.2. Gramtica de tipo 1. Llamada gramtica
sensible al contexto es equivalente a una mquina de
Turing no determinista linealmente acotada, tambin
llamado Autmata linealmente acotado. Se trata de
una mquina de Turing no determinista con una cinta
de slo kn posiciones, donde n es el tamao de la
entrada y k es la constante asociada a la mquina. Esto
significa que cada lenguaje formal que puede ser
decidido por una mquina es un lenguaje sensible al
contexto en ellas las reglas de produccin son de la
forma: A

Estas gramticas tienen reglas de la forma A
con A un no terminal y , y cadenas de
terminales y no terminales. Las cadenas y pueden
ser vacas, pero no puede serlo. La regla S est
permitida si S no aparece en la parte derecha de
ninguna regla. Los lenguajes descritos por estas
gramticas son exactamente todos aquellos lenguajes
reconocidos por una mquina de Turing determinista
cuya cinta de memoria est acotada por un cierto
nmero entero de veces sobre la longitud de entrada,
tambin conocidas como autmatas linealmente
acotados.[3]

Siendo A NT; , (NT T)* y (VN VT

.

Estas gramticas se llaman sensibles al contexto,
pues se pueden reemplazar A por siempre que estn
en el contexto .

La unin, interseccin, y concatenacin de dos
lenguajes sensibles al contexto es un lenguaje sensible
al contexto. El complemento de un lenguaje sensible al
contexto es en s mismo sensible al contexto.
Cada gramtica libre de contexto es un lenguaje
sensible al contexto. Ejemplo: La gramtica G = ({a,
b}, {A, S}, S, P) donde P son las producciones
siguientes: [2]
S aS
S aA
A bA
A b

1.2.3. Gramtica de tipo 2. Llamada tambin de
contexto libre. Sus reglas tan solo admiten tener un
smbolo no terminal en su parte izquierda, es decir son
de la forma: A Siendo A NT y (NT T

.

Si cada regla se representa como un par ordenado
(A, ), el conjunto P es un subconjunto del conjunto
cartesiano NT x ({T NT}

. La denominacin
contexto libre se debe a que se puede cambiar A por ,
independientemente del contexto que aparezca A. [5]
Las reglas son de la forma A con A un no
terminal y una cadena de terminales y no terminales.
Estos lenguajes son aquellos que pueden ser
reconocidos por un autmata con pila. [1]

El trmino libre de contexto se refiere al hecho de
que el no terminal A puede siempre ser sustituido por
sin tener en cuenta el contexto en el que ocurra.
Un lenguaje formal es libre de contexto si hay una
gramtica libre de contexto que lo genera.
Una de las definiciones alternativas y equivalentes
de lenguaje libre de contexto emplea autmatas no
deterministas, un lenguaje puede ser tambin modelado
como un conjunto de todas las secuencias de
terminales aceptadas por la gramtica, la unin y
concatenacin de dos lenguajes libres de contexto, el
inverso de un lenguaje libre de contexto, los lenguajes
regulares, la interseccin de un lenguaje libre de
contexto y un lenguaje regular es libre de contexto, la
interseccin no tiene por qu serlo, para demostrar que
un lenguaje dado no es libre de contexto, se puede
emplear el Lema del bombeo para lenguajes libres de
contexto. Ejemplo: La gramtica G = ({S, A, B}, {a,
b}, S, P,) cuyas producciones P sern las siguientes:[4]

S aB A bAA
S bA B b
A a B bS
A aS B aBB

1.2.4. Gramtica de tipo 3. Las gramticas de tipo 3
tambin denominadas regulares o gramticas lineales.
Estas gramticas se restringen a aquellas reglas que
tienen en la parte izquierda un no terminal, y en la
parte derecha un solo terminal, posiblemente seguido
de un no terminal. La regla S tambin est
permitida si S no aparece en la parte derecha de
ninguna regla. Estos lenguajes son aquellos que pueden
ser aceptados por un autmata finito. Tambin esta
familia de lenguajes pueden ser obtenidas por medio
de expresiones regulares, es decir de la forma:

A aB
A a

Donde A, B NT y T. Satisface las siguientes
propiedades, los lenguajes ms sencillos que se
considerarn son los lenguajes regulares, es decir, los
que se pueden generar a partir de los lenguajes bsicos,
con la aplicacin de las operaciones de unin,
concatenacin y * de Kleene un nmero finito de
veces. [5]
Puede ser reconocido por un autmata finito
determinista, un autmata finito no determinista,
un autmata de pila, un autmata finito alterno,
una mquina de Turing de solo lectura. Es generado
por, una gramtica regular, una gramtica de prefijos.
Es descrito por una expresin regular. [6]
Los lenguajes regulares son cerrados con las
siguientes operaciones, de modo que si L y P son
lenguajes regulares los siguientes lenguajes tambin
sern regulares: El complemento L de L, la clausura
o estrella de Kleene L
*
de L, el homomorfismo (L)
de L, la concatenacin L'P de L y P, la
unin L P de L y P, la interseccin L P de L y P, y
la diferencia L \ P de L y P, el reverso L
R
de L.
Ejemplo: La gramtica G=({a, b}, {A, S}, S, P) donde
P son las producciones que se muestran a continuacin.

S aS
S aA
S bA
S b

1.2.5. Relacin de inclusin. Se denomina lenguaje
tipo 0 al generado por una gramtica de tipo 0. De la
misma forma, se denomina lenguajes de tipo 1, 2 y 3, a
los generados por las gramticas de tipo 1, 2 y 3,
respectivamente. [3]

Si los lenguajes generados por los distintos tipos de
gramticas se relacionan entre s con respecto a la
relacin de inclusin se obtiene: [1]

{L(

)} {L(

)} {L(

)} {L(

)}


Figura 1. Relacin de inclusin entre los distintos tipos
de gramticas.
2. Conclusin

Los cuatro tipos de gramticas estudiados
anteriormente (tipo 0, tipo 1, tipo 2, y tipo 3), cada una
de ellas tiene restricciones ms fuertes que las
anteriores. Las gramticas de tipo 0, contienen a todas
las dems. Las de tipo 1 contienen alas de tipo 2 y tipo
3, y por ltimo las de tipo 2 contienen alas de tipo 3, es
decir, una gramtica de tipo 3 es de tipo 2, tipo 1 y 0.
Por lo tanto se define una jerarqua de gramticas
respecto de la relacin de inclusin de ah el nombre de
jerarquas.

Tomando como referencia un lenguaje formal, la
gramtica de tipo 3 que es la que es incluida en cada
tipo es el lenguaje ms simple dentro de la jerarqua,
esta se suele expresar en diferentes formas como las
expresiones regulares. Todo lenguaje formal finito
constituye a un regular, las gramticas regulares slo
pueden generar a los lenguajes regulares de manera
similar a los autmatas finitos y las expresiones
regulares, son las gramticas ms restrictivas el lado
derecho de una produccin debe contener un smbolo
terminal y, como mximo, un smbolo no terminal

Un ejemplo de estas son todas las cadenas sobre el
alfabeto {a, b} que contienen un nmero par de a o el
lenguaje que consiste en varias a seguidas de varias b.

Referencias

[1] Aho A.V. y Ullman J.D., 1973 The Theory of Parsing,
Translation and Com-pilin, Vol. II: Compiling, Prentice-Hall.

[2] Juan Manuel cueva Lovelle, lenguajes gramticas y
autmatas, Universidad de Oviedo (Espaa), 2 Edicin,
Noviembre 2011.

[3] Alfonseca M., Sancho J. y Martnez Orga M., 1987,
Teora de lenguajes gramticas y autmatas, Ediciones
Universidad y Cultura.

[4] Chomsky N., 1962, Context-free grammars and
pushdown storage. Quarterly Prog. Rept. No. 65, pp. 187-
194, MIT REs. Lab. Elect., Cambridge, Mass.

[5] Joaqun Aranda, Natividad Duro, Jos Luis Fernndez,
Jos Jimnez, Fernando Morilla, "Fundamentos de Lgica
Matemtica y Computacin", Sanz y Torres, 2006.

[6] Sipser, M. (1996), Introduction to the Theory of
Computation, PWS Publishing Co.