LICENCIATURA EN INGENIERA EN COMPUTACIN

ICO 19
QUE PRESENTA:

Miguel ngel Correa Gonzlez

PARA LA MATERIA DE:

Autmatas y lenguajes formales

MAESTRO:
Mtro. Hctor Caballero Hernndez

24 DE MARZO DE 2015

INTRODUCCIN

En esta investigacin que se llev a cabo se recopilo informacin de diferentes fuentes ya sean
bibliogrficas y cibergraficas las cuales sirvieron de apoyo y fuente para esta investigacin, abordando
distintos temas relacionados con la materia de Autmatas y Lenguajes Formales, con el fin de obtener
informacin para la misma y el aprendizaje. Los temas que se necesitaron para tal investigacin son
relacionados con los autmatas como lo son los autmatas con pila, autmatas con transicin de
cerradura, gramtica de Chomsky y su forma normal, tales temas se investigaron para el trmino de esta
investigacin

I
INDICE
1.- Desarrollo.......... 3
2.- Referencias. 4
3.- Gramtica generativa de Chomsky 5
4.- Forma normal. 7
5.- Autmatas en transiciones de cerradura E. 9
6.- Autmatas de pila . 11

II
DESARROLLO

En esta investigacin que se llev con el fin de buscar informacin para su uso y estudio que se llev a
cabo se recopilo informacin de diferentes fuentes ya sean bibliogrficas y cibergraficas las cuales
sirvieron de apoyo y fuente para esta investigacin, abordando distintos temas relacionados con la materia
de Autmatas y Lenguajes Formales, con el fin de obtener informacin para la misma y el aprendizaje.
Los temas que se necesitaron para tal investigacin son relacionados con los autmatas como lo son los
autmatas con pila, autmatas con transicin de cerradura, gramtica de Chomsky y su forma normal,
tales temas se investigaron para el trmino de esta investigacin. En conclusin la informacin de dicha
investigacin ser utilizada con un fin acadmico.

III
REFERENCIAS
http://www.csub.edu/~tfernandez_ulloa/spanishlinguistics/chomsky%20y%20la%20gramatica
%20generativa.pdf
H. Contreras: Los fundamentos de la gramtica transformacional, Mxico, siglo XXI, 1971.
J. Lyons: Chomsky, Londres, Collins Sons, 1970. Edicin original en ingls.
J. Nivette: Principios de gramtica generativa. Madrid, Fragua, 1973.
Vidal Lamiquiz, Lingstica Espaola. Publicaciones de la Universidad de Sevilla, 1973.
http://es.wikipedia.org/wiki/Forma_normal_de_Chomsky
http://es.wikipedia.org/wiki/Aut%C3%B3mata_con_pila
Libro Teora de autmatas y lenguajes Formales, paginas 210-211

C. E. Shannon and J. McCarthy, Automata Studies, Princeton Univ. Press, 1956.

IV
La gramtica Generativa de Chomsky y la forma normal
Por tanto, la tarea del lingista consistir en hallar el sistema prctico que implique la competencia y que
ser expresado en forma de reglas cuyo conjunto constituye la gramtica. As, podemos decir que la
gramtica generativa es el conjunto de reglas que permiten generar todas y cada una de las
manifestaciones lingsticas de una lengua. Pero para elaborar esa teora lingstica se podra: Descubrir la
gramtica de una lengua sobre la base de un corpus representativo y garante. Chomsky piensa que esto es
imposible. Decidir si una gramtica ya existente es adecuada o no lo es. Sin premisas de criterio, sera un
apriorismo inadmisible. Valorar unas cuantas gramticas e intentar aproximarse a la descripcin ms
perfecta. Para Chomsky es lo nico asequible.
Hay que anotar que la solucin ltima implica a la segunda, por lo que se viene a caer en el condenado
apriorismo. En esta primera seleccin, Chomsky est muy lejos de Hjelmslev y de la escuela europea en
cuanto a premisas lgicas.
Chomsky lleva razn al decir que una teora debe ser independiente del material concreto que se va a
describir con ella. Pero una teora exige un nmero de premisas implcitas que se reducen al mnimo, y las
definiciones sucesivas deben ir siempre apoyadas en lo ya expuesto. En la prctica equivale esto a la
necesidad de introducir las definiciones previas antes de las que las presuponen; es decir, partir de lo ms
sencillo para llegar a lo ms complejo como lo exigen la segunda y tercera reglas cartesianas.
Grficamente, en Copenhague y en la escuela europea se intenta construir en este orden:
TEORA ----------> GRAMTICA ----------> DESCRIPCIN
Sin embargo, Chomsky toma la teora de las gramticas ms logradas, no se detiene a definir los
conceptos tericos bsicos que luego va a emplear, como verbo, sustantivo Y, sobre esa teora,
deducida de otras gramticas no elaboradas cientficamente, organiza su gramtica de reglas generativas.
La pregunta es la siguiente: si no resulta esa teora por fallo cientfico de los fundamentos en que se
apoya no probados lgicamente?
La respuesta de Chomsky es sencilla: Se cambia! Es lo que ha hecho en su segunda poca. La teora
gramatical est sujeta a revisiones continuas. Y esto es necesario precisamente por el dinamismo
cambiante de la realidad de la lengua.
Hay otra pregunta: si resulta exacta esa teora tras ciertos perfeccionamientos? Es lo que constituye la
base de toda invencin, de todo descubrimiento basado en el dominio del azar, algo cautivador y

atrayente en sumo grado. No nos extraa que la lingstica transformacional haya sido calificada de
maravillosa aventura.
La adecuacin: gramaticalidad y aceptabilidad
La competencia lingstica que posee un hablante le impide generar frases que no pertenezcan a su lengua
o frases antigramaticales. De igual modo, una gramtica generativa va a satisfacer las condiciones de
adecuacin. Esta adecuacin es doble.

V
La gramtica generativa deber cumplir, primeramente, el requisito de la gramaticalidad, que es la
adecuacin de la gramtica a la competencia. Es decir, no generar frases descabelladas ni disparatadas.
Aqu gramaticalidad no tiene nada que ver con correccin o norma.
Pero no es suficiente que las frases sean gramaticales. La gramtica generar, adems, frases con
aceptabilidad, que es la adecuacin de la gramtica a la actuacin.
Estos dos conceptos de gramaticalidad y aceptabilidad, sern los criterios que valorarn una gramtica, el
primero a nivel de competencia y el segundo a nivel de actuacin.
El inconveniente que se puede oponer a Chomsky es doble:
En primer lugar, nicamente un nativo tiene el criterio de gramaticalidad y aceptabilidad. Luego se
convierte en regla para una sola lengua y no se da el criterio de generalidad.
Y en segundo lugar, la gramtica pone tablas al hablante que utiliza figuras y recursos aparentemente
disparatados, pero que son vlidos para la expresividad y el lenguaje potico o literario.
La estructura profunda y la estructura superficial
Chomsky nos recuerda que un lenguaje es un conjunto finito o infinito de frases, todas de longitud finita y
construida con repertorio finito de elementos, principio muchas veces formulado pero pocas veces
aprovechado.
Aqu se muestra el carcter generativo de la gramtica, la cual, a partir de unos componentes y de sus
reglas de composicin, genera todas las frases de la lengua que explica.
Esta gramtica trabaja a dos niveles. Uno se sita en la estructura profunda, latente en la competencia; el
otro en la estructura superficial, patente en la actuacin. De ah que toda frase tendr esa doble estructura.
La estructura profunda genera la estructura superficial o de superficie. Entre la estructura profunda y la
estructura superficial aparecen los procesos de transformacin. De ah la gramtica transformacional.
Los componentes gramaticales

El dominio genuinamente lingstico es el gramatical. Si admitimos y parece indiscutible que en la

lengua hay un nivel fonolgico, un nivel sintctico y un nivel semntico, la gramtica constar de los
siguientes componentes:
a) Componente sintctico: primordial y generador de estructuras.
b) Componente semntico: asigna significado a esas estructuras.
c) Componente fonolgico: permite que esas estructuras se hagan perceptibles.

VI
La disposicin jerrquica de esos tres tipos de componentes gramaticales puede expresarse como una
jerarqua de dependencias:
Componente sintctico
Componente semntico

Componente fonolgico

En esto la lingstica de Chomsky se separa definitivamente de la de los seguidores de Bloomfield.

Adems, un sistema es un lenguaje enormemente complicado. Pero la descripcin conjunta de esos
niveles, aunque diferenciados, sern mucho ms sencilla que la descripcin independiente de las diversas
estructuras de cada uno de ellos.
De todas maneras el componente con capacidad generativa es el sintctico por: los otros dos son
componentes interpretativos.

El componente sintctico aparece construido por:

a) base: conjunto de reglas que generan las estructuras profundas. Est compuesta por:
- Un componente categorial o conjunto de reglas re escriturales que definen las relaciones
gramaticales de los elementos de una cadena discursiva.
Y por un lexicn, especie de diccionario en el que los trminos se definen por un conjunto acabados
de rasgos selectivos que aportan una informacin semntica y gramatical. Estos rasgos entran en el
proceso generativo despus de haber desarrollado las reglas del componente categorial, al cual se le
otorga una interpretacin semntica.
b) las transformaciones: reglas que van a convertir las estructuras profundas en estructuras
superficiales. Decimos estructura y no cadena discursiva, pues esta aparecer slo y cuando haya
actuado el otro componente interpretativo, el componente fonolgico.

FORMA NORMAL DE CHOMSKY

Una gramtica formal est en Forma normal de Chomsky si todas sus reglas de produccin son de
alguna de las siguientes formas:
o
o
donde

son smbolos no terminales (o variables) y es un smbolo terminal.

Todo lenguaje independiente del contexto que no posee a la cadena vaca, es expresable por medio de una
gramtica en forma normal de Chomsky (GFNCH) y recprocamente. Adems, dada una gramtica
independiente del contexto, es posible algortmicamente producir una GFNCH equivalente, es decir, que
genera el mismo lenguaje.

VII
En algunos textos se puede encontrar una definicin de una GFNCH de forma que cualquier GFNCH
produzca cualquier lenguaje independiente del contexto y de la misma manera, que para cualquier
lenguaje independiente del contexto exista una GFNCH que lo defina. Esta definicin apenas se diferencia
en permitir una regla de la siguiente forma:
o
o

donde

es el smbolo distinguido (o inicial) de la gramtica,

es un smbolo no terminal (o

variable),
y tambin son smbolos no terminales pero distintos de
es la cadena nula (o vaca).

, es un smbolo terminal, y

VIII
AUTOMATAS CON TRANCISIONES DE CERRADURA E.

Como nueva caracterstica, permitimos transiciones para E, la cadena vaca. Con ellas, un AFN puede
hacer transiciones espontneamente sin recibir ningn smbolo de entrada. Al aadir el no determinismo a
los autmatas, esta nueva capacidad tampoco expande la clase de lenguajes que aceptan los autmatas
finitos, pero proporcionan algunas facilidades de programacin.

UTILIDAD DE LAS TRANSICIONES E.

Comenzaremos con un tratamiento informal de los AFN-E, utilizando diagramas de transiciones en los
que E puede aparecer como etiqueta. En los ejemplos que siguen, los autmatas aceptaran las secuencias
de etiquetas que pasan por algn estado inicial a un estado de aceptacin. Sin embargo cada E que
encontremos en los caminos es invisible; es decir, no contribuye a la cadena que se forma recorriendo el
camino.
NOTACION FORMAL PARA UN AFN-E
Se puede representar un AFN-E exactamente igual que un AFN, con una sola excepcin; la funcin de
transicin debe incluir informacin sobre las transiciones E. Formalmente, representaremos un AFN-E A
mediante A= (Q, E , q0, F), donde todas las componentes tienen la misma interpretacin que en un AFN,
excepto que es ahora una funcin con dos argumentos.
CLAUSURAS RESPECTO DE E.
Vamos a definir formalmente una funcin de transicin extendida para AFN-E, lo que lleva a la definicin
de la aceptacin de cadenas y lenguajes por parte de estos autmatas, y permitir explicar por qu los
AFN-E pueden simularse con AFD. Sin embargo, primero necesitamos una definicin bsica, la clausura
respecto de E de un estado. Informalmente, cerramos un estado q respecto de E siguiendo todas las
transiciones que salen de q etiquetadas con E. Cuando tenemos los estados de destino, seguimos las
transiciones E que salen de ellos, y as sucesivamente, hasta encontrar todos los estados a los que se pueda
llegar a partir de q siguiendo un camino de arcos con la etiqueta E. Formalmente, la clausura respecto de
E, CLAUSe(q), entonces CLAUSe(q) tambin contiene todos los estados de (p,e).
TRANSICIONES Y LENGUAJES EXTENDIDOS PARA AFN-E.
La clausura respecto de E nos permite explicar fcilmente al aspecto de las transiciones de un AFN-E
cuando se tiene una secuencia de entradas que no contiene E. En base a ello, explicaremos que significa la
aceptacin de una entrada por un AFN-E.
Supongamos que E = (Q, E , q0, F) es un AFN-E. Primero definiremos , la funcin de transicin
extendida, para reflejar lo que ocurre con una secuencia de entrada. La idea es que (q, w) es el conjunto
de estados a los que se puede llegar mediante un camino cuyas etiquetas, concatenadas, formen la cadena
w. Como siempre, los smbolos E que ese encuentra a lo largo del camino no contribuyen a w. La
definicin recursiva de es:

IX

BASE: (q, e) = CLAUSe(q). Es decir, si la entrada de E, solo podemos seguir arcos con la etiqueta E que
salga del estado q; esto es exactamente lo que hace CLAUSe.
PASO INDUCTIVO: Supongamos que w tiene la forma xa, donde a es un miembro de E; no se puede ser
e, porque no es ta en E. Calculamos (q, w) de las siguientes forma:
1.- Sea {p1,p2,,pk} la funcin (q, x). Es decir, los p son todos los estados que podemos alcanzar desde
q siguiendo un camino cuya concatenacin de etiquetas sea x, y solo estos. Este camino puede terminar
con una o ms transiciones con la etiqueta e, as como contener otras transiciones e.
2.- Sea U K I=1 es el conjunto {r1,r2,,rm}. Es decir, seguimos todas las transiciones con la etiqueta A a
partir de los estados que podemos alcanzar desde q siguiendo caminos con la etiqueta x. Los r, son algunos
de los estados que podemos alcanzar desde q siguiendo caminos con la etiqueta w. Los estados adicionales
que podemos alcanzar se obtienen a partir de los r, siguiendo arcos con la etiquta e en el paso (3).
3.- (q, w) = U m j=1 CLAUSe(rj). Este paso de clausura adicional aade todos los caminos que parten desde
q con la etiqueta w, teniendo en cuenta la posibilidad de que el autmata pueda seguir arcos adicionales
con la etiqueta e despus de hacer una transicin con el ultimo smbolo real, a.

X
AUTOMATA CON 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.

DEFINICION FORMAL
Formalmente, un autmata con pila puede ser descrito como una sptupla
donde:

es un conjunto finito de estados;

son alfabetos (smbolos de entrada y de la pila respectivamente);

es el estado inicial;

es el smbolo inicial de la pila;

es un conjunto de estados de aceptacin o finales;

La interpretacin de
con

,
,y

es la siguiente:

Cuando el estado del autmata es , el smbolo que la cabeza lectora est inspeccionando en ese momento es
, y en la cima de la pila nos encontramos el smbolo , se realizan las siguientes acciones:

XI

Si

, es decir no es la cadena vaca, la cabeza lectora avanza una posicin para inspeccionar el

siguiente smbolo.

Se elimina el smbolo

Se selecciona un par
transicin del autmata.

de la pila del autmata.

de entre los existentes en la definicin de

, la funcin de

Se apila la cadena
smbolo

, con

en la pila del autmata, quedando el

en la cima de la pila.

Se cambia el control del autmata al estado

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 last-in-firstout (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. 1

Representacin
Una mquina de este tipo se representa de la siguiente forma

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.

XII

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 #.2

AUTOMATA CON PILA DETERMINISTA

Ntese que, a diferencia de un autmata finito o una mquina de Turing, la definicin bsica de un autmata
con pila es de naturaleza no determinista, pues la clase de los autmatas con pila deterministas, a diferencia de
lo que ocurra con aquellos modelos, tiene una potencia descriptiva estrictamente menor. Para calificar a un
autmata con pila como determinista deben darse dos circunstancias; en primer lugar, por supuesto, que en la
definicin de cada componente de la funcin de transicin existan un nico elemento lo que da la naturaleza
determinista. Pero eso no es suficiente, pues adems puede darse la circunstancia de que el autmata est en el
estado

y en la pila aparezca el smbolo

algn smbolo cualquiera

, entonces, si existe una definicin de transicin posible para

del alfabeto de entrada, pero, adems existe otra alternativa para la palabra vaca ,

tambin esto es una forma de no determinismo, pues podemos optar entre leer un smbolo o no hacerlo. Por
eso, en autmata determinista no debe existir transicin posible con lectura de smbolo si puede hacerse sin
ella, ni al contrario.
Para cada

, se d que:

Definicin
Un autmata de pila determinista (AFPD) es una 7-upla,
P = (Q, , ,, q0, T,Z) donde:

Q es un conjunto finito de estados.

es el alfabeto de entrada.

es el alfabeto de la pila.

q0 Q es el estado inicial.

Z smbolo inicial de la pila.

T es subconjunto de Q (conjunto de estados finales).

, para cada

es la funcin de transicin tal que:

: Q ( U { }) (Q *)

XIII
Observacin
En un momento, la unidad de control del autmata escanea un smbolo a sobre la cinta de entrada y el smbolo
s en el tope de la pila.

Este paso computacional representa: La unidad de control pasa a q0 y se mueve a la derecha en la cinta de
entrada, borra el smbolo s del tope, escribe en la cadena y pasa a escanear el nuevo tope. 3

Autmata con pila no determinista

Un autmata finito con pila no determinista (AFPN) consta de los mismos parmetros de un AFPD.
P = (Q, , , , q0, T,Z):
Donde la funcin de transicin es de la forma:

: Q ( U { }) Pf(Q *)

Donde Pf (Q *) es un conjunto de subconjuntos finitos de Q *

Para q Q, a U {} y s

(q, a, s) = {(q1, 1), (q2, 2), . . . , (qn, n)}

XIV