Upload
ginneth-bravo
View
234
Download
0
Embed Size (px)
Citation preview
8/16/2019 Momento 3 Aporte Automatas Unad
1/23
omponente MT
1
Unidad de control
8/16/2019 Momento 3 Aporte Automatas Unad
2/23
Definición Formal
2
Una MT es un séptuplo:
M =(K, , Γ ,, s, T)
K es el conjunto de estados tal que h ∈ K ;
es el alfabeto de entrada, donde Ц ∉ ∑ ;
Γ es el alfabeto de la cinta, donde Ц ∈ Γ y ∑ ⊆ Γ
, Transiciones;
s Estado inicial
T Estado final
8/16/2019 Momento 3 Aporte Automatas Unad
3/23
Diagrama MT
L(MT1) = {anbn ; n ≥ 1}
n=1 ab
n=2 aabb
n=3 aaabbb
n=4 aaaabbbb
8/16/2019 Momento 3 Aporte Automatas Unad
4/23
Maquina de Turing
Cadena W= aabb
...
q0
a a b b ßIniciamos nuestra MT en el estado q0
Marcador de nuestra cinta en
8/16/2019 Momento 3 Aporte Automatas Unad
5/23
...
q0
a
a b b ßLeemos a en q0 e ingresamos en la
cinta 1 y nos dirigimos a la derecha (R)
en la cinta; vamos al estado q1
...
q1
1 a b b ß
8/16/2019 Momento 3 Aporte Automatas Unad
6/23
...
q1
1 a b b ß
Leemos a en q1 dejamos en la cinta a;
nos dirigimos a la derecha (R) en la cinta;
Nos quedamos en el estado q1
...
q1
1 a b b ß
8/16/2019 Momento 3 Aporte Automatas Unad
7/23
...
q1
1 a b b ß
Leemos b en el estado q1 e ingresamos
en la cinta 2 y nos dirigimos
a la izquierda (L) en la cinta;
vamos al estado q2 ...
q2
1 a 2 b ß
8/16/2019 Momento 3 Aporte Automatas Unad
8/23
...
q2
1
a 2 b ß
...
q2
1 a 2 b ß
Leemos a en el estado q2 dejamos
en la cinta a y nos dirigimos a la
izquierda (L) en la cinta;
Nos quedamos en el estado q2
8/16/2019 Momento 3 Aporte Automatas Unad
9/23
...
q2
1 a 2 b ß
...
q0
1 a 2 b ß
Leemos 1 en el estado q2 dejamos
en la cinta 1 y nos dirigimos a la
derecha (R) en la cinta;
vamos al estado q0
8/16/2019 Momento 3 Aporte Automatas Unad
10/23
...
q0
1 a 2 b ß
...
q1
1 1 2 b ß
Leemos a en q0 e ingresamos en la
cinta 1 y nos dirigimos a la derecha (R)
en la cinta; vamos al estado q1
8/16/2019 Momento 3 Aporte Automatas Unad
11/23
...
q1
1 1 2 b ß
...
q1
1 1 2 b ß
Leemos 2 en el estado q1 dejamos
en la cinta 2 y nos dirigimos a la
derecha (R) en la cinta;
Nos quedamos en el estado q1
8/16/2019 Momento 3 Aporte Automatas Unad
12/23
...
q1
1 1 2 b ß
...
q2
1 1 2 2 ß
Leemos b en q1 e ingresamos en la
cinta 2 y nos dirigimos a la izquierda (L)
en la cinta; vamos al estado q2
8/16/2019 Momento 3 Aporte Automatas Unad
13/23
...
q2
1 1 2 2 ß
...
q2
1 1 2 2 ß
Leemos 2 en q2 dejamos
en la cinta 2 y nos dirigimos
a la izquierda (L) en la cinta;
Nos quedamos en el estado q2
8/16/2019 Momento 3 Aporte Automatas Unad
14/23
...
q2
1 1 2 2 ß
...
q0
1 1 2 2 ß
Leemos 1 en q2 dejamos
en la cinta 1 y nos dirigimos
a la derecha (R) en la cinta;
Vamos al estado q0
8/16/2019 Momento 3 Aporte Automatas Unad
15/23
...
q0
1 1 2 2 ß
...
q3
1 1 2 2 ß
Leemos 2 en q0 dejamos
en la cinta 2 y nos dirigimos
a la derecha (R) en la cinta;
Vamos al estado q3
8/16/2019 Momento 3 Aporte Automatas Unad
16/23
...
q3
1 1 2 2 ß
...
q3
1 1 2 2 ß
Leemos 2 en q3 dejamos
en la cinta 2 y nos dirigimos
a la derecha (R) en la cinta;
Nos quedamos en el estado q3
8/16/2019 Momento 3 Aporte Automatas Unad
17/23
...
q3
1 1 2 2 ß
...
q4
1 1 2 2 ß
Leemos ß en q3 dejamos
en la cinta ß y nos dirigimos
a la izquierda (L) en la cinta;
Vamos al estado q4
8/16/2019 Momento 3 Aporte Automatas Unad
18/23
...
q4
1 1 2 2 ß
...
q4
1 1 2 2 ß
Leemos 2 en q4 dejamos
en la cinta 2 y nos dirigimos
a la izquierda (L) en la cinta;
Nos quedamos en el estado q4
8/16/2019 Momento 3 Aporte Automatas Unad
19/23
8/16/2019 Momento 3 Aporte Automatas Unad
20/23
8/16/2019 Momento 3 Aporte Automatas Unad
21/23
...
q4
1 1 2 2 ß
...
q4
1 1 2 2 ß
Leemos 1 en q4 dejamos
en la cinta 1 y nos dirigimos
a la izquierda (L) en la cinta;
Nos quedamos en el estado q4
8/16/2019 Momento 3 Aporte Automatas Unad
22/23
...
q4
1 1 2 2 ß
...
q5
1 1 2 2 ß
Leemos en q4 dejamos
en la cinta y nos dirigimos
a la derecha (R) en la cinta;
Vamos al q5
8/16/2019 Momento 3 Aporte Automatas Unad
23/23
...
q5
1 1 2 2 ßFinalizamos nuestra MT en el
Estado aceptador q5.La cabeza de la cinta queda
Posicionada para iniciar de nuevo