Documentos de Académico
Documentos de Profesional
Documentos de Cultura
76 Col3 301405
76 Col3 301405
TRABAJO COLABORATIVO 3
GRUPO: 301405_76
TUTOR: JAIME JOS VALDS
TRABAJO COLABORATIVO 3
SOLUCION
s Q es el estado inicial.
b es un smbolo denominado blanco, y es el nico smbolo que se puede
repetir un nmero infinito de veces.
FQ es el conjunto de estados finales de aceptacin.
:Q x Q x x{L,R} es una funcin parcial denominada funcin de transicin,
donde L es un movimiento a la izquierda y R es el movimiento a la derecha.
El smbolo S como smbolo de "no movimiento" en un paso de cmputo.
3. Recorra
la
mquina
CADENAS
aaabbb
aaaabbbb
aaaaabbbbb
con
al
menos
una
cadena
RESULTADO
Aceptada
Aceptada
Aceptada
vlida.
CADENAS
A
Aab
aabbb
aabbbb
abbbbbbbbbb
RESULTADO
No Aceptada
No Aceptada
No Aceptada
No Aceptada
No Aceptada
La funcin
se define as:
(q0,a) = (q1, X, D)
(q1,a) = (q1, a, D)
(q1,X) = (q1, X, D)
(q1,b) = (q2, Y, I)
(q2,Y) = (q2, Y, I)
(q2,a) = (q2, a, I)
(q2,X) = (q0, X, D)
(q0,Y) = (q3, Y, D)
(q3,Y) = (q3, Y, D)
(q3,B) = (q4, B, D)
q0 aabb
DATOS
ESTADO
PRESENTE
CODIFICADO
RECIBIDO
0
10
10
10
0
00
00
10
1
01
01
11
1
00
00
00
1
10
10
10
1
01
01
01
1
01
01
11
1
01
01
01
0
1
DATOS DE ENTRADA.
DIAGRAMA DE VITERBI.
00
01
01
00
01
01
10
00
10
01
10
10
01
00
00
11
10
01
01
01