AGENDA:

1. 2. 3. 4. 5. Definicin de un autmata Finito Clasificacin de AF Desarrollo Ejemplos Ejercicios

Autmata Finito:
Un autmata finito es un conjunto de nodos y aristas que representan trayectorias para generar una expresin bajo un alfabeto.

Cada nodo del grafo corresponde a un estado n, donde n es un nmero o bien una letra, generalmente. Una flecha de un estado a otro se denomina transicin entre estados. El estado inicial se indica mediante una flecha .

Los estados finales se representan con un crculo doble.

Tipo de autmata
Autmatas finitos deterministas (AFD).

Autmatas finitos no deterministas (AFND).

Autmatas AFD
Definicin. Una mquina de estados finitos M es un quntuplo (E, , , s, F), donde: E es conjuntos de estados. es el alfabeto de entrada. : E X K, es la funcin de transicin, que a partir de un estado y un smbolo del alfabeto obtiene un nuevo estado.

Autmatas AFD
s Es el estado inicial.

F Es un conjunto de estados finales.

Autmatas AFD ejemplo:

Autmatas AFD ejemplo:

TABLA DE TRANSICIN

q0 q1 q2
0 1

q1 q1 q1

q0 q2 q0

Autmatas AFD ejemplo:

Este autmata finito determinista puede ser expresado formalmente como: M = (E, , , q0, F). E = {q0, q1, q2} = {a, b} = {((q0, 0), q1), ((q0, 1), q0), ((q1, 0), q1), ((q1, 1), q2), ((q2, 0), q1), ((q2, 1), q0)} F = { q2 }

Autmatas AFD ejemplo:

Indicar la ruta que sigue la cadena.
10001
q0 1 q0 0 q1 0 q1 0 q1 1 q2

Autmata AFD sea valido:

Para que un AFD sea vlido, el nmero de transiciones que salen de cada estado debe ser igual a la cantidad de caracteres del alfabeto.

Autmata AFD sea valido:

Para el AFD anterior, el alfabeto es {0, 1} de cada estado deben salir exactamente dos transiciones, una con 0 y otra con 1.

Autmata Finito Determinista:

Nos permiten visualizar fcilmente las acciones del algoritmo.

Autmata Finito Determinista:

Reconoce una cadena

Autmata Finito Determinista:

En este diagrama los crculos numerados 1 y 2 representan estados, que son localidades en el proceso de reconocimiento que registran cunto del patrn ya se ha visto.

Autmata Finito Determinista:

Componentes de un autmata que Reconoce una cadena
Estado Etiqueta

Transicin

Etiqueta

Transicin

Reconocer una cadena

En el diagrama, el estado 1 es el estado de inicio, o el estado en el que comienza el proceso de reconocimiento.

Estado inicial
Por convencin, el estado de inicio se indica dibujando una lnea con flecha, sin etiqueta.

Reconocer una cadena

El estado 2 representa el punto en el cual se ha igualado una sola letra (lo que se indica mediante la transicin del estado 1 al estado 2 etiquetada con letra).

Estado 2
Una vez en el estado 2, cualquier nmero de letras y/o dgitos se puede ver, y una coincidencia de stos nos regresa al estado 2.

Estado de aceptacin
Los estados que representan el fin del proceso de reconocimiento, en los cuales podemos declarar un xito, y se indican dibujando un borde con lnea doble alrededor del estado en el diagrama. Puede haber ms de uno de stos.

Reconocer una cadena

letra = {a - z} dgito = {0 - 9}

Ejercicios:
Autmata que reconozca cadenas de ceros y unos, y su estado de aceptacin que termine en 00. Autmata que reconocen cadenas de ceros y unos, y su estado de aceptacin que terminen en 01. Autmata que reconocen cadenas de ceros y unos, y su estado de aceptacin que empiecen o terminen con 01.

Autmatas AFD ejemplo:

Autmata Finito a partir de una expresin regular:

{0,1}*{10}

Autmata Finito:
Tambin existe una fuerte relacin entre los autmatas finitos y las expresiones regulares, as de cmo construir un autmata finito a partir de una expresin regular.