Diseño de Autómatas

Felipe Garcia Londono

1020401806

Universidad nacional abierta y a distancia

escuela de ciencias básicas tecnología e ingeniería
Autómatas y lenguajes formales
Ejercicios 1
Ejercicio e

Caracterización El autómata esta definido por la 5-tupla (K, Σ, δ, s, F) donde:

M = ({q0, q1, q2} , {a, b, c} , δ, q0, {q1})

K ={ q0, q1, q2}
Σ ={a, b, c)
s = q0
F = q1
Donde la función δ : {q0, q1, q2 } × {a, b, c} →
{q0, q1, q2} viene dada por:
δ(q0, a) = q1
δ(q0, b) = q2
δ(q1, b) = q0
δ(q1, c) = q2
δ(q2, b) = q1

La tabla de transición se vería de la siguiente manera:

a b c
q0 q1 q2
q1 q0 q2
q2 q1

Dado que cada estado solo puede transitar a un estado por

símbolo del alfabeto se le considera un autómata finito
determinista.
Procedimiento Se elimina los estados intermedios entre el inicial y el final
Eliminado la transición entre q0 a q1 que pasa por q2,
continuamos eliminando la transición de q1 a q1 que pasa por
q2.
 Dibujamos el autómata eliminado el estado q2.

Eliminamos el estado q1

Nos queda la expresión (a+bb(cb)*b)*

Nos queda la expresión (a+bb)(cb)*

Quedando la expresión regular del autómata

ER=(a+bb(cb)*b)* (a+bb)(cb)*
Autómata final
convertido

Lenguaje regular (({a}u{bb}).({cb}*.{b})*)*.(({a}u{bb}).{cb}*)

Ejercicios 2
Ejercicio e

Caracterizac El autómata esta definido por la 5-tupla (K, Σ, δ, s, F) donde:

ión
M = ({q0, q1, q2} , {a, b, c} , δ, q0, {q2})
K ={ q0, q1, q2}
Σ ={a, b, c)
s = q0
F = q1
Donde la función δ : {q0, q1, q2 } × {a, b, c} →
{q0, q1, q2} viene dada por:
δ(q0, a) = q1
δ(q0, a) = q0
δ(q0, ) = q2
δ(q1, b) = q1
δ(q1, c) = q2
δ(q1, ) = q0
δ(q2, a) = q2
δ(q2, b) = q0

Dado que uno o más estado puede transitar a varios estado por símbolo del
alfabeto se le considera un autómata finito no determinista.
Procedimie Una vez definida la tupla y conocido que el automata tiene transiciones
nto vacías procedemos hacer la tabla de transición
La tabla de transición se vería de la siguiente manera:
a b c
-#A={0}U{0,2} B={012}U{0,2} A={0}U{0,2}
#B={012}U{0,2} B={012}U{0,2} B={012}U{0,2} C={2}
#C={2}u{02} C={2} A={0}U{0,2}
Autómata
final
convertido

Verificación Autómata inicial

Autómata convertido