Maquinas de Turing (es un modelo

matemtico)

Modelo matemtico es una expresin de esas que se

utilizan con cierta frecuencia pero que pocas veces nos
paramos a pensar qu significa. Y aunque parezca algo
complicado, en realidad se trata de un concepto bastante
sencillo.
Un modelo matemtico es un conjunto de reglas que
encajan en la explicacin y resolucin de un problema, es
decir, que modelizan una situacin concreta para poder
explicarla y encontrar el modo de resolverla. Ms an, se
podra decir que un modelo matemtico es un conjunto de
reglas capaces de generalizar y resolver un problema
matemtico concreto y cualquier otro de su misma
naturaleza que se pueda plantear.
El ejemplo ms simple que se me ocurre es, ante el
problema cuntas manzanas tenemos si yo tengo tres y t
tienes dos?, el modelo matemtico a aplicar es el que
comprende a los nmeros naturales (1,2,3,4,) y su suma
finita. As, cuando nos encontremos con otro caso similar,
como por ejemplo averiguar cuntos aos suman las edades
de tres personas, basta con aplicar este modelo para
averiguarlo, es decir, sumar la edad de cada uno de ellos.
Tan fcil como parece.
Ahora la afirmacin una Mquina de Turing es un modelo
matemtico cobra significado: nos dice que es una forma de
resolver cierto tipo de problemas, que adems funciona

1931,
el
matemtico
checo
Kurt
Godel
descubri
que
haba
En
teoremas
matemticos
que eran verdaderos an
cuando no se pudiesen
probar. Ante esto, Alan
Turing se puso a investigar
aquellos que s podan ser
probados. Quera intentar
demostrar la vieja idea de
que las matemticas no
son un arte misterioso,
sino una ciencia exacta
regida por reglas lgicas.

Maquinas de Turing (es un modelo

matemtico)
La Mquina de Turing (MT) fue introducida por Alan M. Turing
en 1936, y puede considerarse como un modelo abstracto
que formaliza la idea Intuitiva de algoritmo.
MT) Es un modelo computacional que realiza una
lectura/escritura de manera automtica sobre una entrada
llamada cinta, generando una salida en esta misma. Este
modelo est conformado por un alfabeto de entrada y uno
de salida, un smbolo especial llamado blanco (normalmente
b, o 0), un conjunto de estados finitos y un conjunto de
transiciones entre dichos estados.
Su funcionamiento se basa en una funcin de transicin,
que recibe un estado inicial y una cadena de caracteres (la
cinta, la cual es finita por la izquierda) pertenecientes al
alfabeto de entrada. Luego va leyendo una celda de la
cinta , borrando el smbolo , escribir el nuevo smbolo
perteneciente al alfabeto de salida y finalmente avanza a la
izquierda o a la derecha (solo una celda a la vez), repitiendo
esto segn se indique en la funcin de transicin, para
finalmente detenerse en un estado final o de aceptacin,
representando as la salida.
Esta constituida por los siguiente elementos:
MT = ( E, A, B, e0, F, f)
E = Conjunto de estados, no vaco.
A = Conjunto de smbolos de entrada.
B = Conjunto de smbolos auxiliares.
e0 = Estado inicial.
F = Conjunto de estados finales.

Donde: f: ( E - F ) x
( A B) x ( I, O, D )

(AB)

Ex

I = movimiento del cabezal a la izquierda.

O = movimiento nulo.
D = movimiento a la derecha.
La mquina de Turing consta de un
cabezal lector/escritor y una cinta infinita
en la que el cabezal lee el contenido,
borra el contenido anterior y escribe un
nuevo valor. Las operaciones que se
pueden realizar en esta mquina se
limitan a:
avanzar el cabezal lector/escritor para la
derecha.
avanzar el cabezal lector/escritor para la
izquierda.
Construccin modular de una MT.

El objetivo de la creacin modular de una

maquina de Turing es poder desarrollar
mquinas complejas a partir de bloques
elementales, a partir de maquinas ms
pequeas,
mediante
diagramas
de
transiciones. La construccin de mquinas
de Turing se lleva a cabo mediante los
diagramas de transicin y combinarlos de

La mquina de Touring

Turing ide un sorprendente experimento mental.

Haba nacido la mquina de Turing.
Alan empez por definir lo que era un nmero
computable: nmeros reales cuya expresin como
decimal puede calcularse por medios finitos.
A partir de esta definicin, Turing ide una
mquina imaginaria que pudiera tratar con
nmeros computables. Las caractersticas son las
siguientes:

Turing defini tambin las posibles acciones que

poda realizar la mquina:

Escribir un smbolo en la celda activa (P).

Borrar smbolo de la celda activa (E).
Mover la cinta una posicin hacia la izquierda
(L).
Mover la cinta una posicin hacia la derecha (R).
Finalmente, en cada paso puede producirse un
cambio en la configuracin.

Alberga un nmero finito de condiciones, a las

que llam configuraciones-m (q_i).
La mquina tiene una cinta dividida en celdas,
cada una de los cuales puede tener escrito un
smbolo. La cinta pasa a travs de la mquina y
tiene una longitud infinita.
En cada momento de funcionamiento de la
mquina, una sola celda de la cinta estar dentro
de ella.
A la celda de la cinta que puede leer la mquina,
le llamaremos la celda activa. El smbolo dentro
de esta celda es el nico dato de entrada que
conoce la mquina en un momento dado, pero a
travs de cambios de configuraciones, se puede
tener conocimiento de los smbolos ledos
anteriormente.
La configuracin-m activa en la mquina, junto al

Esquema de una mquina escrito por Turing. En concreto para

la mquina que escribe la secuencia 001011011101111

Legado

Los conceptos que present en este

documento, junto a su trabajo en las
mquinas Colossus para el descifrado de
cdigos de Enigma, situaron a Turing como
uno de los mayores expertos en computacin
al final de la Segunda Guerra Mundial. Von
Neumann quiso contar con l, pero en su
breve visita a EEUU no se sinti cmodo y
volvi a Inglaterra, donde cre el primer
ordenador britnico: ACE.

Mientras, en EEUU, se creaba el ENIAC y Von

Neumann pona nombre, de manera un tanto
injusta, a su arquitectura. Prcticamente todos
los ordenadores de hoy en da utilizan la
arquitectura Von Neumann, en la que tanto el
programa a ejecutar como los datos, se
encuentran en una misma memoria. ste era
el concepto que Turing adelant en 1936 que
acabara imponindose en la breve historia de
los computadores.

Bibliografa

http://es.slideshare.net/Jeroo18/mquinas-de-turing-45445410?
next_slideshow=1
http://es.slideshare.net/iscrquinter/parte-4-mquinas-de-turing?
related=3
https://sinclairqles.wordpress.com/2010/05/08/maquina-de-turing-la-cinta
-teorica/http://
www.zator.com/Cpp/E0_1_1.htm
http://10380054.galeon.com/u4.htm
http://web.ing.puc.cl/~marenas/iic3242-11/clases/mt-imp.pdf
http://www.sc.ehu.es/jiwhehum2/TC/temas/[2]turing.pdf
file:///C:/Users/RalphV/Downloads/MC_Tema7.pdf
http://turing.iimas.unam.mx/~luis/cursos_pdf/computabilidad/Capit3.PD
F