Este documento describe el diseño de una máquina de Turing para elevar potencias. Explica cómo diseñar la matriz de transición de la máquina de Turing y simularla con ejemplos como 24, 42 y 52 usando el software JFlap. También incluye realizar una corrida a mano de 34 y programar la máquina de Turing con un lenguaje de programación para potencias como 82, 33 y 42.

1. Instituto Tecnológico de
Tlaxiaco
Lenguajes y
Autómatas
Practica 4
Máquina de Turing para
elevar potencias
Ing.: José Alfredo Román Cruz
Alumno: Alejandro Santiago Martínez
Ingeniería en Sistemas
Computacionales
Semestre: 6º Grupo: “U”
junio de 2015

2. Objetivo: Aplicar los fundamentos de la tesis de Alan Turing
para resolver problemas por medio de la máquina de Turing
1. Diseñar una máquina de Turing para elevar potencias

3. 2. Diseñar la matriz de transición para realizar las operación
ESTADOS 0 1 B X Y Z W
Q0 Q1 X D
Q1 Q1 0 D Q3 1 D
Q2 Q2 Y D Q6 Y D
Q3 Q3 0 D Q3 1 D Q4 0 I Q3 Y D
Q4 Q1 0 I Q1 1 D Q5 X D Q4 Y I Q5 0 D Q15 W I
Q5 Q3 Z D Q2 1 D
Q6 Q7 Y D Q16 1 D Q6 Y D
Q7 Q7 0 D Q7 1 D Q8 B I Q7 W D
Q8 Q9 W I Q17 0 I
Q9 Q9 0 I Q9 1 I Q10 X D Q9 Y I Q9 0 I
Q10 Q11 Z D Q2 1 D Q3 W D
Q11 Q11 0 D Q11 1 D Q12 Y D Q3 W D
Q12 Q12 0 I Q13 1 D Q12 Y D
Q13 Q14 Z D
Q14 Q14 0 D Q3 W D
Q15 Q15 0 I Q15 1 I Q15 Y I Q10 0 D Q3 W D
Q16 Q16 0 D Q18 B I Q17 0 I
Q17 Q17 0 I Q17 1 I Q18 0 I Q17 0 I
Q18
3. Simular en JFlap a máquina de Turing al menos con 3
ejemplos 24
, 42
, 52
24
= 16

4. 42
= 16
52
= 25

5. 4. Realizar una corrida de la máquina de Turing 34
a mano
Esta prueba la simule en jFlap ya que en total con la máquina de
Turing que realice, si la hubiera hecho a mano me iban a salir
más de 4000 iteraciones como no los muestra en el recuadro
pero si es aceptada
34
= 81

6. 5. Programar la máquina de Turing para potencias con un
lenguaje de programación 82
, 33
, 42
82
= 64
33
= 27
42
= 16

7. Bibliografía
 http://www.uhu.es/francisco.moreno/talf/docs/tema5.pdf
 http://www.fing.edu.uy/inco/cursos/intropln/pres/2011%2004%20-
%20Expresiones%20regulares%20y%20aut%C3%B3matas.pdf
 http://csrg.inf.utfsm.cl/~dwinkler/talf2008/transformar_DFA_en_R
E.pdf
 http://www.dcc.uchile.cl/~gnavarro/apunte.pdf