INSTITUTO TECNOLOGICO
DE TEPIC
ING. SISTEMAS COMPUTACIONALES
LENGUAJES Y AUTOMATAS I
APLICACIONES DE LOS AUTOMATAS FINITOS
CATEDRATICO:
M.D.O.H, ALVARADO MARES SONIA
ALUMNOS:
LOMELI ROBLES SERGIO RICARDO
LOPEZ CYNTHIA MARIELA
MELIN BISTRAIN CARLOS
TEPIC, NAYARIT A 8 DE JULIO EL 2014
LENGUAJES Y AUTOMATAS I
APLICACIONES DE LOS AUTOMATAS FINITOS
Pgina 2
INDICE
1. Desarrollo. . . . . . . . . . 4
Aplicaciones para describir la trayectoria de un vehculo elevador de
obstculo. . . . . . . . . . . 4
Analizadores de lxico. . . . . . . . 10
Editores de Texto. . . . . . . . . 11
Bsqueda de Texto. . . . . . . . 12
Aplicaciones de las expresiones regulares y autmatas finitos. . 14
2. Conclusin. . . . . . . . . . 16
3. Bibliografas. . . . . . . . . . 17
LENGUAJES Y AUTOMATAS I
APLICACIONES DE LOS AUTOMATAS FINITOS
Pgina 3
INTRODUCCION
Existe un gran nmero de problemas de diseo de software que simplifican mediante la
conversin automtica de la notacin de las expresiones regulares a una instrumentacin
eficiente de computadora del autmata finito correspondiente.
Los autmatas finitos se usan frecuentemente en los problemas que implican el anlisis
de cadenas de caracteres.
Este trabajo contiene informacin sobre algunas aplicaciones de los autmatas finitos, las
cuales son en analizadores lxicos as como editores de texto.
LENGUAJES Y AUTOMATAS I
APLICACIONES DE LOS AUTOMATAS FINITOS
Pgina 4
APLICACIN PARA DESCRIBIR LA TRAYECTORIA DE UN VEHCULO ELEVASOR
DE OBSTCULOS
Construccin del vehculo evasor de obstculos
Uno de los primeros trabajos que comenzaron a formalizar la dinmica de robots mviles
es (Crowley, 1989) en el que se utilizan dispositivos ultrasnicos en el vehculo para su
posicionamiento y orientacin. En (Maes, 1990) se muestra un estudio del
comportamiento de robots autnomos y se divide en construccin de mapas, exploracin,
transitar y evasin de obstculos. En (Seng, 1997) se plantea como una de las mayores
problemticas de la navegacin robtica la localizacin y se proponen los pasos claves
para el diseo, calibracin y modelado de autmatas. Hay otros autores que refuerzan la
evasin de objetos o desarrollo de trayectorias mediante tcnicas de navegacin como
son: navegacin inercial, compases magnticos y triangulacin. (Borenstein, 1997).
(Betke, 1997) considera que el autmata puede reconocer marcas especificas en el medio
por el cual se desplaza usando reconocimiento de patrones visuales. La localizacin
robtica as como la evasin de obstculos del autmata, ha llegado a ser uno de los
problemas fundamentales en los robots mviles, y por ello, en (Fox, 1999) se presenta
una versin de la localizacin Markov, en donde la idea principal es mantener una
densidad de probabilidad sobre el espacio de todas las localizaciones posibles de un
robot en su entorno.
El Vehculo Evasor de Obstculos (VEO de aqu en adelante) obtiene informacin del
medio por el cual transita a travs de unos fotodiodos y unas fotorresistencias que actan
como sensores, estos sensores arrojan como resultado niveles de voltaje que varan en
proporcin directa con la proximidad al obstculo, los niveles de voltaje despus de pasar
por un comparador de niveles se convierten en niveles digitales, los cuales determinan
una direccin especifica al actuar como entradas en el bus de direcciones de una
memoria RAM, la cual se ha cargado con un programa, que contiene instrucciones
precisas para lograr la evasin de obstculos, estas instrucciones que provienen del bus
de datos de la memoria RAM, controlan directamente 2 dispositivos transistorizados
conocidos como puentes H, los cuales interactan directamente con los motores de
direccin del vehculo, indicndoles la accin de giro y por tanto ejecutando los diferentes
movimientos para los cuales se dise VEO. Es necesario por tal motivo presentar el
programa que se carg en la memoria RAM segn (Catlogo, 2010), lo cual representa el
punto de partida para definir el alfabeto que se emplea para la descripcin de la dinmica
de VEO a travs de autmatas finitos.
En la siguiente imagen se puede observar la apariencia fsica del vehculo evasor de
obstculos.
LENGUAJES Y AUTOMATAS I
APLICACIONES DE LOS AUTOMATAS FINITOS
Pgina 5
La forma en que se encuentran distribuidos los cuatro sensores en el vehculo se puede
apreciar en la imagen 2, donde cada uno de los sensores establece un bit en el bus de
direcciones de la memoria RAM, teniendo por consecuencia 24 direcciones definidas en la
memoria. El sensor 4 establece el primer bit de izquierda a derecha en el bus de
direcciones, es decir el bit menos significativo, el sensor 3 establece el segundo bit, el
sensor 2 el tercer bit, y el sensor 1 el cuarto bit, es decir el ms significativo. Cabe
mencionar que bajo ninguna presencia de obstculo los sensores arrojan de manera
permanente un bit en estado 0 hacia el bus de direcciones de la memoria, pero con la
presencia de un obstculo, estos arrojan un bit en estado 1. La presencia de un obstculo
en el sensor 1 arrojara como resultado la secuencia de bits 1000 por ejemplo.
En cada una de las direcciones de la memoria RAM determinadas por los sensores, existe
una instruccin cargada que establece la direccin de giro del motor, despus de haber
interactuado con el puente H transistorizado, el cual requiere de 2 bits de control (teniendo
por tanto 4 posibles entradas) para realizar 3 acciones bsicas que son: giro del motor
hacia un sentido, giro hacia el lado contrario y permanencia esttica del motor. Estas
acciones se ejemplifican con mayor claridad en la tabla 1.
Tabla 1. Operacin del puente H y direcciones de giro de los motores.
Entrada al Puente H
(Bits de Control)
Estado del Motor
00 Permanencia esttica
01 Giro hacia delante
10 Giro hacia atrs
11 Estado prohibido
LENGUAJES Y AUTOMATAS I
APLICACIONES DE LOS AUTOMATAS FINITOS
Pgina 6
El VEO cuenta con 2 motores de direccin, cada uno de los cuales est controlado por un
puente H de manera independiente. En la figura 3 se aprecia la distribucin de los
motores en el vehculo, de donde se estableci el siguiente lineamiento de operacin: el
motor derecho ser controlado por el puente H nmero 1, y el motor izquierdo ser
controlado por el puente H nmero 2.
Figura 3. Distribucin de motores de VEO (Vista trasera del vehculo).
Teniendo por consecuencia la distribucin de bits provenientes del bus de datos de la
memoria RAM, segn lo muestra la tabla 2.
Las acciones evasoras mencionadas en la tabla 2, se describen en la tabla 3.
1
Pedro Isasi Viuela, Paloma Martnez Fernndez, Daniel Borrajo Milln. Lenguajes, gramticas y
autmatas. Un Enfoque Prctico, Addison-Wesley 1997.
Entradas
(Sensores
)
Alfabet
o
Entrada
s al
puente
H
Accin
evasor
a
Entradas
(Sensores
)
Alfabet
o
Entrada
s al
puente
H
Accin
evasor
a
0000 a 0101 A 1000 i 1000 E
0001 b 0001 C 1001 j 0110 G
0010 c 0111 D 1010 k 0110 G
0011 d 0101 A 1011 l 0110 G
0100 e 0010 F 1100 m 1010 B
0101 f 0110 G 1101 n 0110 G
0110 g 0110 G 1110 0110 G
0111 h 0110 G 1111 o 0110 G
LENGUAJES Y AUTOMATAS I
APLICACIONES DE LOS AUTOMATAS FINITOS
Pgina 7
.
Tabla 3. Descripcin de acciones evasoras del VEO.
Accin
Evasora
Significado Descripcin de la accin Estado
A
Avanzar hacia
adelante
Ambos motores giran hacia delante
q
o
B Avanzar hacia atrs Ambos motores giran hacia atrs q
1
C
Giro a la izquierda y
hacia delante
Motor derecho gira hacia adelante y motor
izquierdo no gira
q
2
D
Giro a la derecha y
hacia delante
Motor izquierdo gira hacia adelante y motor
derecho no gira
q
3
E
Giro a la izquierda y
hacia atrs
Motor izquierdo gira hacia atrs y motor
derecho no gira
q
4
F
Giro a la derecha y
hacia atrs
Motor derecho gira hacia atrs y motor
izquierdo no gira
q
5
G
Giro rpido El motor izquierdo gira hacia adelante y el
motor derecho gira hacia atrs
q
6
En la accin evasora A, la entrada para el autmata finito estar definida
por y donde y puede tomar cualquiera de las dos posibles entradas que originan el
estado A en el vehculo y que son: a y d. Mientras que en la accin evasora G, la entrada
para el autmata finito estar definida por z donde z puede tomar cualquiera de las 9
posibles entradas que provienen de los sensores y que originan el estado G en el
vehculo, que son: f, g, h, j, k, l, n, , o. Las estrategias C y D estn diseadas para evadir
obstculos que se presenten en la parte trasera del vehculo, es decir cuando se
presentan obstculos en los sensores 3 y 4. Las estrategias evasivas E y F estn
diseadas para evitar obstculos que se presenten en la parte delantera del vehculo, es
decir cuando se presentan obstculos en los sensores 1 y 2. En la figura 4(a) se resumen
los movimientos anteriormente descritos.
LENGUAJES Y AUTOMATAS I
APLICACIONES DE LOS AUTOMATAS FINITOS
Pgina 8
Antes de presentar el diagrama de transiciones que caracteriza la dinmica de VEO, es
necesario establecer el conjunto de trayectorias posibles, lo cual lo hacemos con ayuda
de una pequea retcula, que representa un plano bidimensional, la cual tiene un conjunto
de obstculos a evadir, estos ltimos estn representados por cuadros negros en la figura
4(b); de donde se observa que el conjunto de acciones evasivas seran en forma
ordenada: C, D, C, D, y que las entradas al sistema (VEO) que haran posible una
trayectoria valida seran: b, c, b, c. Ntese que la permanencia en un estado no est
definida como una trayectoria valida, por tanto dicho de otra forma una cadena definida
por y, y, y b, b, b c, c, c d, d, d, etc. no es permitida por el autmata, pues en el
diagrama de transicin presentado en una seccin posterior ni siquiera permite una
transicin de estados.
Un anlisis detallado a los estados posibles del vehculo y las trayectorias validas, y
considerando lo establecido en la descripcin de las acciones evasoras, nos permite
denotar de manera formal el autmata finito no determinstico correspondiente como sigue
M =(Q, , , q
0
, F) Donde Q ={q
0
, q
1
, q
2
, q
3
, q
4
, q
5
, q
6
,}.
= {b, c, e, i, m, y, z}.
F ={}.
Donde se define a F como un elemento nulo, ya que como se aprecia en la tabla 3 el
vehculo no tiene definido estados finales. De una observacin directa al autmata
anteriormente planteado se distingue que el modelado descriptivo del vehculo se pudo
realizar utilizando siete estados, despus de haber redefinido el alfabeto del autmata,
este se compone de cinco entradas y finalmente el estado inicial se encuentra definido
por un solo estado que es q
0
.
Resultados
El modelado de la trayectoria del vehculo VEO presentado en este artculo por medio de
autmatas finitos no determinsticos result ser una valiosa herramienta para describir de
manera formal su dinmica, lo cual no representaba una tarea tan sencilla, pues VEO
tiene bien definidos 7 posibles estados, lo cual complica un poco su entendimiento. Se
puede notar por inspeccin directa por parte del lector a travs de un anlisis al diagrama
de transicin y a la funcin de transicin presentados en este trabajo en las figuras 7 y
8 respectivamente, que el siguiente estado del vehculo, con siete estados finitos y siete
entradas conocidas, se puede estimar de una forma muy sencilla y concisa, lo cual
represent uno de los retos primordiales de este trabajo.
LENGUAJES Y AUTOMATAS I
APLICACIONES DE LOS AUTOMATAS FINITOS
Pgina 9
Figura 5. Diagrama de transiciones para el autmata finito no determinstico que describe la dinmica de
VEO.
Figura 6. Funcin de Transicin para el autmata finito no determinstico de la figura 7.
2
Enrique Alfonseca Cubero, Manuel Alfonseca Cubero, Roberto Moriyn Salomn." Teora de autmatas y
lenguajes formales". McGraw-Hill (2007). Captulos 3 y 7
LENGUAJES Y AUTOMATAS I
APLICACIONES DE LOS AUTOMATAS FINITOS
Pgina
10
ANALIZADORES DE LEXICO
Los tokens de un lenguaje de programacin son, casi sin excepcin, expresables en
forma de conjuntos regulares. Por ejemplo, los identificadores de ALGOL
3
, que son letras
maysculas o minsculas seguidas por cualquier sucesin de letras y dgitos, sin lmite en
la longitud puede expresarse como:
En donde letra significa A + B+ + Z + a + b+ + z y digito 0 + 1 + + 9. Los
identificadores de FORTRAN, con un lmite de longitud de seis y las letras restringidas a
las maysculas y al smbolo $, pueden expresarse como:
En donde letra significa ($ + A + B + +Z). Las constantes aritmticas de SNOBOL que
permiten la notacin exponencial presente en muchos otros lenguajes) pueden
expresarse como:
Un cierto nmero de generadores de analizadores de lxico toman como entrada una
secuencia de expresiones regulares que describen a los tokens y producen un solo
autmata finito que reconoce a cualquier token. Por lo general, convierten la expresin
regular a un AFN con transiciones y despus construyen subconjuntos de estados para
producir un AFD
2
directamente, en lugar de eliminar primero las transiciones . Cada
estado final indica el token particular que se ha encontrado, de modo que el autmata es
en realidad una mquina de Moore. La funcin de transicin del FA esta codificada en una
de varias formas para tomar menos espacio que el que tomara la tabla de transiciones si
se representara como un arreglo en dos dimensiones. El analizador de lxico producido
por el generador es un programa fijo que interpreta tablas codificadas, junto con la tabla
particular que representa al AF que reconoce los tokens (especificados al generador en
forma de expresiones regulares). Este analizador de lxico puede ser utilizado, entonces,
como el mdulo de un compilador.
3
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Teora de autmatas, lenguajes y computacin,
Pearson Addison Wesley, Tercera edicin, 2007.
LENGUAJES Y AUTOMATAS I
APLICACIONES DE LOS AUTOMATAS FINITOS
Pgina
11
EDITORES DE TEXTO
Ciertos editores de texto
4
y programas similares permiten la sustitucin de una cadena por
cualquier cadena que concuerde con una expresin regular. Por ejemplo el editor de texto
UNIX permite que un comando como:
Sustituyen a un solo espacio en blanco para la primera cadena de dos o ms espacios en
blanco que se encuentran en una lnea dada. La expresin Cualquier denota a a1 + a2
+ + en la que las as son todos los caracteres de una computadora excepto el
carcter nueva lnea.
Podemos convertir una expresin regular r a un AFD
3
que acepte a cualquier
Cualquier*r. Ntese que la presencia de la operacin cualquier*r nos permite reconocer
un miembro de L (r) que comience en cualquier lugar de la lnea. Sin embargo la
conversin de una expresin regular a un AFD toma mucho ms tiempo que el que toma
barrer una sola lnea corta utilizando el DFA, y el DFA podra tener un cierto nmero de
estados que son una funcin exponencial de la longitud de la expresin regular.
Lo que realmente sucede en el editor de texto UNIX es que la expresin regular
cualquier*r es convertida a un AFN con transiciones , y el AFN entonces se simula
directamente. Sin embargo una vez que se ha construido una columna, listando todos los
estados en los que puede estar el AFN sobre un prefijo determinado de la salida, la
columna inmediata anterior ya no es necesaria y se elimina con el fin de ahorrar espacio.
4
Den kelley, teora de autmatas y lenguajes formales, Prentice hall, 1995.
LENGUAJES Y AUTOMATAS I
APLICACIONES DE LOS AUTOMATAS FINITOS
Pgina
12
BSQUEDA DE TEXTO
En esta seccin, veremos que el estudio abstracto de la seccin anterior, en el que hemos
considerado el problema de decidir si una secuencia de bits termina en 01, es realmente
un modelo excelente para diversos problemas reales que se presentan en aplicaciones
como bsquedas en la Web y extraccin de informacin de textos.
o Bsqueda de cadenas en un texto
Un problema habitual en la poca de la Web y otros repositorios de textos es el
siguiente: dado un conjunto de palabras, determinar todos los documentos que
contengan una de dichas palabras (o todas). Un motor de bsqueda es un ejemplo
popular de este proceso.
El motor de bsqueda utiliza una tecnologa concreta conocida como ndices
invertidos, en la que para cada palabra que aparece en la Web (existen
100.000.000 de palabras diferentes), se almacena una lista de todos los lugares
donde aparece dicha palabra. Las mquinas con grandes cantidades de memoria
principal mantienen disponibles las listas ms comunes, permitiendo que muchas
personas busquen documentos de forma simultnea.
o Autmatas finitos no deterministas para bsqueda de texto
Supongamos que tenemos un conjunto de palabras, que denominaremos palabras
clave, y deseamos hallar las apariciones de cualquiera de estas palabras. En
aplicaciones de este tipo, una forma til de proceder consiste en disear un
autmata finito no determinista que indique, mediante un estado de aceptacin,
que ha encontrado una de las palabras clave. El texto de un documento se
introduce carcter a carcter en este AFN
5
, el cual reconoce a continuacin las
apariciones de las palabras clave en dicho texto. Existe una forma simple para que
un AFN reconozca un conjunto de palabras clave.
1. Hay un estado inicial con una transicin a s mismo para cada uno de los
smbolos de entrada, por ejemplo, todos los caracteres ASCII imprimibles si
estamos examinando texto. Intuitivamente, el estado inicial representa una
conjetura de que todava no hemos detectado una de las palabras clave, incluso
aunque hayamos encontrado algunas de las letras de una de esas palabras.
2. Para cada palabra clave a1a2 ak, existen k estados, por ejemplo, q1, q2,. . .,
qk. Existe una transicin desde el estado inicial a q1 para el smbolo a1, una
transicin desde q1 a q2 para el smbolo a2, etc. El estado qk es un estado de
aceptacin e indica que se ha encontrado la palabra clave a1, a2 ak.
LENGUAJES Y AUTOMATAS I
APLICACIONES DE LOS AUTOMATAS FINITOS
Pgina
13
o Un AFD para reconocer un conjunto de palabras clave
Podemos aplicar la construccin de subconjuntos a cualquier AFN. Sin embargo,
cuando aplicamos dicha construccin a un AFN que fue diseado a partir de un
conjunto de palabras, comprobamos que el nmero de estados del AFD
5
nunca es
mayor que el nmero de estados del AFN.
Puesto que en el caso peor, el nmero de estados crece exponencialmente, esta
observacin es una buena noticia y explica por qu se usa frecuentemente el
mtodo de disear un AFN para las palabras clave y luego construir un AFD a
partir de l.
Las reglas para construir el conjunto de estados del AFD son las siguientes:
a) Si q0 es el estado inicial del AFN, entonces {q0} es uno de los estados
del AFD.
b) Suponemos que p es uno de los estados del AFN y se llega a l desde el
estado inicial siguiendo un camino cuyos smbolos son a1, a2 am.
Luego uno de los estados del AFD es el conjunto de estados del AFN
constituido por:
1. q0.
2. p.
3. Cualquier otro estado del AFN al que se pueda llegar desde q0
siguiendo un camino cuyas etiquetas sean un sufijo de a1a2 am,
es decir, cualquier secuencia de smbolos de la forma ajaj+1 am.
Observe que, en general, existir un estado del AFD para cada estado p del AFN.
Sin embargo, en el paso (b), dos estados pueden llevar al mismo conjunto de
estados del AFN y, por tanto, ser un estado del AFD. Por ejemplo, si dos de las
palabras clave comienzan por la misma letra, por ejemplo a, entonces los dos
estados del AFN a los que se puede llegar desde q0 a travs del arco etiquetado
con a llevarn al mismo conjunto de estados del AFN y, por tanto, se reducirn a
uno en el AFD.
5
JOHN E. HOPCROFT, JEFFREY D. ULLMAN, introduccin a la teora de autmatas, lenguajes y
computacin, compaa editorial continental, S.A. de C.V. MEXICO, primera edicin 1993.
LENGUAJES Y AUTOMATAS I
APLICACIONES DE LOS AUTOMATAS FINITOS
Pgina
14
APLICACIONES DE LAS EXPRESIONES REGULARES Y LOS AUTMATAS FINITOS
Los autmatas finitos
6
se usan frecuentemente en los problemas que implican el anlisis
de cadenas de caracteres. Tales problemas incluyen problemas de bsqueda e
identificacin, tales como la bsqueda de la existencia de una cadena en un fichero o el
reconocimiento de cadenas de entrada que satisfagan ciertos criterios.
Un autmata finito es, l mismo, un modelo de un procedimiento para reconocimiento de
cadenas por medio de la expresin regular asociada.
Por tanto, en la bsqueda de una cadena en un fichero, podemos aplicar el autmata
finito de forma sistemtica a las cadenas del fichero hasta que se acepta la cadena o se
termina el fichero.
Un problema comn en la programacin de computadoras es el de tener la seguridad de
que los datos de entrada de un programa son correctos. Por ejemplo, si se espera un
entero sin signo como dato de entrada y el usuario confunde uno de los dgitos con un
carcter no numrico, se puede dar todo tipo de resultados impropios, desde una
terminacin anormal hasta el clculo de resultados incorrectos (basura dentro, basura
fuera).
La programacin cuidadosa pretende construir un programa a prueba de balas,
incluyendo unas rutinas de entrada que analicen la informacin introducida por el usuario
y, de alguna forma, prevenir que se aplique informacin incorrecta al programa. Si
pudiramos construir un autmata finito que aceptara solamente las cadenas que
representan informacin correcta, entonces tendramos un modelo para dicha rutina. De
entrada.
Puesto que los autmatas finitos se corresponden con las expresiones regulares, el
problema se reduce a especificar la informacin correcta por medio de expresiones
regulares.
En el caso de que la entrada est formada por enteros sin signo, el lenguaje vendr dado
por I = {1, 2, 3 , 4 , 5, 6, 7, 8, 9} *
.
Es fcil construir un autmata finito que acepte I.
LENGUAJES Y AUTOMATAS I
APLICACIONES DE LOS AUTOMATAS FINITOS
Pgina
15
Tambin es sencillo traducir el autmata finito
6
a un cdigo en un lenguaje de
programacin; slo se necesita seguir el rastro de la posicin actual en la cadena y del
estado actual. A la vez que se recorre la cadena, se cambia de estado segn corresponda
y, cuando se acaba la cadena, se comprueba a qu estado se ha llegado y, segn eso, se
acepta o se rechazadla cadena.
Las expresiones regulares se pueden usar para especificar las unidades lxicas presentes
en un lenguaje de programacin. Los autmatas finitos asociados se usan para reconocer
dichas unidades (llamadas componentes lxicos). Dicho anlisis es una etapa importante
en la compilacin de programas de ordenador.
6
John e. hopcroft, Rajeev motwani, Jeffrey d. ullman, Introduccin a la teora de autmatas, lenguajes y
computacin, Pearson Addison Wesley, tercera edicin, Madrid, 2007.
LENGUAJES Y AUTOMATAS I
APLICACIONES DE LOS AUTOMATAS FINITOS
Pgina
16
CONCLUSION
Los autmatas finitos se usan comnmente para aplicarlos en algn anlisis o bsqueda
de caracteres especficos, como conclusin debo decir que los autmatas finitos los
hemos visto ya aplicados desde hace ya bastante tiempo sin darnos cuenta, por ejemplo
un analizador de palabras o caracteres como Microsoft office Word maneja lo que son
dichos autmatas, el autmata es completamente fundamental en todos los sistemas
computacionales porque se basan desde expresiones regulares el cual est compuesto
de estas.
LENGUAJES Y AUTOMATAS I
APLICACIONES DE LOS AUTOMATAS FINITOS
Pgina
17
BIBLIOGRAFIAS
(1) Den kelley, Teora de autmatas y lenguajes formales, Prentice hall, Pearson
educacin, primera edicin, Madrid 1995.
(2) J. Glenn Brookshear, TEORA DE LA COMPUTACIN lenguajes formales, autmatas
y complejidad, Addison Wesley iberoamericana.
(3) John e. hopcroft, Jeffrey d. ullman, Introduccin a la teora de autmatas, lenguajes y
computacin, Pearson Addison Wesley, 1993.
(4) Manuel Alfonseca, Justo Sancho, Miguel Martnez Orga. "Teora de lenguajes,
gramticas y autmatas". Publicaciones R.A.E.C. 1997.
