El documento presenta seis autómatas finitos definidos por sus funciones de transición δ. Para cada autómata, se solicita encontrar tres palabras aceptadas y tres rechazadas, mostrando el cómputo de cada una. También se pide determinar cuáles autómatas están totalmente especificados y adivinar los lenguajes aceptados por cada uno.

1. LABORATORIO II
a a, b b
b a
 abaa
δ(q0,a) = q0
δ(q0,b) = q1
δ(q1,a) = q1
δ(q2,a) = q2
 bbbabb
δ(q0,b) = q1
δ(q1,b) = q1
δ(q1,b) = q1
δ(q1,a) = q2
δ(q2, b) = q2
δ(q2,b) = q2
 bababa
δ(q0,b) = q1
δ( q1, a) = q1
δ(q2,b) = q1
δ(q2,a) = q2
 bbbaa
δ(q0,b) = q1
δ(q1,b) = q1
δ(q1,b) = q1
δ(q1,a) = q1
δ(q1,a) = q2
q0 q1 q2

2. Busca trespalabrasaceptadasy tres palabrasrechazadaspor cada unode lossiguientes
autómatasmostrandoel cómputoque lasprocesa.Determinacuálesde ellosestántotalmente
especificados.¿Sabríascuál esel lenguaje aceptadoporcadaunode ellos?
aceptadas rechazadas
a, a, b
b, a, b,a
a, a, a, a, b
*a, b
“ ”
4, a, “ ”
aceptadas rechazadas
a, b, a
b, b,a, a
a, b, a, b,a
#2 b
& b, a
“ ”

3. aceptadas rechazadas
a, a, a, b, a
a, b, a, b
b, b,a, b
“ ”
3wa
@3b
aceptadas rechazadas
a, b, a, b
b, a ,b,a, b
b, a, b,a
*ab
@ba
“ ”
aceptadas rechazadas
a, a, b, b
b, a, b,b
a, b, a, b
“ ”
#ab
&abab

4. aceptadas rechazadas
b, b,a, a
a, b, a
b, a, a, a, b,a
“ “
@bb
#aba
aceptadas rechazadas
b, a, a
a, a, a, a
b, b,b, b, a
“ ”
@b
B#a