Teora de Autmatas

SCBE@

TEORA DE AUTOMATAS Autmata Finito Se define en trminos de sus estados, la entrada que acepta y su reaccin ante la misma. Hay autmatas finitos de 2 tipos: Deterministas y no Deterministas, dependiendo de cmo se defina la capacidad para cambiar el estado. Funcionamiento de los autmatas finitos Consiste en ir pasando de un estado a otro, a medida que va recibiendo los caracteres de la palabra de entrada. Simplemente hay que pasar de estado a estado siguiendo las flechas de transiciones para cada carcter de la palabra de entrada, empezando por el estado inicial. Este proceso puede llevarse a cobo en los diagramas de estado y el camino recorrido se visualiza como una trayectoria.

Estados Aceptacin a ab aaab aaba aaaaa.ba aaaaa..baaaaa.. n No Aceptacin abb aaaabbbbb aaaabbaaaabb abab aaa..bbababababa.. aaaa..bbaaabbb.. N

Generacin de cadenas

* Se puede demostrar que el autmata anterior reconocer aquellas cadenas que no tienen dos b sucesivas. Autmata Finito Determinista (AFD) Es una quntupla D = (Q; ; s; F; ) donde: Q es un conjunto finito de estados. es un alfabeto de entrada.

Teora de Autmatas

SCBE@

F es una coleccin de estados finales o de aceptacin. es una funcin de transicin. s es el estado inicial. Un AFD implica que para un estado y un smbolo del alfabeto dados, habr un y solo un estado siguiente. Esta caracterstica permite saber siempre cul ser el siguiente estado. Para tener un autmata vlido se debe respetar las condiciones: El nmero de transiciones que salen de cada estado debe ser igual a la cantidad de caracteres del alfabeto. Debe haber exactamente un estado inicial y la cantidad de estados finales puede ser cualquiera inclusive 0 o hasta un mximo de Q (cantidad de estados). Ejemplo: A= {(ab)i, i<=0, iN} ER= (ab)* b a
q0

q1

q2

a,b

b Estados Aceptacin ab abab ababab ababababab abababaabab n No Aceptacin Bab Aabbbbb Abaaaaa ababab baaaa. bbbbbb. n

Generacin de cadenas

Teora de Autmatas

SCBE@

Autmata Finito No Determinista (AFN) Un AFN permite que desde un estado se realicen cero, uno o ms transiciones mediante el mismo smbolo de entrada. Es una quntupla D = (Q; ; s; F; ) donde: Q es un conjunto finito de estados. es un alfabeto de entrada. F es una coleccin de estados finales o de aceptacin. es una relacin de transicin. s es el estado inicial. Ejemplo: ER = a U (ab)+ a
q0
q2

q1

q3

a Estados Aceptacin a ab abab ababab abababab ababababab n No Aceptacin aba

Generacin de cadenas

Teora de Autmatas

SCBE@

Ejercicios Resueltos 1. Realice el diagrama correspondiente a partir de los siguientes datos. A={a, b, c}, smbolo de entrada S={q0, q1, q2, q3}, estados T={q0,q1}, estados de aceptacin q0 estado inicial La funcin de estado prximo F: s*a, s definida por la siguiente tabla: a q1 q1 q3 b q3 q3 q0 q2 b c a
qo

q0 q1 q2 q3

c q2 q0 q1 q1

a c b c

q1

c b a b

q2

q3

2. A partir del siguiente diagrama determine: a). Los smbolos de entrada. b). La funcin de prximo estado. c). Los estado internos del diagrama. d). Los estados de aceptacin. e). El estado inicial.

Teora de Autmatas

SCBE@

a). Los smbolos de entrada. = {a, b, c} b). La funcin de prximo estado. s= Q*(abc) c ). Los estado internos del diagrama. Q = {qo, q1, q2} d). Los estados de aceptacin. F= {qo} e). El estado inicial. s= {qo}