MquinadeTuring

DeWikipedia,laenciclopedialibre
UnamquinadeTuringesundispositivoquemanipulasmbolossobreunatiradecintadeacuerdoa
una tabla de reglas. A pesar de su simplicidad, una mquina de Turing puede ser adaptada para
simularlalgicadecualquieralgoritmodecomputadoryesparticularmentetilenlaexplicacinde
lasfuncionesdeunaCPUdentrodeuncomputador.
OriginalmentefuedefinidaporelmatemticoinglsAlanTuringcomounamquinaautomticaen
1936,enlarevistaProceedingsoftheLondonMathematicalSociety,1LamquinadeTuringnoest
diseada como una tecnologa de computacin prctica, sino como un dispositivo hipottico que
representaunamquinadecomputacin.LasmquinasdeTuringayudanaloscientficosaentender
loslmitesdelclculomecnico.
Turing dio una definicin sucinta del experimento en su ensayo de 1948, Mquinas inteligentes.
Refirindoseasupublicacinde1936,TuringescribiquelamquinadeTuring,aqullamadauna
mquinadecomputacinlgica,consistaen:
... una ilimitada capacidad de memoria obtenida en la forma de una cinta infinita marcada con cuadrados, en cada uno de los cuales podra
imprimirseunsmbolo.Encualquiermomentohayunsmboloenlamquinallamadoelsmbololedo.Lamquinapuedealterarelsmbololedo
ysucomportamientoestenpartedeterminadoporesesmbolo,perolossmbolosenotroslugaresdelacintanoafectanelcomportamientodela
mquina.Sinembargo,lacintasepuedemoverhaciaadelanteyhaciaatrsatravsdelamquina,siendoestounadelasoperacioneselementales
delamquina.Porlotantocualquiersmboloenlacintapuedetenerfinalmenteunaoportunidad.2
Turing(1948,p.61.)

UnamquinadeTuringqueescapazdesimularcualquierotramquinadeTuringesllamadaunamquinauniversaldeTuring(UTM,osimplemente
una mquina universal). Una definicin ms matemticamente orientada, con una similar naturaleza "universal", fue presentada por Alonzo Church,
cuyotrabajosobreelclculolambdaseentrelazaconeldeTuringenunateoraformaldelacomputacinconocidacomolatesisdeChurchTuring.La
tesissealaquelasmquinasdeTuringcapturan,dehecho,lanocininformaldeunmtodoeficazenlalgicaylasmatemticasyproporcionanuna
definicinprecisadeunalgoritmoo'procedimientomecnico'.
Estudiando sus propiedades abstractas, la mquina de Turing produce muchas perspectivas en las ciencias de la computacin y en la teora de la
complejidad.

ndice
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 an application to the Entscheidungsproblem,
publicadoporlaSociedadMatemticadeLondresen1936,enelqueseestudiabalacuestinplanteadaporDavidHilbertsobresilasmatemticasson
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.
Turingideunmodeloformaldecomputador,lamquinadeTuring,ydemostrqueexistanproblemasqueunamquinanopodaresolver.
Conesteaparatoextremadamentesencilloesposiblerealizarcualquiercmputoqueuncomputadordigitalseacapazderealizar.
Medianteestemodelotericoyelanlisisdelacomplejidaddelosalgoritmos,fueposiblelacategorizacindeproblemascomputacionalesdeacuerdoa
sucomportamiento,apareciendoas,elconjuntodeproblemasdenominadosPyNP,cuyassolucionespuedenencontrarseentiempopolinmico por
mquinasdeTuringdeterministasynodeterministas,respectivamente.
Precisamente,latesisdeChurchTuringformuladaporAlanTuringyAlonzoChurch,deformaindependienteamediadosdelsigloXXcaracterizala
nocininformaldecomputabilidadconlacomputacinmedianteunamquinadeTuring.3

La idea subyacente es el concepto de que una mquina de

Turing puede verse como un autmata ejecutando un
procedimiento efectivo definido formalmente, donde el
espacio de memoria de trabajo es ilimitado, pero en un
momentodeterminadoslounapartefinitaesaccesible.

Descripcininformal
La mquina de Turing modela matemticamente a una
mquina que opera mecnicamente sobre una cinta. En esta
cintahaysmbolosquelamquinapuedeleeryescribir,uno
a la vez, usando un cabezal lector/escritor de cinta. La
operacin est completamente determinada por un conjunto
finitodeinstruccioneselementalescomo"enelestado42,si
elsmbolovistoes0,escribeun1Sielsmbolovistoes1,
cambiaalestado17enelestado17,sielsmbolovistoes0,
escribeun1ycambiaalestado6etc".Enelartculooriginal
("Sobre nmeros computables con una aplicacin al
EstatuadeTuringenlaUniversidad
Entscheidungsproblem"), Turing noimagina unmecanismo,
deSurrey.
sino una persona a la que l llama la "computadora", quien
ejecuta servilmente estas reglas mecnicas deterministas (o
comoTuringpone,"deunamaneradesganada").

RepresentacinartsticadeunamquinadeTuring.

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.Cadaceldacontieneunsmbolodealgnalfabeto
finito. El alfabeto contiene un smbolo especial llamado blanco (aqu escrito como 'B') y uno o ms
smbolos adicionales. La cinta se supone que es arbitrariamente extensible hacia la izquierda y hacia la
derecha, es decir, la mquina de Turing siempre es suministrada con tanta cinta como necesite para su
computacin.Lasceldasquenosehayanescritopreviamenteseasumenqueestnrellenasconelsmbolo
blanco.Enalgunosmodeloslacintatieneunextremoizquierdomarcadoconunsmboloespeciallacinta
seextiendeoesindefinidamenteextensiblehacialaderecha.
2.Uncabezalquepuedeleeryescribirsmbolosenlacintaymoverlacintaalaizquierdayaladerechauna
(yslouna)celdaalavez.Enalgunosmodeloselcabezalsemueveylacintaesestacionaria.
3.UnregistrodeestadoquealmacenaelestadodelamquinadeTuring,unodelosestadosfinitos.Hayun
estado inicial especial con el que el registro de estado se inicia. Turing escribe que estos estados
reemplazanel"estadodelamente"enqueordinariamenteestaraunapersonarealizandoclculos.
AnimacindelamquinadeTuring
4.Una tabla finita de instrucciones (llamada ocasionalmente como tabla de accin o funcin de
transicin). Las instrucciones son usualmente 5tuplas: qiajqi1aj1dk, (a veces 4tuplas), que, dado el
estado (qi) en que la mquina se encuentra actualmente y el smbolo (aj) que se est leyendo en la cinta (el smbolo actualmente debajo del
cabezal)leindicaalamquinahacerlosiguienteensecuencia(paralosmodelosde5tupla):
Borraoescribeunsmbolo(reemplazandoajconaj1),yentonces
Mueveelcabezal(queesdescritopordkypuedetenerlosvalores:'L'paraunpasoalaizquierda,o'R'paraunpasoaladerecha,o'N'para
permanecerenelmismolugar)yluego
Asumeelmismoounnuevoestadocomoprescrito(vealestadoqi1).
En los modelos de 4tupla, son especificadas como instrucciones separadas: borrar o escribir un smbolo (aj1) y mover el cabezal a la
izquierdaoladerecha(dk). Especficamente, la tabla indica a la mquina: (ia) borrar o escribir un smbolo o (ib) mover el cabezal a la
izquierdaoaladerecha,yluego(ii)asumirelmismoounnuevoestado,peronolasdosacciones(ia)y(ib)enlamismainstruccin.En
algunos modelos, si no hay ninguna entrada en la tabla para la actual combinacin de smbolo y estado, la mquina se detendr otros
modelosrequierenqueestnllenastodaslasentradas.
Notequecadapartedelamquinasuestadoycoleccionesdesmbolosysusaccionesimprimir,borrar,movimientodelacintaesfinito,
discretoydistinguibleeslacantidadpotencialmenteilimitadadecintaloqueledaunacantidadilimitadadeespaciodealmacenamiento.

Definicinformal
Una mquina de Turing4 es un modelo computacional que realiza una lectura/escritura de manera automtica sobre una entrada llamada cinta,
generandounasalidaenestamisma.
Este modelo est formado por un alfabeto de entrada y uno de salida, un smbolo especial llamado blanco (normalmente b, o 0), un conjunto de
estadosfinitosyunconjuntodetransicionesentredichosestados.Sufuncionamientosebasaenunafuncindetransicin,querecibeunestadoinicialy
unacadenadecaracteres(lacinta,lacualpuedeserinfinita)pertenecientesalalfabetodeentrada.Lamquinavaleyendounaceldadelacintaencada
paso,borrandoelsmboloenelqueseencuentraposicionadosucabezalyescribiendounnuevosmbolopertenecientealalfabetodesalida,paraluego
desplazarelcabezalalaizquierdaoaladerecha(solounaceldaalavez).Estoserepitesegnseindiqueenlafuncindetransicin,parafinalmente
detenerseenunestadofinalodeaceptacin,representandoaslasalida.
UnamquinadeTuringconunasolacintapuededefinirsecomouna7tupla

donde:5
esunconjuntofinitodeestados.
esunconjuntofinitodesmbolosdistintodelespacioenblanco,denominadoalfabetodemquinaodeentrada.
esunconjuntofinitodesmbolosdecinta,denominadoalfabetodecinta(
).
eselestadoinicial.
esunsmbolodenominadoblanco,yeselnicosmboloquesepuederepetirunnmeroinfinitodeveces.
eselconjuntodeestadosfinalesdeaceptacin.
es una funcin parcial denominada funcin de transicin, donde es un movimiento a la izquierda y es el
movimientoaladerecha.

Existenenlaliteraturaunabundantenmerodedefinicionesalternativas,perotodasellastienenelmismopodercomputacional,porejemplosepuede
aadirelsmbolo comosmbolode"nomovimiento"enunpasodecmputo.

Funcionamiento
LamquinadeTuringconstadeuncabezallector/escritoryunacintainfinitaenlaqueelcabezalleeelcontenido,borraelcontenidoanterioryescribe
unnuevovalor.Lasoperacionesquesepuedenrealizarenestamquinaselimitana:
Moverelcabezallector/escritorhacialaderecha.
Moverelcabezallector/escritorhacialaizquierda.
Elcmputosedeterminaapartirdeunatabladeestadosdelaforma:
(estado,valor)

(nuevoestado,nuevovalor,direccin)

Esta tabla toma como parmetros el estado actual de la mquina y el carcter ledo de la cinta, dando la
direccinparamoverelcabezal,elnuevoestadodelamquinayelvaloraescribirenlacinta.

VisualizacindeunamquinadeTuring,
enlaqueseveelcabezalylacintaquese
lee.

Lamemoriaeslacintadelamquinaquesedivideenespaciosdetrabajodenominadosceldas,dondese
puedenescribiryleersmbolos.Inicialmentetodaslasceldascontienenunsmboloespecialdenominado"blanco".Lasinstruccionesquedeterminanel
funcionamientodelamquinatienenlaforma,"siestamosenelestadoxleyendolaposiciny,dondehayescritoelsmboloz,entoncesestesmbolo
debeserreemplazadoporesteotrosmbolo,ypasaraleerlaceldasiguiente,bienalaizquierdaobienaladerecha".
LamquinadeTuringpuedeconsiderarsecomounautmatacapazdereconocerlenguajesformales.Enesesentido,escapazdereconocerloslenguajes
recursivamenteenumerables,deacuerdoalajerarquadeChomsky.Supotenciaes,portanto,superioraotrostiposdeautmatas,comoelautmata
finito,oelautmataconpila,oigualaotrosmodelosconlamismapotenciacomputacional.

Representacincomodiagramadeestados
LasmquinasdeTuringpuedenrepresentarsemediantegrafosparticulares,tambinllamadosdiagramasdeestadosfinitos,delasiguientemanera:
Los estados se representan como vrtices, etiquetados con su nombre en el
interior.
Una transicin desde un estado a otro, se representa mediante una arista
dirigida que une a estos vrtices, y est rotulada por smbolo que lee el
cabezal/smboloqueescribirelcabezal,movimientodelcabezal.
El estado inicial se caracteriza por tener una arista que llega a l y que no
provienedeningnotrovrtice.
Elolosestadosfinalesserepresentanmediantevrticesqueestnencerradosa
suvezporotracircunferencia.

Descripcininstantnea
Es una secuencia de la forma
donde
estadodeunaMT.Lacintacontienelacadena
cabezalsealaelprimersmbolode .
Porejemplo,paralamquinadeTuring

y
que escribe el
seguidadeinfinitosblancos.El

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

conlastransiciones

Ladescripcininstantneaparalacinta1011es:

Ejemplo
DefinimosunamquinadeTuringsobreelalfabeto
,donde0representaelsmboloblanco.Lamquinacomenzarsuprocesosituadasobreun
smbolo"1"deunaserie.LamquinadeTuringcopiarelnmerodesmbolos"1"queencuentrehastaelprimerblancodetrsdedichosmboloblanco.
Esdecir,posicionaelcabezalsobreel1situadoenelextremoizquierdo,doblarelnmerodesmbolos1,conun0enmedio.As,sitenemoslaentrada
"111"devolver"1110111",con"1111"devolver"111101111",ysucesivamente.
Elconjuntodeestadoses

yelestadoiniciales .Latablaquedescribelafuncindetransicineslasiguiente:

Estado Smbololedo Smboloescrito Mov. Estadosig.

1

El funcionamiento de una computacin de esta mquina puede mostrarse con el siguiente ejemplo (en negrita se resalta la posicin de la cabeza
lectora/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 ,reemplazaelprimer1conun0,ypasaalestado ,conelqueavanzahacia

la derecha, saltando los smbolos 1 hasta un 0 (que debe existir), cuando lo encuentra pasa al estado , con este estado avanza saltando los 1 hasta
encontrarotro0(laprimeraveznohabrningn1).Unavezenelextremoderecho,aadeun1.Despuscomienzaelprocesoderetornocon vuelve
alaizquierdasaltandolos1,cuandoencuentraun0(enelmediodelasecuencia),pasaa quecontinaalaizquierdasaltandolos1hastael0quese
escribialprincipio.Sereemplazadenuevoeste0por1,ypasaalsmbolosiguiente,siesun1,sepasaaotraiteracindelbucle,pasandoalestados1
denuevo.Siesunsmbolo0,serelsmbolocentral,conloquelamquinasedetienealhaberfinalizadoelcmputo.

Modificacionesequivalentes
UnaraznparaaceptarlamquinadeTuringcomounmodelogeneraldecmputoesqueelmodeloquehemosdefinidoanteriormenteesequivalentea
muchasversionesmodificadasqueenprincipioparecieraincrementarelpodercomputacional.

MquinadeTuringconmovimientostayo"esperar"
LafuncindetransicindelaMTsencillaestdefinidapor

lacualpuedesermodificadacomo

Donde significa"permanecer"o"esperar",esdecirnomoverelcabezaldelectura/escritura.Porlotanto,
estadoqalp,seescribe enlaceldaactualylacabezasequedasobrelaceldaactual.

significaquesepasadel

MquinadeTuringconcintainfinitaaamboslados
EstamodificacinsedenotaaligualqueunaMTsencilla,loquelahacediferenteesquelacintaesinfinita
tanto por la derecha como por la izquierda, lo cual permite realizar transiciones iniciales como
.

MquinadeTuringconcintamultipista

MquinadeTuringconcintainfinitaa
amboslados

Es aquella que mediante la cual cada celda de la cinta de una mquina sencilla se divide en subceldas. Cada celda es as capaz de contener varios
smbolosdelacinta.Porejemplo,lacintadelafiguratienecadaceldasubdivididaentressubceldas.
SedicequeestacintatienemltiplespistaspuestoquecadaceldadeestamquinadeTuringcontienemltiplescaracteres,elcontenidodelasceldasde
lacintapuedeserrepresentadomediantentuplasordenadas.Losmovimientosquerealiceestamquinadependerndesuestadoactualydelantupla
querepresenteelcontenidodelaceldaactual.CabemencionarqueposeeunsolocabezalaligualqueunaMTsencilla.

MquinadeTuringmulticinta
UnaMTconmsdeunacintaconsistedeuncontrolfinitoconkcabezaleslectores/escritoresykcintas.Cadacinta
esinfinitaenambossentidos.LaMTdefinesumovimientodependiendodelsmboloqueestleyendocadaunode
suscabezales,dareglasdesustitucinparacadaunodelossmbolosydireccindemovimientoparacadaunode
loscabezales.InicialmentelaMTempiezaconlaentradaenlaprimeracintayelrestodelascintasenblanco.
Subdivisindeunaceldadela
cinta.

MquinadeTuringmultidimensional

Una MT multidimensional es aquella cuya cinta puede verse como extendindose infinitamente en ms de una
direccin,elejemplomsbsicoseraeldeunamquinabidimensionalcuyacintaseextenderainfinitamentehaciaarriba,
abajo,derechaeizquierda.
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 que realiza el cabezal ser
{L,R,U,D}.

MquinadeTuringdeterministaynodeterminista
Vasetambin:Complejidadcomputacional

LaentradadeunamquinadeTuringvienedeterminadaporelestadoactualyelsmbololedo,unpar(estado,smbolo),
siendoelcambiodeestado,laescrituradeunnuevosmboloyelmovimientodelcabezal,lasaccionesatomarenfuncin
de una entrada. En el caso de que para cada par (estado, smbolo) posible exista a lo sumo una posibilidad de
ejecucin,sedirqueesunamquinadeTuringdeterminista,mientrasqueenelcasodequeexistaalmenosunpar
(estado,smbolo)conmsdeunaposiblecombinacindeactuacionessedirquesetratadeunamquinadeTuring
nodeterminista.

Diagramadeuna
mquinadeTuring
multicinta,lasflechas
indicanloscabezalesde
lectura/escritura.

Lafuncindetransicin enelcasonodeterminista,quedadefinidacomosigue:

Cmosabeunamquinanodeterministaquaccintomardelasvariasposibles?Haydosformasdeverlo:unaes
decirquelamquinaes"elmejoradivinoposible",estoes,quesiempreeligelatransicinquefinalmentelallevar
a un estado final de aceptacin. La otra es imaginarse que la mquina se "clona", bifurcndose en varias copias,
cadaunadelascualessigueunadelasposiblestransiciones.Mientrasqueunamquinadeterministasigueunnico
"caminocomputacional",unamquinanodeterministatieneun"rbolcomputacional".Sicualquieradelasramas
delrbolfinalizaenunestadodeaceptacin,sedicequelamquinaaceptalaentrada.

Diagramadeunamquinade
Turingbidimensional.

LacapacidaddecmputodeambasversionesesequivalentesepuededemostrarquedadaunamquinadeTuring
nodeterministaexisteotramquinadeTuringdeterministaequivalente,enelsentidodequereconoceelmismolenguaje,yviceversa.Noobstante,la
velocidaddeejecucindeambosformalismosnoeslamisma,puessiunamquinanodeterministaMreconoceunaciertapalabradetamaonenun
tiempo
, la mquina determinista equivalente reconocer la palabra en un tiempo
. Es decir, el no determinismo permitir reducir la
complejidaddelasolucindelosproblemas,permitiendoresolver,porejemplo,problemasdecomplejidadexponencialenuntiempopolinmico.

Problemadelaparada(haltingproblem)
Vasetambin:Problemadelaparada

Elproblemadelaparadaoproblemadeladetencin(haltingproblemeningls)paramquinasdeTuringconsisteen:dadaunaMTMyunapalabraw,
determinarsiMterminarenunnmerofinitodepasoscuandoseejecutausandowcomoentrada.
AlanTuring,ensufamosoartculoOncomputablenumbers,withanapplicationtotheEntscheidungsproblem(1936),demostrqueelproblemadela
paradadelamquinadeTuringesindecidible,enelsentidodequeningunamquinadeTuringlopuederesolver.

CodificacindeunamquinadeTuring
Toda mquina de Turing puede codificarse como una secuencia binaria finita, es decir una secuencia finita de ceros y unos. Para simplificar la
codificacin,suponemosquetodaMTtieneunnicoestadoinicialdenotadopor ,yunnicoestadofinaldenotado .TendremosqueparaunaMTM
delaforma
donde representaelsmboloblanco0, ob(segnsedeseedenotar),
esalfabetodeentraday
sonlossmbolosauxiliaresutilizadosporM(cadaMTutilizasupropiacoleccinfinitodesmbolosauxiliares).
Todosestossmbolossecodificancomosecuenciasdeunos:
Smbolo Codificacin
1
11
111
.
.
.

LosestadosdeunaMT

.
.
.

secodificantambinconsecuenciasdeunos:

Smbolo Codificacin
1
11
.
.
.

.
.
.

Lasdirectricesdedesplazamiento , y se codifican con 1, 11, 111, respectivamente. Una transicin

se codifica usando ceros
comoseparadoresentrelosestados,lossmbolosdelalfabetodecintayladirectrizdedesplazamiento .As,latransicin
se
codificacomo

Engeneral,lacodificacindeunatransicincualquiera

donde

,segnladireccinsea

es

UnaMTsecodificaescribiendoconsecutivamentelassecuenciasdelasmodificacionesdetodassustransiciones.Msprecisamente,lacodificacinde
una MT M es de la forma
, donde es la codificacin de la sima transicin de M. Puesto que el orden en que se representen las
transiciones de una MT no es relevante, una misma MT tiene varias codificaciones diferentes. Esto no representa ninguna desventaja prctica o
conceptualyaquenosepretendequelascodificacionesseannicas.

MquinadeTuringuniversal
UnamquinadeTuringcomputaunadeterminadafuncinparcialdecarcterdefinidoyunvoca,definidasobrelassecuenciasdeposiblescadenasde
smbolosdesualfabeto.Enestesentidosepuedeconsiderarcomoequivalenteaunprogramadeordenador,oaunalgoritmo.Sinembargoesposible
realizarunacodificacindelatablaquerepresentaaunamquinadeTuring,asuvez,comounasecuenciadesmbolosenundeterminadoalfabetopor
ello,podemosconstruirunamquinadeTuringqueaceptecomoentradalatablaquerepresentaaotramquinadeTuring,y,deestamanera,simulesu
comportamiento.
En1947,Turingindic:
Se puede demostrar que es posible construir una mquina especial de este tipo que pueda realizar el trabajo de todas las dems. Esta mquina
especialpuedeserdenominadamquinauniversal.

Conestacodificacindetablascomocadenas,seabrelaposibilidaddequeunasmquinasdeTuringsecomportencomootrasmquinasdeTuring.Sin
embargo,muchasdesusposibilidadessonindecidibles,puesnoadmitenunasolucinalgortmica.Porejemplo,unproblemainteresanteesdeterminar
siunamquinadeTuringcualquierasepararenuntiempofinitosobreunadeterminadaentradaproblemaconocidocomoproblemadelaparada, y
queTuringdemostrqueeraindecidible.Engeneral,sepuededemostrarquecualquiercuestinnotrivialsobreelcomportamientoolasalidadeuna
mquinadeTuringesunproblemaindecidible.
El concepto de Mquina de Turing universal est relacionado con el de un sistema operativo bsico, pues puede ejecutar cualquier instruccin
computablesobrel.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 ChurchTuring dando lugar al
denominado"principiodeChurchTuringDeutsch".
La estructura de una mquina de Turing cuntica es muy similar a la de una mquina de Turing
clsica.Estcompuestaporlostreselementosclsicos:
Unacintadememoriainfinitaendondecadaelementoesunqubit.
Unprocesadorfinito.
Uncabezal.

IlustracindeunamquinadeTuringcuntica.

Elprocesadorcontieneelconjuntodeinstruccionesqueseaplicasobreelelementodelacintasealadoporelcabezal.Elresultadodependerdelqubit
delacintaydelestadodelprocesador.Elprocesadorejecutaunainstruccinporunidaddetiempo.
LacintadememoriaessimilaraladeunamquinadeTuringtradicional.Lanicadiferenciaesquecadaelementodelacintadelamquinacunticaes
unqubit.Elalfabetodeestanuevamquinaestformadoporelespaciodevaloresdelqubit.Laposicindelcabezalserepresentaconunavariable
entera.

Vasetambin
Teoradeautmatas
Sistemacombinacional
Autmatafinito
Autmataconpila
Mquinaabstracta
MquinadeTuringuniversal
MquinadeTuringalternante
Problemadelaparada
JerarquadeChomsky

Juegodelavida
Clculolambda

Referencias
Notasalpie
1.Theideacametohiminmid1935(perhaps,seemoreintheHistorysection)afteraquestionposedbyM.H.A.Newmaninhislectures"Wasthereadefinite
method,orasNewmanputit,amechanicalprocesswhichcouldbeappliedtoamathematicalstatement,andwhichwouldcomeupwiththeanswerastowhetherit
wasprovable"(Hodges1983:93).Turingenvisuartculoel31demayode1936alaLondonMathematicalSocietyparasupublicacinenlarevistaProceedings
(cfHodges1983:112),peronofuepublicadahastaprincipiosde1937(cfHodges1983:129).
2.Seethedefinitionof"innings"onWiktionary
3.GmezdeSilvaGarza,GmezdeSilvaGarza(2008).Introduccinalacomputacin(enespaol).p.522.
4.TeoradeAutmatas(http://teoriaautomatas.blogspot.com.es/2012/02/turing.html).TeoradeAutmatas,RAI2012UniversidadCarlosIII
5.Prez,Ivn(2005).LenguajeyCompiladores(enespaol).p.137.
6.Paun,Gheorghe(2002).II.Prerequisites(http://dl.acm.org/citation.cfm?id=581822).MembraneComputing:AnIntroduction(eningls).NuevaYork:Springer
Verlag.ISBN3540436014.Consultadoel24dejuniode2012.Theparallelismwithacomputer,asweknowcomputersintheirgeneralform,isclear:thecodeofa
Turingmachineisitsprogram,thestringstoberecognizedrepresenttheinputdata,andtheuniversalTuringmachineisthecomputeritself,withtheinstructions
oftheuniversalTuringmachinecorrespondingtotheoperatingsystemofacomputer.

Bibliografa
Feynman,Richard(1996).Conferenciassobrecomputacin(http://books.google.cl/books?id=nMhfwj9WGz4C&printsec=frontcover&dq=confer
encias+sobre+computacion&hl=es&ei=Ul85TOfaKtCQuAe17bWXBA&sa=X&oi=book_result&ct=bookthumbnail&resnum=1&ved=0CC8Q6
wEwAA#v=onepage&q&f=false).Graficromo.ISBN8484324443.Consultadoel11dejuliode2010.
Viso,Elisa(2008).Introduccinalateoradelacomputacin(http://books.google.cl/books?id=NXQE8NJw9d4C&pg=PA254&dq=maquina+de
+turing&hl=es&ei=J2A5TPXsD4SRuAfshLSkBA&sa=X&oi=book_result&ct=result&resnum=4&ved=0CDsQ6AEwAw#v=onepage&q=maquin
a%20de%20turing&f=false).ISBN9789703254156.Consultadoel11dejuliode2010.
DeCastro,Rodrigo(2004).Teoradelacomputacin:lenguajes,autmatas,gramticas(http://books.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=0CCgQ6AEwAA#v=onepage&q&f=false).Consultadoel15dejuliode2010.
oncomputablenumbers,withanapplicationtotheentscheidungsproblem(http://www.thocp.net/biographies/papers/turing_oncomputablenumbe
rs_1936.pdf).Consultadoel15dejuliode2010.
Variantes de una Mquina de Turing (http://web.archive.org/web/http://sistemas.itlp.edu.mx/tutoriales/teoriadelacomputacion/t44.htm).
Archivadodesdeeloriginal(http://sistemas.itlp.edu.mx/tutoriales/teoriadelacomputacion/t44.htm)el25denoviembrede2015.Consultadoel11
dejuliode2010.

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=94318192
Categoras: MquinasdeTuring Gramticagenerativa Mtodosformales Epnimosrelacionadosconlasmatemticas Cienciadelosaos1930
1936
Estapginafuemodificadaporltimavezel14oct2016alas23:23.
EltextoestdisponiblebajolaLicenciaCreativeCommonsAtribucinCompartirIgual3.0podranseraplicablesclusulasadicionales.Alusar
estesitio,ustedaceptanuestrostrminosdeusoynuestrapolticadeprivacidad.
WikipediaesunamarcaregistradadelaFundacinWikimedia,Inc.,unaorganizacinsinnimodelucro.