Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tema 2
Tema 2
Un autmata finito determinista es una quntupla que denotaremos de manera genrica por M=(Q,,q0,,F) donde: Q es un conjunto finito cuyos elementos llamaremos estados. es un alfabeto que llamamos alfabeto de entrada. q0Q es un estado sealado que llamamos estado inicial. F es un subconjunto de Q no vaco, cuyos elementos llamamos estados finales. es una aplicacin de QQ , que llamamos funcin de transicin. La funcin de transicin es la verdadera clave de la mquina. Obsrvese que es una aplicacin, as cada pareja posible formada por un estado y un smbolo del alfabeto debe tener una imagen y slo una, es decir (q,a)Q, cualquiera que sean qQ y a. Ejemplos: 19
Inmaculada Luengo
2. Autmatas Finitos
Sea M1 = (Q, , , q0,F) donde Q={p,q,r}, ={a,b}, Sea p el estado inicial, F={r} y definida como sigue: (p,a)=q (q,a)=p (r,a)=r (p,b)=r (q,b)=q (r,b)=r
Segn nuestra definicin M1 es un AFD. Para visualizarlo de alguna forma imaginemos una especie de circuito electrico con tantas bombillas como estados, las correspondientes a los estados finales de color verde, las dems amarillas. Sobre una cinta de entrada escribimos una palabra con smbolos del alfabeto de entrada. Al poner a funcionar la mquina se enciende la bombilla correspondiente al estado inicial. A partir de ese momento se procesa el smbolo actual en la cinta de entrada transitando al estado definido en cada momento por la funcin de transicin hasta que la palabra de la entrada haya sido leido completa. Si la palabra a procesar fuese aabbab, se enciende el estado p inicial y a continuacin qprrrr. El estado que queda encendido es r que es final. Si la palabra a procesar fuese abbb la secuencia de estados sera pqqqq.
2.1.2
REPRESENTACIN DE UN AFD.
Tenemos dos maneras de representar un AFD Con una tabla: Se ponen tantas filas como estados, y tantas columnas como smbolos forman el alfabeto. Marcamos el estado inicial con una flecha de entrada y cada uno de los estados finales con un asterisco. En el cruce de la fila marcada con el estado q y la columna marcada con el smbolo a del alfabeto ponemos el estado (q,a). Con un diagrama: Cada estado no final se representa con un crculo; cada estado final se representa con un doble crculo; se seala el estado inicial con una flecha entrando, sin
20
Inmaculada Luengo
2. Autmatas Finitos
etiqueta; por cada transicin (q,a)=t se dibuja una flecha dirigida del estado de partida q al de llegada llegada t etiquetada a Ejemplos: La mquina M1 del ejemplo se representa con una tabla q *r a b p q r r
p q r
Observemos que cada una de ambas representaciones contiene toda la informacin del autmata.
2.1.3
21
Inmaculada Luengo
2. Autmatas Finitos
Si observamos con un poco de atencin vemos que la transicin (p,1) no est representada, lo que contradice la definicin de AFD puesto que hemos afirmado que es una aplicacin. Lo que ocurre en realidad es que la mquina no ha sido completamente dibujada, por comodidad y claridad. Debemos entender que todas las transiciones que falten en el diagrama de un AFD van a un nico estado no final, que llamamos genricamente estado de absorcin. As el diagrama completo de M2 es:
El estado s es el estado de absorcin y con frecuencia desaparece del grfico del autmata, pero no debemos olvidar que est ah aunque no lo dibujemos.
2.1.4
Se trata de definir una funcin que describa qu estado se alcanza desde un estado q si a continuacin en vez de entrar un slo smbolo (en cuyo caso se alcanzara el estado descrito por (q,a)), entrara una palabra *.
: Q * Q por recurrencia sobre la longitud de la palabra . Definimos (q , ) = q (si no hay entrada no Si || = 0 entonces = y definimos q Q ,
hay cambio de estado).