Maquinas de Turing
Danny Tapias Duque
Juan Diego Zapata
Institución Universitaria Digital de Antioquia
Desarrollo de Software
PREPROF2102TC 20200003: Autómatas, Gramáticas y Lenguajes
Docente. Joaquín Fernando Aguilar Camacho
Diciembre 2021
1. a n b n+1 c n
a b c µ
→q0 (q1;µ,R) λ λ (q7;µ,S)
q1 (q1;a,R) (q1;b,R) (q1;c,R) (q2;µ,L)
q2 λ λ (q3;µ,L) λ
q3 λ (q5;µ,L) (q4;µ,L) λ
q4 λ (q6;c,L) (q4;c,L) λ
q5 λ (q6;µ,L) λ λ
q6 (q6;a,L) (q6;b,L) λ (q0;µ,R)
*q7 λ λ λ λ
M =(K= { q 0 , q 1, q 2 , q 3 , q 4 , q 5 , q 6 , q 7 } , Σ={ a , b , c } , Γ = {a , b , c , μ } , s={ q 0 } , T ={ q 7 } , B={ µ } , δ= { δ ( q 0 , a )=
2. Una cadena compuesta con 0 y 1, debe convertir cada 0 en 1 y cada 1 en 0.
0 1 µ
→q0 (q0;1,R) (q0;0,R) (q1;µ,L)
q1 (q1;0,L) (q1;1,L) (q2,µ,R)
*q2 λ λ λ
M =(K= { q 0 , q 1, q 2 } , Σ= {0,1 } , Γ= { 0,1, μ } , s= {q 0 } ,T = {q 2 } , B= { µ } , δ={δ ( q 0,0 )=( q 0; 1 , R ) , δ ( q 0,1 )= ( q 0 ; 0
3. Una cadena compuesta con 0 y 1, debe contar el número de 1 que se
encuentren en
la cadena. Por ejemplo, en una cadena 011010, el resultado debe contener sin
importar lo que este a la izquierda, uno o varios espacios vacíos 111 espacios
vacíos
(puede ser 111, aaa, XXX, lo importante es que indique el número de unos).
0 1 µ
→q0 (q0;µ,R) (q1;1,R) λ
q1 (q3;1,L) (q1;1,R) (q4;µ,L)
q2 λ (q1;µ,R) λ
q3 λ (q3;1,L) (q2;µ,R)
q4 λ (q4;1,L) (q5;µ,R)
*q5 λ λ λ
M =(K= { q 0 , q 1, q 2 , q 3 , q 4 , q 5 } , Σ={ 0,1 } , Γ = {0,1 , μ } , s={ q 0 } , T ={ q 5 } , B={ µ } , δ={δ ( q 0,0 )=( q 0 ; μ , R ) , δ ( q
4. Cree un enunciado propio que pueda ser una aplicación de la máquina de
Turing
Una cadena compuesta por (a) que devuelva el doble de (a) que se ingresaron en
un principio.
a 1 μ
→q0 (q0;1,R) λ (q1;μ,L)
q1 (q1;a,L) (q2;a,R) (q3;μ,R)
q2 (q2;a,R) λ (q1;μ,L)
*q3 λ λ λ
M =¿ (Q0,a)=(Q0,1,R), δ(Q0,μ)=(Q1,μ,L), δ(Q1,a)=(Q1,a,L), δ(Q1,1)=(Q2,a,R), δ(Q1,μ)=(Q3,μ,R),
δ(Q2,a)=(Q2,a,R),δ(Q2,μ)=(Q1,μ,L)}¿
5. Para el siguiente ejercicio, debe diseñar la máquina de Turing y crear la
notación matemática.
Considerando la séptupla y las transiciones.
• M=({Q0,Q1,Q2},{0,1,2},{0,1,μ},Q0, μ,{Q2},δ)
• δ(Q0,0)=(Q1,1,R)
• δ(Q1,1)=(Q0,0,R)
• δ(Q1, μ)=(Q2, μ,R)
• δ(Q1, 2)=(Q2, 2,R)
• δ(Q2, 2)=(Q2, 2,R)
• δ(Q2, μ)=(Q2, μ,R)
0 1 2 µ
→q0 (q1;1,R) λ λ λ
q1 λ (q0;0,R) (q2;2,R) (q2;µ,R)
q2 λ λ (q2;2,R) (q2;µ,R),(q3;µ,S)
*q3 λ λ λ λ
M =¿ (Q0,0)=(Q1,1,R), δ(Q1,1)=(Q0,0,R), δ(Q1,μ)=(Q2,μ,R), δ(Q1,2)=(Q2,2,R), δ(Q2,2)=(Q2,2,R),
δ(Q2,μ)=(Q2,μ,R),δ(Q2,μ)=(Q3,μ,S)}¿