Vous êtes sur la page 1sur 14

MquinadeTuring

DeWikipedia,laenciclopedialibre
UnamquinadeTuringesundispositivoquemanipula
smbolossobreunatiradecintadeacuerdoaunatablade
reglas.Apesardesusimplicidad,unamquinadeTuring
puede ser adaptada para simular la lgica de cualquier
algoritmo de computador y es particularmente til en la
explicacin de las funciones de una CPU dentro de un
computador.
OriginalmentefuedefinidaporelmatemticoinglsAlan
Turing como una mquina automtica en 1936, en la
revistaProceedingsoftheLondonMathematicalSociety,1
La mquina de Turing no est diseada como una
tecnologa de computacin prctica, sino como un dispositivo hipottico que representa una mquina de
computacin.LasmquinasdeTuringayudanaloscientficosaentenderloslmitesdelclculomecnico.
Turing dio una definicin sucinta del experimento en su ensayo de 1948, Mquinas inteligentes.
Refirindose a su publicacin de 1936, Turing escribi que la mquina de Turing, aqu llamada una
mquinadecomputacinlgica,consistaen:
...una ilimitada capacidad de memoria obtenida en la forma de una cinta infinita marcada con
cuadrados,encadaunodeloscualespodraimprimirseunsmbolo.Encualquiermomentohay
unsmboloenlamquinallamadoelsmbololedo.Lamquinapuedealterarelsmbololedoy
sucomportamientoestenpartedeterminadoporesesmbolo,perolossmbolosenotroslugares
de la cinta no afectan el comportamiento de la mquina. Sin embargo, la cinta se puede mover
hacia adelante y hacia atrs a travs de la mquina, siendo esto una de las operaciones
elementalesdelamquina.Porlotantocualquiersmboloenlacintapuedetenerfinalmenteuna
oportunidad.2
Turing(1948,p.61)

UnamquinadeTuringqueescapazdesimularcualquierotramquinadeTuringesllamadaunamquina
universaldeTuring(UTM,osimplementeunamquinauniversal).Unadefinicinmsmatemticamente
orientada,conunasimilarnaturaleza"universal",fuepresentadaporAlonzoChurch,cuyotrabajosobreel
clculolambdaseentrelazaconeldeTuringenunateoraformaldelacomputacinconocidacomolatesis
deChurchTuring.LatesissealaquelasmquinasdeTuringcapturan,dehecho,lanocininformaldeun
mtodo eficaz en la lgica y las matemticas y proporcionan una definicin precisa de un algoritmo o
'procedimientomecnico'.
Estudiandosuspropiedadesabstractas,lamquinadeTuringproducemuchasperspectivasenlasciencias
delacomputacinyenlateoradelacomplejidad.

ndice
1 Historia

1 Historia
2 Descripcininformal
3 Definicinformal
3.1 Funcionamiento
3.2 Representacincomodiagramadeestados
3.3 Descripcininstantnea
4 Ejemplo
5 Modificacionesequivalentes
5.1 MquinadeTuringconmovimientostayo"esperar"
5.2 MquinadeTuringconcintainfinitaaamboslados
5.3 MquinadeTuringconcintamultipista
5.4 MquinadeTuringmulticinta
5.5 MquinadeTuringmultidimensional
6 MquinadeTuringdeterministaynodeterminista
7 Problemadelaparada(haltingproblem)
8 CodificacindeunamquinadeTuring
9 MquinadeTuringuniversal
10 MquinadeTuringcuntica
11 Vasetambin
12 Referencias
12.1 Notasalpie
12.2 Bibliografa
13 Enlacesexternos

Historia
Alan
Turing
introdujo
el
concepto
de
mquina
de
Turing en el
trabajo
On
computable
numbers, with
RepresentacinartsticadeunamquinadeTuring.
an application
to
the
Entscheidungsproblem, publicado por la Sociedad Matemtica de
Londres en 1936, en el que se estudiaba la cuestin planteada por
David Hilbert sobre si las matemticas son decidibles, es decir, si
hay un mtodo definido que pueda aplicarse a cualquier sentencia
matemtica y que nos diga si esa sentencia es cierta o no. Turing
ide un modelo formal de computador, la mquina de Turing, y
demostr que existan problemas que una mquina no poda
resolver.
EstatuadeTuringenlaUniversidad
deSurrey.

Con este aparato extremadamente sencillo es posible realizar


cualquiercmputoqueuncomputadordigitalseacapazderealizar.

Medianteestemodelotericoyelanlisisdelacomplejidaddelosalgoritmos,fueposiblelacategorizacin

Medianteestemodelotericoyelanlisisdelacomplejidaddelosalgoritmos,fueposiblelacategorizacin
deproblemascomputacionalesdeacuerdoasucomportamiento,apareciendoas,elconjuntodeproblemas
denominadosPyNP,cuyassolucionespuedenencontrarseentiempopolinmicopormquinasdeTuring
deterministasynodeterministas,respectivamente.
Precisamente, la tesis de ChurchTuring formulada por Alan Turing y Alonzo Church, de forma
independiente a mediados del siglo XX caracteriza la nocin informal de computabilidad con la
computacinmedianteunamquinadeTuring.3
LaideasubyacenteeselconceptodequeunamquinadeTuringpuedeversecomounautmataejecutando
unprocedimientoefectivodefinidoformalmente,dondeelespaciodememoriadetrabajoesilimitado,pero
enunmomentodeterminadoslounapartefinitaesaccesible.

Descripcininformal
La mquina deTuring modela matemticamente a una
mquinaqueoperamecnicamentesobreunacinta.En
esta cinta hay smbolos que la mquina puede leer y
escribir,unoalavez,usandouncabezallector/escritor
decinta.Laoperacinestcompletamentedeterminada
por un conjunto finito de instrucciones elementales
como"enelestado42,sielsmbolovistoes0,escribe
un1Sielsmbolovistoes1,cambiaalestado17enel
estado 17, si el smbolo visto es 0, escribe un 1 y
cambiaalestado6etc".Enelartculooriginal("Sobre
nmeros computables con una aplicacin al
Entscheidungsproblem"), Turing no imagina un
mecanismo, sino una persona a la que l llama la
"computadora", quien ejecuta servilmente estas reglas
mecnicasdeterministas(ocomoTuringpone,"deuna
maneradesganada").

Aqusemuestraelestadointerno(q1)dentrodel
cabezal,ylailustracindescribelacintacomo
siendoinfinitayllenadapreviamentecon'0',el
smbolosirviendocomoblanco.Elestadocompleto
delsistema(suconfiguracin)consistedelestado
interno,elcontenidodelascasillassombreadas
incluyendoelblancoledoelcabezal("11B")yla
posicindelcabezal.(DibujodespusdeMinsky
(1967)p.121).

Msprecisamente,unamquinadeTuringconstade:
1.Unacintaquesedivideenceldas,unaalladodelaotra.Cada
celdacontieneunsmbolodealgnalfabetofinito.Elalfabeto
contiene un smbolo especial llamado blanco (aqu escrito
como 'B') y uno o ms smbolos adicionales. La cinta se
suponequeesarbitrariamenteextensiblehacialaizquierday
hacia la derecha, es decir, la mquina de Turing siempre es
suministrada con tanta cinta como necesite para su
computacin.Lasceldasquenosehayanescritopreviamente
se asumen que estn rellenas con el smbolo blanco. En
AnimacindelamquinadeTuring
algunosmodeloslacintatieneunextremoizquierdomarcado
con un smbolo especial la cinta se extiende o es
indefinidamenteextensiblehacialaderecha.
2.Un cabezal que puede leer y escribir smbolos en la cinta y mover la cinta a la izquierda y a la
derecha una (y slo una) celda a la vez. En algunos modelos el cabezal se mueve y la cinta es
estacionaria.
3.UnregistrodeestadoquealmacenaelestadodelamquinadeTuring,unodelosestadosfinitos.

3.UnregistrodeestadoquealmacenaelestadodelamquinadeTuring,unodelosestadosfinitos.
Hay un estado inicial especial con el que el registro de estado se inicia. Turing escribe que estos
estados reemplazan el "estado de la mente" en que ordinariamente estara una persona realizando
clculos.
4.Una tabla finita de instrucciones (llamada ocasionalmente como tabla de accin o funcin de
transicin).Lasinstruccionessonusualmente5tuplas:qiajqi1aj1dk,(aveces4tuplas),que,dado
elestado(qi)enquelamquinaseencuentraactualmenteyelsmbolo(aj)queseestleyendoenla
cinta (el smbolo actualmente debajo del cabezal) le indica a la mquina hacer lo siguiente en
secuencia(paralosmodelosde5tupla):
Borraoescribeunsmbolo(reemplazandoajconaj1),yentonces
Mueve el cabezal (que es descrito por dk y puede tener los valores: 'L' para un paso a la
izquierda,o'R'paraunpasoaladerecha,o'N'parapermanecerenelmismolugar)yluego
Asumeelmismoounnuevoestadocomoprescrito(vealestadoqi1).
Enlosmodelosde4tupla,sonespecificadascomoinstruccionesseparadas:borraroescribirun
smbolo (aj1) y mover el cabezal a la izquierda o la derecha (dk). Especficamente, la tabla
indicaalamquina:(ia)borraroescribirunsmboloo(ib)moverelcabezalalaizquierdaoa
laderecha,yluego(ii)asumirelmismoounnuevoestado,peronolasdosacciones(ia)y(ib)
en la misma instruccin. En algunos modelos, si no hay ninguna entrada en la tabla para la
actualcombinacindesmboloyestado,lamquinasedetendrotrosmodelosrequierenque
estnllenastodaslasentradas.
Notequecadapartedelamquinasuestadoycoleccionesdesmbolosysusaccionesimprimir,
borrar,movimientodelacintaesfinito,discretoydistinguibleeslacantidadpotencialmenteilimitada
decintaloqueledaunacantidadilimitadadeespaciodealmacenamiento.

Definicinformal
Una mquina de Turing4 es un modelo computacional que realiza una lectura/escritura de manera
automticasobreunaentradallamadacinta,generandounasalidaenestamisma.
Estemodeloestformadoporunalfabetodeentradayunodesalida,unsmboloespecialllamadoblanco
(normalmenteb, o0),unconjuntodeestadosfinitosyunconjuntodetransicionesentredichosestados.
Su funcionamiento se basa en una funcin de transicin, que recibe un estado inicial y una cadena de
caracteres(lacinta,lacualpuedeserinfinita)pertenecientesalalfabetodeentrada.Lamquinavaleyendo
una celda de la cinta en cada paso, borrando el smbolo en el que se encuentra posicionado su cabezal y
escribiendo un nuevo smbolo perteneciente al alfabeto de salida, para luego desplazar el cabezal a la
izquierdaoaladerecha(solounaceldaalavez).Estoserepitesegnseindiqueenlafuncindetransicin,
parafinalmentedetenerseenunestadofinalodeaceptacin,representandoaslasalida.
UnamquinadeTuringconunasolacintapuededefinirsecomouna7tupla

donde:5
esunconjuntofinitodeestados.
esunconjuntofinitodesmbolosdistintodelespacioenblanco,denominadoalfabetodemquinao
deentrada.
esunconjuntofinitodesmbolosdecinta,denominadoalfabetodecinta(
).

esunconjuntofinitodesmbolosdecinta,denominadoalfabetodecinta(
).
eselestadoinicial.
es un smbolo denominado blanco, y es el nico smbolo que se puede repetir un nmero
infinitodeveces.
eselconjuntodeestadosfinalesdeaceptacin.
esunafuncinparcialdenominadafuncindetransicin,donde es
unmovimientoalaizquierday eselmovimientoaladerecha.
Existenenlaliteraturaunabundantenmerodedefinicionesalternativas,perotodasellastienenelmismo
podercomputacional,porejemplosepuedeaadirelsmbolo comosmbolode"nomovimiento"enun
pasodecmputo.

Funcionamiento
La mquina deTuring consta de un cabezal lector/escritor y una cinta infinita en la que el cabezal lee el
contenido,borraelcontenidoanterioryescribeunnuevovalor.Lasoperacionesquesepuedenrealizaren
estamquinaselimitana:
Moverelcabezallector/escritorhacialaderecha.
Moverelcabezallector/escritorhacialaizquierda.
Elcmputosedeterminaapartirdeunatabladeestadosdela
forma:
(estado,valor)

(nuevoestado,nuevovalor,direccin)

VisualizacindeunamquinadeTuring,
enlaqueseveelcabezalylacintaquese
lee.

Estatablatomacomoparmetroselestadoactualdelamquina
yelcarcterledodelacinta,dandoladireccinparamoverel
cabezal,elnuevoestadodelamquinayelvaloraescribirenlacinta.

Lamemoriaeslacintadelamquinaquesedivideenespaciosdetrabajodenominadosceldas,dondese
pueden escribir y leer smbolos. Inicialmente todas las celdas contienen un smbolo especial denominado
"blanco".Lasinstruccionesquedeterminanelfuncionamientodelamquinatienenlaforma,"siestamosen
el estado x leyendo la posicin y, donde hay escrito el smbolo z, entonces este smbolo debe ser
reemplazadoporesteotrosmbolo,ypasaraleerlaceldasiguiente,bienalaizquierdaobienaladerecha".
LamquinadeTuringpuedeconsiderarsecomounautmatacapazdereconocerlenguajesformales.Enese
sentido, es capaz de reconocer los lenguajes recursivamente enumerables, de acuerdo a la jerarqua de
Chomsky. Su potencia es, por tanto, superior a otros tipos de autmatas, como el autmata finito, o el
autmataconpila,oigualaotrosmodelosconlamismapotenciacomputacional.

Representacincomodiagramadeestados
LasmquinasdeTuringpuedenrepresentarsemediantegrafosparticulares,tambinllamadosdiagramasde
estadosfinitos,delasiguientemanera:
Losestadosserepresentancomovrtices,etiquetadosconsunombreenelinterior.
Una transicin desde un estado a otro, se representa mediante una arista dirigida que une a estos
vrtices,yestrotuladaporsmboloqueleeelcabezal/smboloqueescribirelcabezal,movimiento
delcabezal.
Elestadoinicialsecaracterizapor

Elestadoinicialsecaracterizapor
tener una arista que llega a l y
que no proviene de ningn otro
vrtice.
El o los estados finales se
representanmediantevrticesque
estnencerradosasuvezporotra
circunferencia.

Descripcininstantnea
Es una secuencia de la forma
donde
y
queescribe
el estado de una MT. La cinta contiene
la cadena
seguida de infinitos
blancos. El cabezal seala el primer
smbolode .
Porejemplo,paralamquinadeTuring

EstamquinadeTuringestdefinidasobreelalfabeto
,
poseeelconjuntodeestados
,conlas
transicionesquesepuedenver.Suestadoiniciales yelestado
finales ,ellenguajedesalida
siendo elsmbolodenominado"blanco".Esta
mquinareconocelaexpresinregulardelaforma
con
.

conlastransiciones

Ladescripcininstantneaparalacinta1011es:

Ejemplo
Definimos una mquina de Turing sobre el alfabeto
, donde 0 representa el smbolo blanco. La
mquinacomenzarsuprocesosituadasobreunsmbolo"1"deunaserie.LamquinadeTuringcopiarel
nmero de smbolos "1" que encuentre hasta el primer blanco detrs de dicho smbolo blanco. Es decir,
posicionaelcabezalsobreel1situadoenelextremoizquierdo,doblarelnmerodesmbolos1,conun0
en medio. As, si tenemos la entrada "111" devolver "1110111", con "1111" devolver "111101111", y
sucesivamente.
Elconjuntodeestadoses
transicineslasiguiente:

yelestadoiniciales .Latablaquedescribelafuncinde

Estado Smbololedo Smboloescrito Mov. Estadosig.

Estado Smbololedo Smboloescrito Mov. Estadosig.


1

El funcionamiento de una computacin de esta mquina puede mostrarse con el siguiente ejemplo (en
negritaseresaltalaposicindelacabezalectora/escritora):
Paso Estado Cinta
1

11

01

010

0100

0101

0101

0101

1101

1001

10

1001

11

10010

12

10011

13

10011

14

10011

15

11011
Parada

Lamquinarealizasuprocesopormediodeunbucle,enelestadoinicial ,reemplazaelprimer1conun
0, y pasa al estado , con el que avanza hacia la derecha, saltando los smbolos 1 hasta un 0 (que debe
existir),cuandoloencuentrapasaalestado ,conesteestadoavanzasaltandolos1hastaencontrarotro0
(la primera vez no habr ningn 1). Una vez en el extremo derecho, aade un 1. Despus comienza el
procesoderetornocon vuelvealaizquierdasaltandolos1,cuandoencuentraun0(enelmediodela
secuencia),pasaa quecontinaalaizquierdasaltandolos1hastael0queseescribialprincipio.Se
reemplazadenuevoeste0por1,ypasaalsmbolosiguiente,siesun1,sepasaaotraiteracindelbucle,

reemplazadenuevoeste0por1,ypasaalsmbolosiguiente,siesun1,sepasaaotraiteracindelbucle,
pasandoalestados1denuevo.Siesunsmbolo0,serelsmbolocentral,conloquelamquinasedetiene
alhaberfinalizadoelcmputo.

Modificacionesequivalentes
UnaraznparaaceptarlamquinadeTuringcomounmodelogeneraldecmputoesqueelmodeloque
hemos definido anteriormente es equivalente a muchas versiones modificadas que en principio pareciera
incrementarelpodercomputacional.

MquinadeTuringconmovimientostayo"esperar"
LafuncindetransicindelaMTsencillaestdefinidapor

lacualpuedesermodificadacomo

Donde significa"permanecer"o"esperar",esdecirnomoverelcabezaldelectura/escritura.Porlotanto,
significaquesepasadelestadoqalp,seescribe enlaceldaactualylacabezase
quedasobrelaceldaactual.

MquinadeTuringconcintainfinitaaamboslados
Esta modificacin se denota al igual que una MT sencilla, lo
que la hace diferente es que la cinta es infinita tanto por la
derecha como por la izquierda, lo cual permite realizar
transicionesinicialescomo
.

MquinadeTuringconcintainfinitaa
amboslados

MquinadeTuringconcintamultipista
Esaquellaquemediantelacualcadaceldadelacintadeunamquina
sencilla se divide en subceldas. Cada celda es as capaz de contener
variossmbolosdelacinta.Porejemplo,lacintadelafiguratienecada
celdasubdivididaentressubceldas.
Se dice que esta cinta tiene mltiples pistas puesto que cada celda de
Subdivisindeunaceldadela
esta mquina deTuring contiene mltiples caracteres, el contenido de
cinta.
las celdas de la cinta puede ser representado mediante ntuplas
ordenadas.Losmovimientosquerealiceestamquinadependerndesu
estadoactualydelantuplaquerepresenteelcontenidodelaceldaactual.Cabemencionarqueposeeun
solocabezalaligualqueunaMTsencilla.

MquinadeTuringmulticinta
Una MT con ms de una cinta consiste de un control finito con k cabezales

Una MT con ms de una cinta consiste de un control finito con k cabezales


lectores/escritoresykcintas.Cadacintaesinfinitaenambossentidos.LaMT
definesumovimientodependiendodelsmboloqueestleyendocadaunode
sus cabezales, da reglas de sustitucin para cada uno de los smbolos y
direccin de movimiento para cada uno de los cabezales. Inicialmente la MT
empiezaconlaentradaenlaprimeracintayelrestodelascintasenblanco.

MquinadeTuringmultidimensional
Una MT multidimensional es aquella cuya cinta puede verse como
extendindose infinitamente en ms de una direccin, el ejemplo ms bsico
sera el de una mquina bidimensional cuya cinta se extendera infinitamente
haciaarriba,abajo,derechaeizquierda.

Diagramadeuna
mquinadeTuring
multicinta,lasflechas
indicanloscabezalesde
lectura/escritura.

En la modificacin bidimensional de MT que se muestra en la figura


tambin se agregan dos nuevos movimientos del cabezal {U,D} (es
decir arriba y abajo). De esta forma la definicin de los movimientos
querealizaelcabezalser{L,R,U,D}.

Mquina de Turing determinista y no


determinista
Vasetambin:Complejidadcomputacional

LaentradadeunamquinadeTuringvienedeterminadaporelestado
actualyelsmbololedo,unpar(estado,smbolo),siendoelcambiode
estado,laescrituradeunnuevosmboloyelmovimientodelcabezal,
Diagramadeunamquinade
lasaccionesatomarenfuncindeunaentrada.Enelcasodequepara
Turingbidimensional.
cadapar(estado,smbolo)posibleexistaalosumounaposibilidadde
ejecucin,sedirqueesunamquinadeTuringdeterminista,mientras
que en el caso de que exista al menos un par (estado, smbolo) con ms de una posible combinacin de
actuacionessedirquesetratadeunamquinadeTuringnodeterminista.
Lafuncindetransicin enelcasonodeterminista,quedadefinidacomosigue:

Cmo sabe una mquina no determinista qu accin tomar de las varias posibles? Hay dos formas de
verlo:unaesdecirquelamquinaes"elmejoradivinoposible",estoes,quesiempreeligelatransicinque
finalmente la llevar a un estado final de aceptacin. La otra es imaginarse que la mquina se "clona",
bifurcndoseenvariascopias,cadaunadelascualessigueunadelasposiblestransiciones.Mientrasque
unamquinadeterministasigueunnico"caminocomputacional",unamquinanodeterministatieneun
"rbolcomputacional".Sicualquieradelasramasdelrbolfinalizaenunestadodeaceptacin,sediceque
lamquinaaceptalaentrada.
Lacapacidaddecmputodeambasversionesesequivalentesepuededemostrarquedadaunamquinade
Turing no determinista existe otra mquina de Turing determinista equivalente, en el sentido de que
reconoceelmismolenguaje,yviceversa.Noobstante,lavelocidaddeejecucindeambosformalismosno
eslamisma,puessiunamquinanodeterministaMreconoceunaciertapalabradetamaonenuntiempo

eslamisma,puessiunamquinanodeterministaMreconoceunaciertapalabradetamaonenuntiempo
,lamquinadeterministaequivalentereconocerlapalabraenuntiempo
.Esdecir,elno
determinismopermitirreducirlacomplejidaddelasolucindelosproblemas,permitiendoresolver,por
ejemplo,problemasdecomplejidadexponencialenuntiempopolinmico.

Problemadelaparada(haltingproblem)
Vasetambin:Problemadelaparada

Elproblemadelaparadaoproblemadeladetencin(haltingproblemeningls)paramquinasdeTuring
consiste en: dada una MT M y una palabra w, determinar si M terminar en un nmero finito de pasos
cuandoseejecutausandowcomoentrada.
Alan Turing, en su famoso artculo "On computable numbers, with an application to the
Entscheidungsproblem" (1936), demostr que el problema de la parada de la mquina de Turing es
indecidible,enelsentidodequeningunamquinadeTuringlopuederesolver.

CodificacindeunamquinadeTuring
TodamquinadeTuringpuedecodificarsecomounasecuenciabinariafinita,esdecirunasecuenciafinita
de ceros y unos. Para simplificar la codificacin, suponemos que toda MT tiene un nico estado inicial
denotadopor ,yunnicoestadofinaldenotado .TendremosqueparaunaMTMdelaforma
donde

representa el smbolo blanco 0,

o b (segn se desee

denotar),
esalfabetodeentraday
son los smbolos auxiliares utilizados por M (cada MT utiliza su propia coleccin
finitodesmbolosauxiliares).
Todosestossmbolossecodificancomosecuenciasdeunos:
Smbolo Codificacin
1
11
111
.
.
.

LosestadosdeunaMT

.
.
.

secodificantambinconsecuenciasdeunos:

Smbolo Codificacin

Smbolo Codificacin
1
11
.
.
.

.
.
.

Las directrices de desplazamiento , y se codifican con 1, 11, 111, respectivamente. Una transicin
secodificausandoceroscomoseparadoresentrelosestados,lossmbolosdelalfabeto
decintayladirectrizdedesplazamiento .As,latransicin
secodificacomo

Engeneral,lacodificacindeunatransicincualquiera

donde

,segnladireccinsea

es

Una MT se codifica escribiendo consecutivamente las secuencias de las modificaciones de todas sus
transiciones.Msprecisamente,lacodificacindeunaMTMesdelaforma
,donde esla
codificacindela simatransicindeM.Puestoqueelordenenqueserepresentenlastransicionesdeuna
MT no es relevante, una misma MT tiene varias codificaciones diferentes. Esto no representa ninguna
desventajaprcticaoconceptualyaquenosepretendequelascodificacionesseannicas.

MquinadeTuringuniversal
UnamquinadeTuringcomputaunadeterminadafuncinparcialdecarcterdefinidoyunvoca,definida
sobre las secuencias de posibles cadenas de smbolos de su alfabeto. En este sentido se puede considerar
como equivalente a un programa de ordenador, o a un algoritmo. Sin embargo es posible realizar una
codificacindelatablaquerepresentaaunamquinadeTuring,asuvez,comounasecuenciadesmbolos
enundeterminadoalfabetoporello,podemosconstruirunamquinadeTuringqueaceptecomoentradala
tablaquerepresentaaotramquinadeTuring,y,deestamanera,simulesucomportamiento.
En1947,Turingindic:
Sepuededemostrarqueesposibleconstruirunamquinaespecialdeestetipoquepuedarealizar
eltrabajodetodaslasdems.Estamquinaespecialpuedeserdenominadamquinauniversal.

Con esta codificacin de tablas como cadenas, se abre la posibilidad de que unas mquinas deTuring se
comporten como otras mquinas de Turing. Sin embargo, muchas de sus posibilidades son indecidibles,
pues no admiten una solucin algortmica. Por ejemplo, un problema interesante es determinar si una
mquina de Turing cualquiera se parar en un tiempo finito sobre una determinada entrada problema
conocidocomoproblema de la parada, y que Turing demostr que era indecidible. En general, se puede

conocidocomoproblema de la parada, y que Turing demostr que era indecidible. En general, se puede
demostrarquecualquiercuestinnotrivialsobreelcomportamientoolasalidadeunamquinadeTuring
esunproblemaindecidible.
ElconceptodeMquinadeTuringuniversalestrelacionadoconeldeunsistemaoperativobsico,pues
puedeejecutarcualquierinstruccincomputablesobrel.6

MquinadeTuringcuntica
En 1985, Deutsch present el diseo de la primera
Mquina cuntica basada en una mquina de Turing.
Con este fin enunci una nueva variante la tesis de
ChurchTuringdandolugaraldenominado"principiode
ChurchTuringDeutsch".
La estructura de una mquina de Turing cuntica es
muysimilaraladeunamquinadeTuringclsica.Est
compuestaporlostreselementosclsicos:

IlustracindeunamquinadeTuringcuntica.

Unacintadememoriainfinitaendondecadaelementoesunqubit.
Unprocesadorfinito.
Uncabezal.
Elprocesadorcontieneelconjuntodeinstruccionesqueseaplicasobreelelementodelacintasealadopor
elcabezal.Elresultadodependerdelqubitdelacintaydelestadodelprocesador.Elprocesadorejecuta
unainstruccinporunidaddetiempo.
LacintadememoriaessimilaraladeunamquinadeTuringtradicional.Lanicadiferenciaesquecada
elementodelacintadelamquinacunticaesunqubit.Elalfabetodeestanuevamquinaestformadopor
elespaciodevaloresdelqubit.Laposicindelcabezalserepresentaconunavariableentera.

Vasetambin
Teoradeautmatas
Sistemacombinacional
Autmatafinito
Autmataconpila
Mquinaabstracta
MquinadeTuringuniversal
MquinadeTuringalternante
Problemadelaparada
JerarquadeChomsky
Juegodelavida
Clculolambda

Referencias
Notasalpie

Notasalpie
1.Theideacametohiminmid1935(perhaps,seemoreintheHistorysection)afteraquestionposedbyM.H.A.
Newmaninhislectures"Wasthereadefinitemethod,orasNewmanputit,amechanicalprocesswhichcould
beappliedtoamathematicalstatement,andwhichwouldcomeupwiththeanswerastowhetheritwasprovable"
(Hodges 1983:93). Turing envi su artculo el 31 de mayo de 1936 a la London Mathematical Society para su
publicacinenlarevistaProceedings (cf Hodges 1983:112), pero no fue publicada hasta principios de 1937 (cf
Hodges1983:129).
2.Seethedefinitionof"innings"onWiktionary
3.GmezdeSilvaGarza,GmezdeSilvaGarza(2008).Introduccinalacomputacin(enespaol).p.522.
4.Teora deAutmatas(http://teoriaautomatas.blogspot.com.es/2012/02/turing.html). Teora deAutmatas, RAI
2012UniversidadCarlosIII
5.Prez,Ivn(2005).LenguajeyCompiladores(enespaol).p.137.
6.Paun, Gheorghe (2002). II. Prerequisites (http://dl.acm.org/citation.cfm?id=581822). Membrane Computing:
AnIntroduction(eningls). NuevaYork: SpringerVerlag. ISBN3540436014. Consultado el 24 de junio de 2012.
The parallelism with a computer, as we know computers in their general form, is clear: the code of a Turing
machineisitsprogram,thestringstoberecognizedrepresenttheinputdata,andtheuniversalTuringmachineis
thecomputeritself,withtheinstructionsoftheuniversalTuringmachinecorrespondingtotheoperatingsystem
ofacomputer.

Bibliografa
Feynman,Richard(1996).Conferenciassobrecomputacin(http://books.google.cl/books?id=nMhfw
j9WGz4C&printsec=frontcover&dq=conferencias+sobre+computacion&hl=es&ei=Ul85TOfaKtCQu
Ae17bWXBA&sa=X&oi=book_result&ct=bookthumbnail&resnum=1&ved=0CC8Q6wEwAA#v=o
nepage&q&f=false).Graficromo.ISBN8484324443.Consultadoel11dejuliode2010.
Viso,Elisa(2008).Introduccinalateoradelacomputacin(http://books.google.cl/books?id=NXQ
E8NJw9d4C&pg=PA254&dq=maquina+de+turing&hl=es&ei=J2A5TPXsD4SRuAfshLSkBA&sa=X
&oi=book_result&ct=result&resnum=4&ved=0CDsQ6AEwAw#v=onepage&q=maquina%20de%20t
uring&f=false).ISBN9789703254156.Consultadoel11dejuliode2010.
DeCastro,Rodrigo(2004).Teoradelacomputacin:lenguajes,autmatas,gramticas(http://book
s.google.cl/books?id=EAbc79tlWD4C&pg=PA201&dq=codificacion+de+una+maquina+de+turing&
hl=es&ei=QF8TIeCCoWKlwf19T4BQ&sa=X&oi=book_result&ct=result&resnum=1&ved=0CCg
Q6AEwAA#v=onepage&q&f=false).Consultadoel15dejuliode2010.
oncomputablenumbers,withanapplicationtotheentscheidungsproblem(http://www.thocp.net/bio
graphies/papers/turing_oncomputablenumbers_1936.pdf).Consultadoel15dejuliode2010.
VariantesdeunaMquinadeTuring(http://web.archive.org/web/http://sistemas.itlp.edu.mx/tutoria
les/teoriadelacomputacion/t44.htm).Archivadodesde eloriginal(http://sistemas.itlp.edu.mx/tutoriale
s/teoriadelacomputacion/t44.htm)el25denoviembrede2015.Consultadoel11dejuliode2010.

Enlacesexternos
WikimediaCommonsalbergacontenidomultimediasobreMquinadeTuring.
SitiowebdeStephenWolfram(http://www.wolframscience.com)
DemuestranquelamquinadeTuring(2,3)esuniversal(http://neofronteras.com/?p=1008)
MquinadeTuringconstruidasobrehardware(http://aturingmachine.com/)
VideodemquinadeTuringmecnica(http://www.youtube.com/watch?v=aBToqFJLrl4)enYouTube
Obtenidodehttps://es.wikipedia.org/w/index.php?title=Mquina_de_Turing&oldid=91029624
Categoras:

MquinasdeTuring Gramticagenerativa Mtodosformales

Categoras:
MquinasdeTuring Gramticagenerativa Mtodosformales
Epnimosrelacionadosconlasmatemticas Cienciadelosaos1930 1936
Estapginafuemodificadaporltimavezel13may2016alas02:45.
EltextoestdisponiblebajolaLicenciaCreativeCommonsAtribucinCompartirIgual3.0podran
seraplicablesclusulasadicionales.Alusarestesitio,ustedaceptanuestrostrminosdeusoynuestra
polticadeprivacidad.
WikipediaesunamarcaregistradadelaFundacinWikimedia,Inc.,unaorganizacinsinnimode
lucro.