Está en la página 1de 21

Autmata finito

Determinista
Clase 3
Elabor: Dr. Jos Raymundo Marcial Romero
Definicin
Un AFD es una quntupla
A =(Q,E, o, q0,F)
Q es un conjunto finito de estados
E es un alfabeto finito (smbolos de
entrada)
o es una funcin de transicin (q,a) p
q0 eQ es el estado de inicio
F_ Q es el conjunto de estados finales

Elabor: Dr. Jos Raymundo Marcial Romero
Autmata finito
Transicin
s1
a
s2
(s1,a) s2

Se lee

En el estado s1 teniendo entrada a moverse al estado s2
Elabor: Dr. Jos Raymundo Marcial Romero
Grafos de los estados de un
Autmata finito
Un estado

Estado de inicio

Estado de aceptacin

Una transicin
a
Elabor: Dr. Jos Raymundo Marcial Romero
Ejemplo 1
Si se tiene el alfabeto ={0,1} dibuje un autmata
finito que acepte la cadena 1




1
A={{q,r}, {0,1},(q,1)=r,q,{r}}

Un autmata finito acepta una cadena w si podemos seguir
las etiquetas de los arcos con los caracteres de la cadena w
desde el estado de inicio hasta un estado de aceptacin
q
r
Elabor: Dr. Jos Raymundo Marcial Romero
Ejemplo 2
Un autmata finito que acepta cualquier cantidad de
1s seguido de un 0.

Alfabeto: 0,1

r
0
1
Verificar que 1110es aceptada pero no 111
q
0 1
q
r
r q
Elabor: Dr. Jos Raymundo Marcial Romero



Implementacin
Un AFD se puede implementar mediante una
tabla de 2 dimensiones T
Una dimensin para los estados
Otra dimensin para los smbolos de entrada
Para cada transicin (s1,a) s2 definir T[i,a] = k
Ejecucin del AFD
Para cada estado si y entrada a, leer T[i,a]=k y
saltar al estado k.
Muy eficiente.


Elabor: Dr. Jos Raymundo Marcial Romero
Implementacin de la Tabla
0 1
s t u
t t u
u t u
Elabor: Dr. Jos Raymundo Marcial Romero Elabor: Dr. Jos Raymundo Marcial Romero
Ejemplo 3
Un autmata A que acepta
{x01y:x,ye {0,1}*}

El autmata como un diagrama de transicin

Elabor: Dr. Jos Raymundo Marcial Romero
Ejemplo
El autmata anterior, A=({q0,q1,q2}, {0,1}, o,q0, {q1}) tiene tabla
de transicin:

Elabor: Dr. Jos Raymundo Marcial Romero
Aceptacin de una cadena
por un Autmata Finito (AF)
Un AF acepta una cadena w=a
1
a
2
a
n
si
existe un camino en el diagrama de
transicin tal que:
Comienza en el estado inicial.
Finaliza en un estado de aceptacin.
Tiene una secuencia de etiquetas a1a2an
Elabor: Dr. Jos Raymundo Marcial Romero
Ejemplo
El AF:
Acepta por ejemplo la cadena 01101
Elabor: Dr. Jos Raymundo Marcial Romero
Extensin de la funcin de
transicin
La funcin de transicin o se puede
extender a o que opera en estados y
cadenas (a diferencia de o que opera
en estados y smbolos).
Caso base: o(q,c)=q
Induccin: o(q,xa)= o(o(q,x),a)
Elabor: Dr. Jos Raymundo Marcial Romero
Ejemplo
Empleando al autmata del ejemplo
anterior, o con la cadena 01101 genera
el siguiente resultado:

Realizarlo en clase.
Elabor: Dr. Jos Raymundo Marcial Romero
Lenguaje aceptado por un
AF
Formalmente el lenguaje aceptado por
un AF llamado A es:
L(A)= {w, o(q
0
,w) c F}

Los lenguajes aceptados por AFs se
conocen como regulares.
Elabor: Dr. Jos Raymundo Marcial Romero
Ejemplo 1
AFD todas las cadenas con un nmero par
de 0s y un nmero par de 1s
Elabor: Dr. Jos Raymundo Marcial Romero
Ejemplo 1 (Cont.)
La tabla de transicin del autmata es:
Elabor: Dr. Jos Raymundo Marcial Romero
Ejemplo 2
El juguete Marble-Rolling tomado de la
pgina 53 del libro de texto
Elabor: Dr. Jos Raymundo Marcial Romero
Ejemplo 2 (Cont.)
Un estado se representa como una
secuencia de 3 bits seguidos por r a
(lo que significa que la entrada anterior
fue rechazada o aceptada)

Por ejemplo, 010a significa, izquierda,
derecha, izquierda aceptada.
Elabor: Dr. Jos Raymundo Marcial Romero
Representacin tabular del
juguete
Elabor: Dr. Jos Raymundo Marcial Romero
Tarea
Ejercicio 2.2.1 c)
Ejercicio 2.2.4
Ejercicio 2.2.5


Elabor: Dr. Jos Raymundo Marcial Romero