GUTIRREZ FLORES GLORIA STHEFANIE 11320573 3/sep/14

Lenguajes y autmatas II
Captulo 1 introduccin a los autmatas
A continuacin mencionare algunos conceptos que debemos entender: el
concepto de cadena es una secuencia finita de smbolos, la cadena vaca consiste
en cero smbolos. Los prefijos de una cadena sed forman por los primeros
smbolos de esta, la concatenacin entre dos cadenas se forma a escribir la
primera seguida de la segunda. El alfabeto es un conjunto finito de smbolos.
Tambin utilizaremos grafos y arboles los cuales nos dice que los grafos son
conjuntos finitos de vrtices V (nodos) y un conjunto de vrtices E (aristas).
Un rbol es un dgrafo el cual tiene que existir un vrtice llamado raz, y otros
llamados hijos.
Para entender un poco ms sobre estos temas hablaremos de la teora de
conjuntos la cual nos ayudara a poder realizar expresiones regulares.
Los conjuntos es la coleccin de los elementos o smbolos que se encuentran
dentro de l. A estos conjuntos se puede realizar diferentes operaciones las cuales
pueden ser:
*unin
*interseccin
*diferencia
*producto cartesiano
*conjunto potencia
Los conjuntos infinitos no siempre tienen la mima cardinalidad.
Una relacin es un conjunto de pares, existen diferentes propiedades en las
relaciones como
*reflexiva
*irreflexiva
*transitiva
*simtrica
*asimtrica







GUTIRREZ FLORES GLORIA STHEFANIE 11320573 3/sep/14
Lenguajes y autmatas II
Captulo 2 Autmata finitos
Los protocolos de este tipo pueden representarse mediante un autmata finito.
Cada estado representa una situacin en la que puede encontrarse uno de los
participantes. Es decir, el estado recuerda qu sucesos importantes han ocurrido
y qu sucesos todava no han tenido lugar. Las transiciones entre estados se
producen cuando tiene lugar uno de los cinco sucesos descritos anteriormente
Un autmata finito determinista consta de:
1. Un conjunto finito de estados, a menudo designado como Q.
2. Un conjunto finito de smbolos de entrada, a menudo designado como .
3. Una funcin de transicin que toma como argumentos un estado y un smbolo
de entrada y devuelve un estado. La funcin de transicin se designa
habitualmente como . En nuestra representacin grfica informal del autmata,
se ha representa mediante arcos entre los estados y las etiquetas sobre los arcos.
Si q es un estado y a es un smbolo de entrada, entonces (q,a) es el estado p tal
que existe un arco etiquetado a que va desde q hasta p.2
4. Un estado inicial, uno de los estados de Q.
5. Un conjunto de estados finales o de aceptacin F. El conjunto F es un
subconjunto de Q.
A menudo haremos referencia a un autmata finito determinista mediante su
acrnimo: AFD. La representacin ms sucinta de un AFD consiste en un listado
de los cinco componentes anteriores. Normalmente, en las demostraciones,
definiremos un AFD utilizando la notacin de quntupla siguiente:
A = (Q, , ,q0,F)
Donde A es el nombre del AFD, Q es su conjunto de estados, son los smbolos
de entrada, es la funcin de transicin, q0 es el estado inicial y F es el conjunto
de estados finales.
Lo primero que tenemos que entender sobre un AFD es cmo decide si aceptar
o no una secuencia de smbolos de entrada. El lenguaje del AFD es el conjunto
de todas las cadenas que acepta. Supongamos que a1a2 an
es una secuencia de smbolos de entrada. Comenzaremos con el AFD en el
estado inicial, q0. Consultamos la funcin de transicin , por ejemplo (q0,a1) =
q1 para hallar el estado al que pasar el AFD A despus de procesar el primer
smbolo de entrada a1. A continuacin procesamos el siguiente smbolo de
entrada, a2, evaluando (q1,a2); supongamos que este estado es q2.
Continuamos aplicando el mismo procedimiento para hallar los estados q3,q4, . . .
,qn tal que (qi1,ai) = qi para todo i. Si qn pertenece a F, entonces la entrada
a1a2 an se acepta y, si no lo es se rechaza.