MÁQUINA DE TURING • ESUN DISPOSITIVO QUE MANIPULA SÍMBOLOS SOBRE UNA TIRA DE CINTA DE ACUERDO A UNA TABLA DE REGLAS. A PESAR DE SU SIMPLICIDAD, UNA MÁQUINA DE TURING PUEDE SER ADAPTADA PARA SIMULAR LA LÓGICA DE CUALQUIER ALGORITMO DE COMPUTADOR Y ES PARTICULARMENTE ÚTIL EN LA EXPLICACIÓN DE LAS FUNCIONES DE UNA CPU DENTRO DE UN COMPUTADOR. UNA MÁQUINA DE TURING CONSTA DE: • UNA CINTA QUE SE DIVIDE EN CELDAS, UNA AL LADO DE LA OTRA. CADA CELDA CONTIENE UN SÍMBOLO DE ALGÚN ALFABETO FINITO. EL ALFABETO CONTIENE UN SÍMBOLO ESPECIAL LLAMADO BLANCO Y UNO O MÁS SÍMBOLOS ADICIONALES. LA CINTA SE SUPONE QUE ES ARBITRARIAMENTE EXTENSIBLE HACIA LA IZQUIERDA Y HACIA LA DERECHA. • UN CABEZAL QUE PUEDE LEER Y ESCRIBIR SÍMBOLOS EN LA CINTA Y MOVER LA CINTA A LA IZQUIERDA Y A LA DERECHA CELDA A LA VEZ. EN ALGUNOS MODELOS EL CABEZAL SE MUEVE Y LA CINTA ES ESTACIONARIA. • UN REGISTRO DE ESTADO 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 ESTARÍA UNA PERSONA REALIZANDO CÁLCULOS. • EXISTE UNA TABLA DE ACCIÓN QUE CONTIENE LAS INSTRUCCIONES DE LO QUE HARÁ EL AUTÓMATA. ESTAS INSTRUCCIONES REPRESENTAN EN CIERTA FORMA EL "PROGRAMA" DE LA MÁQUINA. LAS EJECUCIÓN DE CADA INSTRUCCIÓN DE LA TABLA DE ACCIÓN INCLUYE CUATRO PASOS: • LEER UN CARÁCTER EN LA POSICIÓN ACTUAL. • ESCRIBIR UN NUEVO SÍMBOLO EN ESTA POSICIÓN (PUEDE SER EL MISMO QUE HABÍA). EL SÍMBOLO A ESCRIBIR ES ALGUNO DEL ALFABETO DE LA MÁQUINA, Y DEPENDE DEL CARÁCTER LEÍDO Y DEL ESTADO ACTUAL. • DESPLAZAR EL CABEZAL UNA CELDA A DERECHA O IZQUIERDA (R/L); EN ALGUNOS MODELOS EL DESPLAZAMIENTO PUEDE SER NULO (DETENER H). • DECIDIR CUAL SERÁ EL NUEVO ESTADO EN FUNCIÓN DEL CARÁCTER QUE SE ACABA DE LEER Y DEL ESTADO ACTUAL. SI LA TABLA DE ACCIÓN NO CONTIENE NINGUNA CORRESPONDENCIA CON EL ESTADO ACTUAL Y EL SÍMBOLO LEÍDO, ENTONCES LA MÁQUINA DETIENE SU FUNCIONAMIENTO. UNA MÁQUINA DE TURING CON UNA SOLA CINTA PUEDE DEFINIRSE COMO UNA 7-TUPLA HISTORIA FUE UN MATEMÁTICO, LÓGICO, CIENTÍFICO DE LA COMPUTACIÓN, CRIPTÓGRAFO, FILÓSOFO, MARATONIANO Y CORREDOR DE ULTRA DISTANCIA BRITÁNICO. ES CONSIDERADO UNO DE LOS PADRES DE LA CIENCIA DE LA COMPUTACIÓN Y PRECURSOR DE LA INFORMÁTICA MODERNA. PROPORCIONÓ UNA INFLUYENTE FORMALIZACIÓN DE LOS CONCEPTOS DE ALGORITMO Y COMPUTACIÓN: LA MÁQUINA DE TURING. FORMULÓ SU PROPIA VERSIÓN DE LA HOY AMPLIAMENTE ACEPTADA TESIS DE CHURCH-TURING. DURANTE LA SEGUNDA GUERRA MUNDIAL, TRABAJÓ EN DESCIFRAR LOS CÓDIGOS NAZIS, PARTICULARMENTE LOS DE LA MÁQUINA ENIGMA, Y DURANTE UN TIEMPO FUE EL DIRECTOR DE LA SECCIÓN NAVAL ENIGMA DE BLETCHLEY PARK. TRAS LA GUERRA DISEÑÓ UNO DE LOS PRIMEROS COMPUTADORES ELECTRÓNICOS PROGRAMABLES DIGITALES EN EL LABORATORIO NACIONAL DE FÍSICA DEL REINO UNIDO. CONOCIDO SOBRE TODO POR LA CONCEPCIÓN DEL TEST DE TURING, UN CRITERIO SEGÚN EL CUAL PUEDE JUZGARSE LA INTELIGENCIA DE UNA MÁQUINA SI SUS RESPUESTAS EN LA PRUEBA SON INDISTINGUIBLES DE LAS DE UN SER HUMANO. LA CARRERA DE TURING TERMINÓ SÚBITAMENTE DESPUÉS DE SER PROCESADO POR SER HOMOSEXUAL. DOS AÑOS DESPUÉS DE SU CONDENA MURIÓ, SEGÚN LA VERSIÓN OFICIAL POR SUICIDIO, PERO SU MUERTE HA DADO LUGAR A OTRAS HIPÓTESIS INCLUIDA LA DEL ASESINATO. FUNCIONAMIENTO
La máquina 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 máquina se limitan a: •Mover el cabezal lector/escritor hacia la derecha. •Mover el cabezal lector/escritor hacia la izquierda. El cómputo se determina a partir de una tabla de estados de la forma:
(estado, valor) (nuevo estado, nuevo valor, dirección)
CARACTERÍSTICAS GENERALES • ESTE MODELO ESTÁ FORMADO POR UN ALFABETO DE ENTRADA Y UNO DE SALIDA, UN SÍMBOLO 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 FUNCIÓN DE TRANSICIÓN, QUE RECIBE UN ESTADO INICIAL Y UNA CADENA DE CARACTERES (LA CINTA, LA CUAL PUEDE SER INFINITA) PERTENECIENTES AL ALFABETO DE ENTRADA. • LA MÁQUINA VA LEYENDO UNA CELDA DE LA CINTA EN CADA PASO, BORRANDO EL SÍMBOLO EN EL QUE SE ENCUENTRA POSICIONADO SU CABEZAL Y ESCRIBIENDO UN NUEVO SÍMBOLO PERTENECIENTE AL ALFABETO DE SALIDA, PARA LUEGO DESPLAZAR EL CABEZAL A LA IZQUIERDA O A LA DERECHA (SOLO UNA CELDA A LA VEZ). ESTO SE REPITE SEGÚN SE INDIQUE EN LA FUNCIÓN DE TRANSICIÓN, PARA FINALMENTE DETENERSE EN UN ESTADO FINAL O DE ACEPTACIÓN, REPRESENTANDO ASÍ LA SALIDA.
