Centro universitario UAEM Atlacomulco.

Autmatas y Lenguajes Formales.

Gramtica Generativa De Chomsky, Forma Normal De Chomsky, Autmatas Con

Transiciones De Cerradura, Autmata De Pila.

Ing. Hctor Caballero Hernndez.

Alumna: Alfredo Barrueta Olvera

ICO-19

Segundo Semestre.

INTRODUCCIN
En esta investigacin se recopilaron diferentes temas para as poder resumir las caractersticas de
cada uno y para verificar sus funciones y as sabes para que podemos ocupar cada elemento de los
temas y los temas q se abordaron son Gramtica Generativa De Chomsky, Forma Normal De
Chomsky, Autmatas Con Transiciones De Cerradura, Autmata De Pila se retom
informacin de diferentes fuentes de informacin para as interpretar lo q diferentes autores piensan
al respecto del tema y a su vez comparar los diferentes puntos de vista.

P g i n a II | 11

NDICE

Gramtica Generativa De Chomsky.. IV 11

Forma Normal De Chomsky. VI 11
Autmatas Con Transiciones De Cerradura..... VII 11
Autmata De Pila.. IX 11
Referencias.. XI 11

P g i n a III | 11

GRAMTICA GENERATIVA DE CHOMSKY

Una gramtica generativa para una lengua concreta pretende describir la estructura gramatical de una
lengua mediante una construccin en trminos de constituyentes sintcticos jerrquicamente
ordenados. Dicha gramtica pretende hacer predicciones sobre por qu ciertas combinaciones
sintcticas son posibles en una lengua determinada, mientras que otras combinaciones resultan ser
oraciones incorrectas o agramaticales (aun cuando en otra lengua s pudieran ser correctas). La
gramtica generativa postula que los mecanismos bsicos son comunes a todas las lenguas del mundo,
y estas se diferencian solo por su fonologa y su lexicn as como detalles concretos o "parmetros"
en la sintaxis. Una gramtica generativa no pretende ser una gramtica prescriptiva, como lo suelen
ser las gramticas tradicionales. Igualmente una gramtica generativa se basa en reglas formales y
principios muy abstractos, por lo que difiere de otros enfoques que tambin usan constituyentes
jerrquicos como la gramtica funcional, que trata de buscar reglas informales y principios basados
en intuiciones asociadas a la funcin y la optimizacin de la comunicacin.
Una gramtica generativa pretende por tanto ser capaz de generar una infinita cantidad de
construcciones sintcticas a partir de un nmero limitado de reglas y unidades abstractas. Esta
propiedad es conocida como recursividad. En la actualidad, se postula que el lenguaje humano es el
nico sistema de comunicacin natural que tiene la propiedad de ser recursivo. Evidentemente, la
capacidad del cerebro humano es finita, pero no as las oraciones que puede generar e interpretar.
Principios bsicos
La gramtica generativa asume como otros modelos tericos, que una secuencia de discurso puede
descomponerse en constituyentes sintcticos. Un constituyente sintctico es una combinacin de
palabras que posee un ncleo sintctico del que el constituyente hereda sus propiedades
combinatorias. No cualquier conjunto de palabras es un constituyente, por ejemplo una preposicin
requiere estar unida una un sintagma nominal o un sintagma determinante para formar un
constituyente. Los constituyentes sintcticos forman un conjunto parcialmente ordenado, a travs de
la relacin
usualmente representada como
constituyente X es parte del constituyente Y".

y que se interpreta como "el

Gramtica generativa
La gramtica generativa moderna se concibe como parte de las ciencias cognitivas y se considera una
ciencia natural, ya que la conciencia del hablante o el conocimiento metalingstico de los hablantes
no tiene efecto sobre la estructura de la lengua o sus principios ms abstractos. 1 Al considerar que la
gramtica generativa es algo que describe el funcionamiento necesario de las habilidades cognitivolingsticas del cerebro humano, se considera que la gramtica generativa debe explicar la adquisicin
de lenguaje y se propone explicar en qu consiste el conocimiento inconsciente y tcito del hablante
y en cmo se adquiere o se desarrolla. Se supone que muchas de las capacidades que permiten
entender la estructura de las lenguas naturales, son una capacidad innata de los seres humanos de
inteligencia normal, y por tanto de alguna manera estn codificadas en los genes. 1 Eso explicara por
qu los seres humanos aprenden de manera natural y sin esfuerzo, mientras que otras especies de
primates, si bien tienen capacidades cognitivas y de comprensin semntica importantes, tienen una
capacidad lingstica muy limitada. En esa perspectiva, la gramtica generativa slo se interesa por
algunos aspectos del lenguaje humano, los ms relacionados con la habilidad cognitiva para el
lenguaje, razn por lo que la gramtica generativa podra considerarse una rama altamente
especializada de la psicologa cognitiva.

P g i n a IV | 11

Modelos generativistas
Comnmente, gramtica generativa suele utilizarse para sealar exclusivamente la vertiente terica
conducida por Noam Chomsky, es decir, la gramtica transformacional. Sin embargo, en sentido amplio,
el trmino refiere a un grupo mayor de teoras y modelos:

La teora estndar (Standard Theory, ST), modelo originalmente propuesto por Chomsky hacia
1965.

La teora estndar extendida (Extended Standard Theory, EST), basada en el anterior modelo y
en un conjunto de reformulaciones propuestas por Chomsky y sus seguidores. Vigente hasta fines
de los 70.

El marco terico conocido como Principios y parmetros (P&P).

La teora de Reccin y ligamiento (Government and Binding Theory, GB). Modelo propuesto
por Chomsky y sus seguidores en 1981 a partir de innovaciones a la EST, y desarrollado dentro
del marco terico de P&P.

El programa minimalista (Minimalist Program, MP), desarrollado tambin dentro del marco
terico de P&P. Propuesto hacia 1993, replantea el modelo de GB a partir de nociones de
economa y buen diseo.

La gramtica relacional (Relational Grammar, RG).

La gramtica lxico-funcional (Lexical-functional Grammar, LFG), modelo propuesto por Joan

Bresnan yRon Kaplan, que se separaron de la corriente chomskyana hacia fines de los 70.

La gramtica de estructura sintagmtica generalizada (Generalised Phrase Structure

Grammar, GPSG), propuesta hacia fines de los 70 y desarrollada por Gerald Gazdar, Ewan
Klein, Geofrey Pullum e Ivan Sag. Se separa de la corriente chomskyana y retoma aspectos de
la gramtica de Montague.

La gramtica sintagmtica nuclear (Head-Driven Phrase Structure Grammar, HPSG),

propuesta por Carl Pollard e Ivan Sag. Surge a mediados de los 80 como sucesora de GPSG,
aunque retoma aspectos semnticos y sintcticos de otras teoras.

P g i n a V | 11

FORMA NORMAL DE CHOMSKY

Una gramtica libre de contexto G := (V, , Q0, P) se dice que est en forma normal de Chomsky si
es -libre y las nicas producciones (exceptuando, eventualmente, la nica produccin Q0 7 ),
son exclusivamente de uno de los dos tipos siguientes.

A 7 a, con A V y a ,
A 7 CD, con A, C, D V.

Toda gramtica libre de contexto es equivalente a una gramtica libre de contexto en Forma Normal
de Chomsky. Adems, esta equivalencia es algortmicamente computable.
Supongamos que tenemos una gramtica G = (V, , Q0, P) propia. Procederemos del modo siguiente:
Definamos un par de clases V y P de smbolos no terminales y producciones.
Inicializar con V := V, P = y aadimos estas producciones por defecto: Si Q0 7 est en P,
aadir Q0 7 a P sin modificar V . Si en P hay una produccin del tipo A 7 a entonces,
aadir A 7 a a P sin modificar V . Si en P hay una produccin del tipo A 7 CD, con C, D V,
entonces, aadir A 7 CD a P sin modificar V . Simplemente, aadimos las producciones que
cumplan la definicin.
Finalmente, para cada produccin en P del tipo
A 7 X1 Xk ,
con Xi V que no sea de ninguno de los tres tipos anteriores realizar las tareas siguientes:

Para cada i tal que Xi V,

no modificar V Para cada i tal que Xi , aadir a V una nueva variable X i , distinta a
todas las que ya estuvieran en V . Aadir a P la produccin X i 7 Xi en este caso.
Aadir a P la produccin A 7 X 0 1 X 0 k , donde X 0 i viene dada por: X
Si k = 2, no modificar.
Si k > 2, reemplazar en P, la produccin A 7 X 0 1 X 0 k por una cadena de
producciones:

A 7 X 0 1Y2, Y2 7 X 0 2Y3, , Yk1 7 X 0 k1X 0 k ,

Aadiendo a V las variables {Y2, . . . , Yk1}.
Esto termina con el algoritmo.

P g i n a VI | 11

AUTMATAS CON TRANSICIONES DE CERRADURA

Una clase de lenguajes es un lgebra si es cerrada por unin y complemento y si
contiene al conjunto vaco. Es decir, si se cumplen las propiedades

En una clases de lenguajes, adems de caracterizar la solubilidad de los problemas de la

palabra y de derivacin, mencionados en la Introduccin del curso, tambin es importante
decidir si acaso una clase dada de lenguajes en un lgebra. Por ejemplo, la clase de
lenguajes regulares sobre un alfabeto finito forma un lgebra de conjuntos. La clase de
lenguajes recursivamente enumerables, es decir, aquellos que son generados por gramticas
irrestrictas, contiene al conjunto vaco, y la unin y la interseccin de cualesquiera dos
lenguajes en la clase estn en la clase, sin embargo no ocurre lo mismo para la operacin de
complementacin. En general, si
es un operador de aridad k, que transforma k lenguajes
dados en algn otro lenguaje, un problema importante para una clase de lenguajes es
decidir cundo esa clase es cerrada bajo el operador, es decir, cundo rige la implicacin:

Hemos ya visto algunos de los operadores ms usuales entre lenguajes:

Unin.
: palabras que estn en L1 o en L2 .
Interseccin.
: palabras que estn en ambos
lenguajes L1 y L2.
Diferencia.
: palabras que estn en L1 pero no en L2.
Complemento.
: palabras en el diccionario que no estn en L.
Concatenacin.
: palabras formadas al concatenar
partculas en L1 y en L2.
0-sima potencia.
: mnada consistente de la palabra vaca.
m-sima potencia (m>0).
: palabras que se forman al
concatenar m partculas en L.
P g i n a VII | 11

Operador ``estrella'' (de Kleene).

: palabras que se forman al concatenar un conjunto finito de partculas

en L, includa la palabra vaca.
Operador ``ms''.
: palabras que se forman al concatenar un conjunto finito
de partculas en L.

P g i n a VIII | 11

AUTMATA DE PILA
Un autmata con pila, autmata a pila o autmata de pila es un modelo matemtico de un
sistema que recibe una cadena constituida por smbolos de un alfabeto y determina si esa
cadena pertenece al lenguaje que el autmata reconoce. El lenguaje que reconoce un autmata con
pila pertenece al grupo de los lenguajes libres de contexto en la clasificacin de la Jerarqua de
Chomsky.
Funcionamiento
Los autmatas de pila, en forma similar a como se usan los autmatas finitos, tambin se pueden
utilizar para aceptar cadenas de un lenguaje definido sobre un alfabeto A. Los autmatas de pila
pueden aceptar lenguajes que no pueden aceptar los autmatas finitos. Un autmata de pila cuenta
con una cinta de entrada y un mecanismo de control que puede encontrarse en uno de entre un
nmero finito de estados. Uno de estos estados se designa como estado inicial, y adems algunos
estados se llaman de aceptacin o finales. A diferencia de los autmatas finitos, los autmatas de
pila cuentan con una memoria auxiliar llamada pila. Los smbolos (llamados smbolos de pila)
pueden ser insertados o extrados de la pila, de acuerdo con el manejo las t-in-first-out (LIFO). Las
transiciones entre los estados que ejecutan los autmatas de pila dependen de los smbolos de
entrada y de los smbolos de la pila. El autmata acepta una cadena x si la secuencia de transiciones,
comenzando en estado inicial y con pila vaca, conduce a un estado final, despus de leer toda la
cadena x.
Representacin
Una mquina de este tipo se representa de la siguiente forma

P g i n a IX | 11

Al igual que un autmata finito un autmata de pila cuenta con un flujo de entrada y un flujo de
control que puede encontrarse en uno de entre un nmero finito de estados. Uno de estos estados se
designa como el inicial y por lo menos un estado es de aceptacin.
La principal diferencia es que los autmatas de pila cuentan con una pila en donde pueden
almacenar informacin para recuperarla ms tarde.
Los smbolos que pueden almacenarse en esta pila se conocen como smbolos de pila de la
mquina, constituyen un conjunto finito que puede incluir algunos smbolos definiendo el alfabeto
de la mquina y quiz algunos smbolos adicionales que se utilizan como marcas internas. Si una
mquina inserta un smbolo especial en la pila antes de efectuar algn otro clculo, entonces ese
smbolo en la cima de la pila puede usarse como indicador de pila vaca para clculos posteriores,
dicho smbolo es #.
Ejemplo
Sea el siguiente LLC

; formado por las

cadenas
Dicho lenguaje puede ser reconocido por el siguiente autmata con pila:

donde las transiciones son:

para cualquier
El significado de las transiciones puede ser explicado analizando la primera transicin:

donde
es el estado actual, es el smbolo en la entrada y se extrae de la cima de la pila.
Entonces, el estado del autmata cambia a
y el smbolo
se coloca en la cima de la pila.
La idea del funcionamiento del autmata es que al ir leyendo los diferentes smbolos a, estos pasan
a la pila en forma de smbolos A. Al aparecer el primer smbolo b en la entrada, se comienza el
proceso de cepillado, de forma que coincida el nmero de smbolos b ledos con el nmero de
smbolos A que aparecen en la pila.

P g i n a X | 11

REFERENCIAS

Chomsky, Noam. 1965. Aspects of the theory of syntax. Cambridge, Massachusetts: MIT
Press.

Hurford, J. (1990) Nativist and functional explanations in language acquisition. In I. M.

Roca (ed.), Logical Issues in Language Acquisition, 85-136. Foris, Dordrecht.
http://ocw.unican.es/ensenanzas-tecnicas/teoria-de-automatas-y-lenguajesformales/material-de-clase-nuevo/nuevo/3-5_CNF.pdf
http://es.wikipedia.org/wiki/Forma_normal_de_Chomsky

P g i n a XI | 11