UNIVERSIDAD NACIONAL DEL CALLAO

ESCUELA DE INGENIERIA DE SISTEMAS

FACULTAD DE INGENIERA INDUSTRIAL Y DE SISTEMAS

LENGUAJES GRAMTICAS Y PROCESADORES

POR
CALCINA MURRUGARRA CESAR HUGO
FLORIAN GUARDIA GERALDINE ISABEL
LOPEZ ALIAGA DAYANNA
TANANTA ESPINOZA MAYRA
DOCENTE
MALCA VICENTE EDDIE CHISTIAN

BELLAVISTA, 2016

INDICE
LENGUAJES GRAMTICAS Y PROCESADORES...................................................................................................3
GODEL Y TURIN..............................................................................................................................................3
TEOREMA DE GODEL.......................................................................................................................3
TEOREMA DE TURIN........................................................................................................................3
AUTOMATAS................................................................................................................................................................4
AUTMATAS FINITOS (REDES LGICAS).................................................................................................4
AUTMATAS INTERMEDIOS.......................................................................................................................5
MQUINAS DE TURING................................................................................................................................4
LENGUAJES Y GRAMATICAS...................................................................................................................................5
LENGUAJES.....................................................................................................................................................5
GRAMATICAS..................................................................................................................................................5
MAQUINAS ABSTRACTAS Y LENGUAJES FORMALES.......................................................................................5
MAQUINAS ABSTRACTAS............................................................................................................................5
LENGUAJES FORMALES...............................................................................................................................5
ALFABETOS, SIMBOLOS Y PALABRAS...................................................................................................................6
ALFABETOS..................................................................................................................................................................6
SIMBOLOS........................................................................................................................................................6
PALABRAS.......................................................................................................................................................6
OPERACIONES CON PALABRAS..............................................................................................................................7
CONCATENACION DE DOS PALABRAS.....................................................................................................7
MONOIDE LIBRE............................................................................................................................................7
POTENCIA DE UNA PALABRA.....................................................................................................................7
REFLEXION DE UNA PALABRA...................................................................................................................8
LENGUAJES..................................................................................................................................................................8
UNION DE LENGUAJES.................................................................................................................................8
CONCATENACION DE LENGUAJES............................................................................................................8
BINOIDE LIBRE...............................................................................................................................................8
POTENCIA DE UN LENGUAJE......................................................................................................................9
CLAUSURA POSITIVA DE UN LENGUAJE.................................................................................................9
ITERACION, CIERRE O CLAUSURA DE UN LENGUAJE.........................................................................9
REFLEXION DE LENGUAJES........................................................................................................................9
CONCEPTOS BASICOS SOBRE GRAMATICAS.......................................................................................................9
NOTACION DE BACKUS..............................................................................................................................11
DERIVACION DIRECTA...............................................................................................................................11
DERIVACION.................................................................................................................................................11
RELACION DE THUE....................................................................................................................................12
FORMAS SETENCIALES Y SETENCIAS....................................................................................................12
LENGUAJE ASOCIADO A UNA GRAMATICA..........................................................................................12
FRASES Y ASIDEROS...................................................................................................................................12
RECURSIVIDAD............................................................................................................................................13
BIBLIOGRAFA..........................................................................................................................................................14

LENGUAJES GRAMTICAS Y PROCESADORES

2

GODEL Y TURIN
TEOREMA DE GODEL
En el ao 1931 se produjo una revolucin en las ciencias matemticas, con el descubrimiento
realizado por Kurt Gdel.
En estas pocas se intentaba formalizar la idea de que las matemticas estaban libres de
contradiccin esto era conocido como el Programa de Hilbert, y esencialmente constaba de dos
puntos. En primer lugar, haba que encontrar una axiomtica completa para poder demostrar
todas las verdades matemticas y slo stas. Y una vez encontrados estos axiomas slo quedara
justificar que eran consistentes, es decir, que a partir de ellos no se podra deducir jams una
contradiccin. Pero fue Gdel con su teorema quien destruyo las esperanzas de los matemticos
de construir un sistema completo y consistente.
El Teorema de Gdel especfica, que toda formulacin axiomtica consistente de la teora de
nmeros contiene proposiciones indecidibles. Es decir, cualquier teora matemtica ha de ser
incompleta. Siempre habr en ella afirmaciones que no se podrn demostrar ni negar [1]
TEOREMA DE TURIN
En 1937, el matemtico ingls Alan Mathison Turing desarroll el teorema de Gdel
pudindose considerar esto como el origen oficial de la informtica terica. En este artculo
introdujo adems la famosa mquina de Turing, que viene a ser una entidad matemtica
abstracta que formaliz por primera vez el concepto de algoritmo y result ser precursora de las
mquinas de calcular automticas.
El teorema de Turing demostraba que existen problemas irresolubles, es decir, que ninguna
mquina de Turing (y, por ende, ninguna computadora) ser capaz de obtener su solucin.
El teorema de Turing es, en el fondo, equivalente al teorema de Gdel. Si el segundo demuestra
que no todos los teoremas pueden demostrarse, el primero dice que no todos los problemas
pueden resolverse.

AUTOMATAS
El segundo eslabn en la cadena vino de un campo completamente diferente: la ingeniera
3

elctrica. En 1938, el norteamericano Claude Elwood Shannon vino a establecer las bases para
la aplicacin de la lgica matemtica a los circuitos combinatorios y secuenciales, construidos
al principio con rels y luego con dispositivos electrnicos de vaco y de estado slido. Las
ideas de Shannon se convirtieron en la teora de las mquinas secuenciales y de los autmatas
finitos [2]. Los autmatas son sistemas capaces de transmitir informacin. En sentido amplio,
todo sistema que acepta seales de su entorno y, como resultado, cambia de estado y transmite
otras seales al medio, puede considerarse como un autmata. Adems, existen distintas
jerarquas de autmatas:

AUTMATAS FINITOS (REDES LGICAS)

Es un modelo computacional que realiza cmputos en forma automtica sobre una entrada para
producir una salida. Este modelo est conformado por un alfabeto, un conjunto de
estados finito, una funcin de transicin, un estado inicial y un conjunto de estados finales.

AUTMATAS INTERMEDIOS
Son autmatas cuya potencia computacional es mayor que la de los autmatas finitos, pero
menor que la de la mquina de Turing.
AUTMATA DE MEMORIA DE PILA: Son autmatas finitos con una memoria de pila
potencial infinita, que utiliza para almacenar resultados intermedios.
AUTMATA DE MEMORIA LINEAL LIMITADA: autmatas finitos que se pueden utilizar
como espacio de memoria intermedia en espacio como mximo igual al ocupado por las
cadenas de entradas.

MQUINAS DE TURING
Dispositivo que manipula smbolos sobre una cinta potencial infinita de acuerdo a una tabla de
reglas, que se utiliza para almacenar: Datos de entrada, Datos de salida y Los resultados
intermedios

LENGUAJES Y GRAMATICAS
El tercer eslabn del proceso surgi de un campo que tradicionalmente no haba recibido
consideracin de cientfico: la lingstica, la teora de los lenguajes y las gramticas. En la
4

dcada de 1950, el lingista norteamericano Avram Noam Chomsky revolucion su campo de

actividad con la teora de las gramticas transformacionales, que estableci las bases de la
lingstica matemtica.

LENGUAJES
Un lenguaje es simplemente un conjunto de palabras. As, {abracadabra} es un lenguaje (de una
sola palabra), {Ali, baba, y, sus, cuarenta, ladrones} es otro

GRAMATICAS
Una gramtica es un conjunto de reglas para formar correctamente las frases de un lenguaje; as
tenemos la gramtica del espaol, del francs, etc. La formalizacin que presentaremos de la
nocin de gramtica es debida a N. Chomsky [4], y est basada en las llamadas reglas
gramaticales.

MAQUINAS ABSTRACTAS Y LENGUAJES FORMALES

MAQUINAS ABSTRACTAS
Una mquina abstracta es un modelo terico de un sistema de hardware o software usado en la
teora de autmatas. Las mquinas abstractas son utilizadas para analizar la complejidad de
algoritmos.

LENGUAJES FORMALES
Un lenguaje formal es un conjunto (finito o infinito) de cadenas finitas de smbolos primitivos
teniendo claros estos dos conceptos podemos darnos cuenta que La teora de lenguajes formales
result tener una relacin sorprendente con la teora de mquinas abstractas conocida como
isomorfismo. Chomsky clasific las gramticas y los lenguajes formales de acuerdo con una
jerarqua

de

cuatro grados, cada

uno

los

cuales contiene a

los

siguientes. [3]

todos

de

Figura1. Relacin jerrquica de las Mquinas Abstractas y los Lenguajes Formales

ALFABETOS, SIMBOLOS Y PALABRAS

ALFABETOS
Un alfabeto se define por enumeracin de los smbolos que contiene:
1 = {A, B, C, D, E..., Z}
2 = {0,1}
3 = {0,1,2,3,4,5,6,7,8, 9}

SIMBOLOS
Se llama Smbolos a los elementos de un alfabeto

PALABRAS
Formada con los smbolos de un alfabeto, a una secuencia finita de los smbolos de ese
alfabeto. Se utilizarn letras minsculas como x o y para representar las palabras de un alfabeto:
x = JUAN (palabra sobre 1)
y = 1234 (palabra sobre 3)

OPERACIONES CON PALABRAS

CONCATENACION DE DOS PALABRAS
Sean dos palabras x e y tales que x W( ), y W(). Suponiendo que x tiene i letras, e y
tiene j letras:
x=a1a2...ai
y=b1b2...bj
Donde todas las letras a, b son smbolos del alfabeto . Se llama concatenacin de las palabras
x e y (y se representa xy) a otra palabra z, que se obtiene poniendo las letras de y a
continuacin de las letras de x:
z = xy = a1...ai b1...bj

MONOIDE LIBRE
6

Sea un alfabeto . Cada una de sus letras puede considerarse como una palabra de longitud
igual a 1, perteneciente a W(). Aplicando a estas palabras elementales la operacin
concatenacin, puede formarse cualquier palabra de W() excepto , la palabra vaca. Se dice
entonces que es un conjunto de generadores de W()-{}. Este conjunto, junto con la
operacin concatenacin, es un semigrupo, pero no un monoide (pues carece de elemento
neutro). Se dice que W()-{} es el semigrupo libre engendrado por . Aadiendo ahora la
palabra vaca, diremos que W() es el monoide libre generado por .

POTENCIA DE UNA PALABRA

Se llama potencia i-sima de una palabra a la operacin que consiste en concatenarla consigo
misma i veces. Como la concatenacin tiene la propiedad asociativa, no es preciso especificar
el orden en que tienen que efectuarse las operaciones.
xi = xxx...x (i veces)

REFLEXION DE UNA PALABRA

Sea x=a1a2....an. Se llama palabra refleja o inversa de x, y se representa x-1:
x1 = an...a2a1
Es decir, a la que est formada por las mismas letras en orden inverso.

LENGUAJES
Se llama lenguaje sobre el alfabeto a todo subconjunto del lenguaje universal de

UNION DE LENGUAJES
Sean dos lenguajes definidos sobre el mismo alfabeto, L 1 W(), L2 W(). Llamamos
unin de los dos lenguajes, L1 L2, al lenguaje definido as:
{x | x L1 x L2}

CONCATENACION DE LENGUAJES
Sean dos lenguajes definidos sobre el mismo alfabeto, L1 W(), L2 W().
Llamamos concatenacin de los dos lenguajes, L1L2, al lenguaje definido as:
7

{xy | xL1 yL2}

BINOIDE LIBRE
Acabamos de ver que existen dos monoides (la unin y la concatenacin de lenguajes) sobre el
conjunto L de todos los lenguajes que pueden definirse con un alfabeto dado . Se dice que
estas dos operaciones constituyen un binoide. Adems, las letras del alfabeto pueden
considerarse como lenguajes de una sola palabra. A partir de ellas, y mediante las operaciones
de unin y concatenacin de lenguajes, puede generarse cualquier lenguaje sobre dicho alfabeto
(excepto y {}). Por lo tanto, el alfabeto es un conjunto de generadores para el conjunto L,
por lo que L se denomina binoide libre generado por .

POTENCIA DE UN LENGUAJE
Se llama potencia i-sima de un lenguaje a la operacin que consiste en concatenarlo consigo
mismo i veces.
Li = LLL...L (i veces)

CLAUSURA POSITIVA DE UN LENGUAJE

La clausura positiva de un lenguaje L se define as:

Es decir, el lenguaje obtenido uniendo el lenguaje L con todas sus potencias posibles, excepto
L^0. Obviamente, ninguna clausura positiva contiene la palabra vaca, a menos que dicha
palabra est en L.

ITERACION, CIERRE O CLAUSURA DE UN LENGUAJE

La iteracin, cierre o clausura de un lenguaje L se define as:

Es decir, el lenguaje obtenido uniendo el lenguaje L con todas sus potencias posibles, incluso
L0. Obviamente, todas las clausuras contienen la palabra vaca.

REFLEXION DE LENGUAJES
8

Sea L un lenguaje cualquiera. Se llama lenguaje reflejo o inverso de L, y se representa con L-1:
{x-1 | xL}
Es decir, al que contiene las palabras inversas a las de L

CONCEPTOS BASICOS SOBRE GRAMATICAS

Como se ha dicho anteriormente, una gramtica describe la estructura de las frases y de las
palabras de un lenguaje.
Se llama gramtica formal a la cudrupla
G=(T, N, S, P)
donde T es el alfabeto de smbolos terminales, y N es el alfabeto de smbolos no terminales.
Se verifica que:
T N =
y
= T N
N N es el axioma, smbolo inicial, o smbolo distinguido. Finalmente, P es un conjunto
finito de reglas de produccin de la forma u ::= v, donde se verifica que:
u+
u=xAy
x,y*
AN
v
Es decir, u es una palabra no vaca del lenguaje universal del alfabeto que contiene al menos
un smbolo no terminal y v es una palabra, posiblemente vaca, del mismo lenguaje universal.
Veamos un ejemplo de gramtica:
T = {0,1,2,3,4,5,6,7,8,9}
N = {N,C}
S=N
P={
N ::= CN
N ::= C
C ::= 0
C ::= 1
C ::= 2
C ::= 3
C ::= 4
C ::= 5
C ::= 6
C ::= 7
C ::= 8
C ::= 9 }

NOTACION DE BACKUS
Notacin formal para definir la
sintaxis de un lenguaje
Usada para especificar la mayora de
los lenguajes de programacin
Metasmbolos
: ::= se define como
| or
{ } repeticin
[ ] opcional
Los terminales entre comillas y negrita, por ejemplo: 'if', '5'

DERIVACION
DIRECTA
Sea una gramtica G = (VN,VT,S,P), si

es una produccin, es decir

y es una cadena es decir entonces las cadenas estn en la relacin de derivacin directa de la

gramtica de G.

DERIVACION

10

RELACION DE THUE
Sea un alfabeto y P un conjunto de producciones
Sean v y w dos palabras sobre , es decir v,w, *
Se dice que existe una relacin de The entre v y w y se representa por v*w si se verifica que:
V + w
V=w
Propiedades:
Reflexiva
Transitiva
Simtrica

FORMAS SETENCIALES Y SETENCIAS

Sea una gramtica G = (T, N, S, P). Una palabra x* se denomina forma sentencial de G si
se verifica que S * x, es decir, si existe una relacin de Thue entre el axioma de la gramtica
y x. Dicho de otro modo: si x=S o x deriva de S.

LENGUAJE ASOCIADO A UNA GRAMATICA

Sea una gramtica G = (T, N, S, P). Se llama lenguaje asociado a G, o lenguaje generado por
G, o lenguaje descrito por G, al conjunto L(G) = {x | S*x xT * }. Es decir, el conjunto de
todas las sentencias de G (todas las cadenas de smbolos terminales que derivan del axioma de
G).

FRASES Y ASIDEROS
Sea G una gramtica y v=xuy una de sus formas sentenciales. Se dice que u es una frase de la
forma sentencial v respecto del smbolo no terminal UN si
S * xUy U + u
Es decir, si en la derivacin que transforma S en xuy se pasa por una situacin intermedia en la
que x e y ya han sido generados, y slo falta transformar el smbolo no terminal U en la frase u.
11

RECURSIVIDAD
Una gramtica G se llama recursiva en U, UN, si U + xUy. Si x es la palabra vaca (x=)
se dice que la gramtica es recursiva a izquierdas. Si y=, se dice que G es recursiva a derechas
en U. Si un lenguaje es infinito, la gramtica que lo representa tiene que ser recursiva.

BIBLIOGRAFA
- John W. Dawson, Jr. Gdel y los lmites de la lgica. Investigacin y Ciencia 275 (agosto
1999), 58-63.
- Jess Mostern. Kurt Gdel: Obras completas. Alianza
- Automatas y Lenguajes, un enfoque en el diseo, ramn brena tec de monterrey 2003
- Lgica computacional, autmatas y computabilidad, departamento de lgica-facultad de
psicologa- ucm
- Lenguajes formales, Federico peneido-jose luis sierra, facultad de informtica-universidad
complutense de madrid
- Teora de Lenguajes, Facultad de Ingeniera - Universidad de la Repblica Uruguay
- Teora de Autmatas y de Lenguajes formales, Ingeniera informtica Universidad Carlos III

12

de Madrid

13