Complejidad descriptiva y computacional en máquinas de Turing pequeñas

En este trabajo ofrecemos algunos de los resultados obtenidos al estudiar las funciones calculadas por maquinas de Turing con un alfabeto de dos simbolos y un numero de estados entre 1 y 3. Presentamos detenidamente el modelo de maquina de Turing empleado, donde la cinta es ilimitada en un solo sentido, y no existe estado de parada. Mostramos graficamente como es posible representar la funcion calculada por una maquina, asi como las computaciones realizadas para ello. Vemos que al aumentar el numero de estados, si bien es posible que algunas funciones se calculen con mayor rapidez, por lo general aumenta considerablemente el tiempo medio de computacion.