SlideShare una empresa de Scribd logo
1 de 8
2019
JonathanSuarezl
UniversidadFerminToro
01/03/2019
Máquina de Turing
1Máquina de Turing
Tabla de contenido
Historia de su creador…………………… 2
Infancia……………………………………….. 3
Estudios………………………………………. 4
Introducción a la máquina de turing.. 5
Definición…………………………………….. 6
Lengua de máquina de turing………… 7
2Máquina de Turing
Alan turing
Historia
Turing nació en Maida
Vale, Londres fue
concebido en Chatrapur
(India británica). Su
padre Julius Mathison
Turing (1873-1974) era
miembro del cuerpo de
funcionarios británicos
en la India. Julius y su
esposa Ethel querían
que su hijo Alan
naciera en el Reino
Unido y regresaron a
Paddington, donde
finalmente nació.
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.
3Máquina de Turing
Infancia
El matemático británico pasó gran
parte de su infancia en la India dado
que su padre trabajaba en la
Administración Colonial del país.
Desde muy pequeño Turing mostró un
gran interés por la lectura,por los
números y los rompecabezas. Sus
padres lo inscribieron en el colegio
St. Michael cuando tenía seis años;
su profesora se percató enseguida de
la genialidad de Turing. Sus ansias de
conocimiento y experimentación
llegaban hasta tal punto que a los
ocho años, atraído por la química,
diseñó un pequeño laboratorio en su
casa. Su carrera escolar estuvo
marcada, por un lado, por sus
aptitudes y su facilidad por las
matemáticas y, por el otro, por su
carácter inconformista que le llevaba
a seguir sus propias ideas y apartarse
del rígido (e ilógico, según su
parecer) sistema educativo.
4Máquina de Turing
Estudios
Entre enero de 1922 y
1926, Turing estudió en la
preparatoria Hazelhurst,
una escuela independiente
en el pueblo de Frant en
Sussex.
La inclinación natural de
Turing hacia la
matemática y la ciencia no
le atrajo el respeto de sus
profesores de Sherborne,
cuyo concepto de
educación hacía mayor
énfasis en los clásicos. En
la escuela de Sherbone,
ganó la mayor parte de los
premios matemáticos que
se otorgaban y, además,
realizaba experimentos
químicos por su cuenta
aunque la opinión del
profesorado respecto a la
independencia y ambición
de Turing no era
demasiado favorable. A
pesar de ello, Turing
continuó mostrando una
singular habilidad para los
estudios que realmente le
gustaban, y llegó a
resolver problemas muy
avanzados para su edad
(16 años) sin ni siquiera
haber estudiado cálculo
elemental.
Debido a su falta de
voluntad para esforzarse
con la misma intensidad en
el estudio de los clásicos
que en el de la ciencia y la
matemática, Turing
suspendió sus exámenes
finales varias veces y tuvo
que ingresar en la escuela
universitaria que eligió en
segundo lugar, King's
College, Universidad de
Cambridge, en vez de en la
que era su primera
elección, Trinity. Tras su
graduación, se trasladó a
la Universidad
estadounidense de
Princeton, donde trabajó
con el lógico A. Church.
Recibió las enseñanzas de
Godfrey Harold Hardy, un
respetado matemático que
ocupó la cátedra Sadleirian
en Cambridge, y que
posteriormente, fue
responsable de un centro
de estudios e
investigaciones
matemáticas entre 1931 y
1934. En 1935 Turing fue
nombrado profesor del
King's College.
5Máquina de Turing
Máquina de tuing
introducción
La máquina de Turing, presentada por Alan Turing en 1936 en On
computable numbers, with an application to the Entscheidungsproblems,
es el modelo matemático de un dispositivo que se comporta como un
autómata finito y que dispone de una cinta de longitud infinita en la que
se pueden leer, escribir o borrar símbolos. Existen otras versiones con
varias cintas, deterministas o no, etc., pero todas son equivalentes
(respecto a los lenguajes que aceptan).
6Máquina de Turing
Definición de la Máquina
de Turing
Llamamos Máquina de Turing (ó MT) a
M=(Q,Σ,T,δ,q0,B,F)M=(Q,Σ,T,δ,q0,B,F)
Donde
• Q es el conjunto finito de estados que denotaremos por
q0,q1,q2,...q0,q1,q2,...
• Σ es el alfabeto: el conjunto finito de símbolos de entrada.
• Τ es el conjunto de símbolos de cinta. El alfabeto es un subconjunto de Τ.
• q0 es el estado inicial: el estado en el que se encuentra inicialmente la MT.
• B es un elemento de Σ: el símbolo en blanco. Se encuentra en todas las
casillas de la cintaque no tienen un símbolo de entrada.
• F es el conjunto de estados finales.
• δ es la función de transiciones.
La expresión
δ(q,X)=(p,Y,D)δ(q,X)=(p,Y,D)
indica que en el estado q, si la cabeza de la MT señala al símbolo de cinta X,
entonces la MT escribe el símbolo de cinta Y en la casilla actual (cambia X por Y )
y mueve la cabeza una casilla hacia D (D puede ser derecha, R; o izquierda, L) y
pasa al estado p.
La cinta de la MT está formada por infinitas casillas.
Inicialmente, la palabra de entrada (una concatenación de símbolos del alfabeto)
se encuentra escrita en casillas consecutivas de la cinta y la cabeza señala al
primer símbolo de la palabra. Todas las otras casillas (hacia la izquierda y la
derecha) contienen el símbolo en blanco.
7Máquina de Turing
Lenguaje de una Máquina de
Turing
El lenguaje de una Máquina de Turing
M=(Q,Σ,T,δ,q0,B,F)M=(Q,Σ,T,δ,q0,B,F)
es
L(M):={w∈Σ∗ : q0w⊢∗ αpβ,p∈F,α,β∈T∗}L(M):={w∈Σ∗ : q0w⊢∗ αpβ,p∈F,α,β∈T∗}
Es decir, las w de Σ* tales que la máquina de Turing alcanza un estado de
aceptación.

Más contenido relacionado

La actualidad más candente

La actualidad más candente (19)

Unidad v binomiode newton
Unidad v  binomiode newtonUnidad v  binomiode newton
Unidad v binomiode newton
 
Matemáticas 5º. Repaso de 4º Primaria. Evaluación Inicial
Matemáticas 5º. Repaso de 4º Primaria. Evaluación InicialMatemáticas 5º. Repaso de 4º Primaria. Evaluación Inicial
Matemáticas 5º. Repaso de 4º Primaria. Evaluación Inicial
 
Explicacion de los Números Primos y su Familia:
Explicacion de los Números Primos y su Familia:Explicacion de los Números Primos y su Familia:
Explicacion de los Números Primos y su Familia:
 
Primo
PrimoPrimo
Primo
 
Explicitación y uso de las razones trigonométricas seno, coseno y tangente.
Explicitación y uso de las razones trigonométricas seno, coseno y tangente. Explicitación y uso de las razones trigonométricas seno, coseno y tangente.
Explicitación y uso de las razones trigonométricas seno, coseno y tangente.
 
Sophie germain
Sophie germainSophie germain
Sophie germain
 
Razones en el triangulo rectangulo
Razones en el triangulo rectanguloRazones en el triangulo rectangulo
Razones en el triangulo rectangulo
 
Algebra
AlgebraAlgebra
Algebra
 
Numero Primo
Numero PrimoNumero Primo
Numero Primo
 
Matematicas :3
Matematicas :3Matematicas :3
Matematicas :3
 
Ecuaciones en N
Ecuaciones en NEcuaciones en N
Ecuaciones en N
 
Teorico logica formal 2016
Teorico logica formal 2016Teorico logica formal 2016
Teorico logica formal 2016
 
Progresiones aritméticas 5º
Progresiones aritméticas   5ºProgresiones aritméticas   5º
Progresiones aritméticas 5º
 
Oli9
Oli9Oli9
Oli9
 
Cdi u1 oa_09
Cdi u1 oa_09Cdi u1 oa_09
Cdi u1 oa_09
 
Taller!
Taller!Taller!
Taller!
 
OAM Numeros decimales
OAM   Numeros decimalesOAM   Numeros decimales
OAM Numeros decimales
 
Guia de triangulo
Guia de trianguloGuia de triangulo
Guia de triangulo
 
Ecuaciones en n
Ecuaciones en nEcuaciones en n
Ecuaciones en n
 

Similar a Máquina Turing: Historia, Definición y Lenguaje

Alan Turing
Alan TuringAlan Turing
Alan Turingdiego
 
Bibliografia de alan turing
Bibliografia de alan turingBibliografia de alan turing
Bibliografia de alan turingTelproyect
 
Alan mathison turing
Alan  mathison turingAlan  mathison turing
Alan mathison turingLdeabreu16
 
Alan mathison turing
Alan  mathison turing Alan  mathison turing
Alan mathison turing Ldeabreu16
 
Presentación de alan turing
Presentación de alan turingPresentación de alan turing
Presentación de alan turingAnabb257
 
Alan Turing un brillante matemático
Alan Turing un brillante matemático Alan Turing un brillante matemático
Alan Turing un brillante matemático keelvalencia12
 

Similar a Máquina Turing: Historia, Definición y Lenguaje (9)

Alan Turing
Alan TuringAlan Turing
Alan Turing
 
Bibliografia de alan turing
Bibliografia de alan turingBibliografia de alan turing
Bibliografia de alan turing
 
Allan turing
Allan turingAllan turing
Allan turing
 
Gramáticas y Modelos Matemáticos - Clase 4
Gramáticas y Modelos Matemáticos - Clase 4Gramáticas y Modelos Matemáticos - Clase 4
Gramáticas y Modelos Matemáticos - Clase 4
 
Alan mathison turing
Alan  mathison turingAlan  mathison turing
Alan mathison turing
 
Alan mathison turing
Alan  mathison turing Alan  mathison turing
Alan mathison turing
 
Presentación de alan turing
Presentación de alan turingPresentación de alan turing
Presentación de alan turing
 
ALAN TURIN
ALAN TURINALAN TURIN
ALAN TURIN
 
Alan Turing un brillante matemático
Alan Turing un brillante matemático Alan Turing un brillante matemático
Alan Turing un brillante matemático
 

Más de Jonathan Suarez Vasquez (14)

Historieta
HistorietaHistorieta
Historieta
 
Mentefacto de diseño Estructurado
 Mentefacto de diseño Estructurado Mentefacto de diseño Estructurado
Mentefacto de diseño Estructurado
 
Jonathan suarez 26.447.08
Jonathan suarez 26.447.08Jonathan suarez 26.447.08
Jonathan suarez 26.447.08
 
Origen de los Sistemas Operativos y sus avances tecnológicos
Origen de los Sistemas Operativos y sus  avances tecnológicosOrigen de los Sistemas Operativos y sus  avances tecnológicos
Origen de los Sistemas Operativos y sus avances tecnológicos
 
Jonathan suarez 26447083
Jonathan suarez 26447083Jonathan suarez 26447083
Jonathan suarez 26447083
 
Ideograma de Auditoria y Pruebas
Ideograma de Auditoria y PruebasIdeograma de Auditoria y Pruebas
Ideograma de Auditoria y Pruebas
 
revista de grafo
revista de graforevista de grafo
revista de grafo
 
Jonathann suarez 26447083
Jonathann suarez 26447083Jonathann suarez 26447083
Jonathann suarez 26447083
 
Ejercicios de estrcutura discreta
Ejercicios de estrcutura discretaEjercicios de estrcutura discreta
Ejercicios de estrcutura discreta
 
Lenguajes de programacion jonathan suarez
Lenguajes de programacion jonathan suarezLenguajes de programacion jonathan suarez
Lenguajes de programacion jonathan suarez
 
Plan de negocios
Plan de negociosPlan de negocios
Plan de negocios
 
Jonathan suarez
Jonathan suarezJonathan suarez
Jonathan suarez
 
Estadistica jonathan suarez
Estadistica jonathan suarezEstadistica jonathan suarez
Estadistica jonathan suarez
 
matematica
matematicamatematica
matematica
 

Último

Controladores Lógicos Programables Usos y Ventajas
Controladores Lógicos Programables Usos y VentajasControladores Lógicos Programables Usos y Ventajas
Controladores Lógicos Programables Usos y Ventajasjuanprv
 
Base de Datos en Microsoft SQL Server 2024
Base de Datos en Microsoft SQL Server 2024Base de Datos en Microsoft SQL Server 2024
Base de Datos en Microsoft SQL Server 2024CESARHERNANPATRICIOP2
 
Reporte de simulación de flujo del agua en un volumen de control MNVA.pdf
Reporte de simulación de flujo del agua en un volumen de control MNVA.pdfReporte de simulación de flujo del agua en un volumen de control MNVA.pdf
Reporte de simulación de flujo del agua en un volumen de control MNVA.pdfMikkaelNicolae
 
TAREA 8 CORREDOR INTEROCEÁNICO DEL PAÍS.pdf
TAREA 8 CORREDOR INTEROCEÁNICO DEL PAÍS.pdfTAREA 8 CORREDOR INTEROCEÁNICO DEL PAÍS.pdf
TAREA 8 CORREDOR INTEROCEÁNICO DEL PAÍS.pdfAntonioGonzalezIzqui
 
aCARGA y FUERZA UNI 19 marzo 2024-22.ppt
aCARGA y FUERZA UNI 19 marzo 2024-22.pptaCARGA y FUERZA UNI 19 marzo 2024-22.ppt
aCARGA y FUERZA UNI 19 marzo 2024-22.pptCRISTOFERSERGIOCANAL
 
Elaboración de la estructura del ADN y ARN en papel.pdf
Elaboración de la estructura del ADN y ARN en papel.pdfElaboración de la estructura del ADN y ARN en papel.pdf
Elaboración de la estructura del ADN y ARN en papel.pdfKEVINYOICIAQUINOSORI
 
hitos del desarrollo psicomotor en niños.docx
hitos del desarrollo psicomotor en niños.docxhitos del desarrollo psicomotor en niños.docx
hitos del desarrollo psicomotor en niños.docxMarcelaArancibiaRojo
 
desarrollodeproyectoss inge. industrial
desarrollodeproyectoss  inge. industrialdesarrollodeproyectoss  inge. industrial
desarrollodeproyectoss inge. industrialGibranDiaz7
 
PPT ELABORARACION DE ADOBES 2023 (1).pdf
PPT ELABORARACION DE ADOBES 2023 (1).pdfPPT ELABORARACION DE ADOBES 2023 (1).pdf
PPT ELABORARACION DE ADOBES 2023 (1).pdfalexquispenieto2
 
LA APLICACIÓN DE LAS PROPIEDADES TEXTUALES A LOS TEXTOS.pdf
LA APLICACIÓN DE LAS PROPIEDADES TEXTUALES A LOS TEXTOS.pdfLA APLICACIÓN DE LAS PROPIEDADES TEXTUALES A LOS TEXTOS.pdf
LA APLICACIÓN DE LAS PROPIEDADES TEXTUALES A LOS TEXTOS.pdfbcondort
 
INTEGRALES TRIPLES CLASE TEORICA Y PRÁCTICA
INTEGRALES TRIPLES CLASE TEORICA Y PRÁCTICAINTEGRALES TRIPLES CLASE TEORICA Y PRÁCTICA
INTEGRALES TRIPLES CLASE TEORICA Y PRÁCTICAJOSLUISCALLATAENRIQU
 
CLASe número 4 fotogrametria Y PARALAJE.pptx
CLASe número 4 fotogrametria Y PARALAJE.pptxCLASe número 4 fotogrametria Y PARALAJE.pptx
CLASe número 4 fotogrametria Y PARALAJE.pptxbingoscarlet
 
Manual_Identificación_Geoformas_140627.pdf
Manual_Identificación_Geoformas_140627.pdfManual_Identificación_Geoformas_140627.pdf
Manual_Identificación_Geoformas_140627.pdfedsonzav8
 
Voladura Controlada Sobrexcavación (como se lleva a cabo una voladura)
Voladura Controlada  Sobrexcavación (como se lleva a cabo una voladura)Voladura Controlada  Sobrexcavación (como se lleva a cabo una voladura)
Voladura Controlada Sobrexcavación (como se lleva a cabo una voladura)ssuser563c56
 
Falla de san andres y el gran cañon : enfoque integral
Falla de san andres y el gran cañon : enfoque integralFalla de san andres y el gran cañon : enfoque integral
Falla de san andres y el gran cañon : enfoque integralsantirangelcor
 
ARBOL DE CAUSAS ANA INVESTIGACION DE ACC.ppt
ARBOL DE CAUSAS ANA INVESTIGACION DE ACC.pptARBOL DE CAUSAS ANA INVESTIGACION DE ACC.ppt
ARBOL DE CAUSAS ANA INVESTIGACION DE ACC.pptMarianoSanchez70
 
Magnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principiosMagnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principiosMarceloQuisbert6
 
CONCEPTOS EN HIDROGEOLOGIA-diapositivas varias.pptx
CONCEPTOS EN HIDROGEOLOGIA-diapositivas varias.pptxCONCEPTOS EN HIDROGEOLOGIA-diapositivas varias.pptx
CONCEPTOS EN HIDROGEOLOGIA-diapositivas varias.pptxBrayanJavierCalle2
 
ECONOMIA APLICADA SEMANA 555555555544.pdf
ECONOMIA APLICADA SEMANA 555555555544.pdfECONOMIA APLICADA SEMANA 555555555544.pdf
ECONOMIA APLICADA SEMANA 555555555544.pdfmatepura
 

Último (20)

Controladores Lógicos Programables Usos y Ventajas
Controladores Lógicos Programables Usos y VentajasControladores Lógicos Programables Usos y Ventajas
Controladores Lógicos Programables Usos y Ventajas
 
VALORIZACION Y LIQUIDACION MIGUEL SALINAS.pdf
VALORIZACION Y LIQUIDACION MIGUEL SALINAS.pdfVALORIZACION Y LIQUIDACION MIGUEL SALINAS.pdf
VALORIZACION Y LIQUIDACION MIGUEL SALINAS.pdf
 
Base de Datos en Microsoft SQL Server 2024
Base de Datos en Microsoft SQL Server 2024Base de Datos en Microsoft SQL Server 2024
Base de Datos en Microsoft SQL Server 2024
 
Reporte de simulación de flujo del agua en un volumen de control MNVA.pdf
Reporte de simulación de flujo del agua en un volumen de control MNVA.pdfReporte de simulación de flujo del agua en un volumen de control MNVA.pdf
Reporte de simulación de flujo del agua en un volumen de control MNVA.pdf
 
TAREA 8 CORREDOR INTEROCEÁNICO DEL PAÍS.pdf
TAREA 8 CORREDOR INTEROCEÁNICO DEL PAÍS.pdfTAREA 8 CORREDOR INTEROCEÁNICO DEL PAÍS.pdf
TAREA 8 CORREDOR INTEROCEÁNICO DEL PAÍS.pdf
 
aCARGA y FUERZA UNI 19 marzo 2024-22.ppt
aCARGA y FUERZA UNI 19 marzo 2024-22.pptaCARGA y FUERZA UNI 19 marzo 2024-22.ppt
aCARGA y FUERZA UNI 19 marzo 2024-22.ppt
 
Elaboración de la estructura del ADN y ARN en papel.pdf
Elaboración de la estructura del ADN y ARN en papel.pdfElaboración de la estructura del ADN y ARN en papel.pdf
Elaboración de la estructura del ADN y ARN en papel.pdf
 
hitos del desarrollo psicomotor en niños.docx
hitos del desarrollo psicomotor en niños.docxhitos del desarrollo psicomotor en niños.docx
hitos del desarrollo psicomotor en niños.docx
 
desarrollodeproyectoss inge. industrial
desarrollodeproyectoss  inge. industrialdesarrollodeproyectoss  inge. industrial
desarrollodeproyectoss inge. industrial
 
PPT ELABORARACION DE ADOBES 2023 (1).pdf
PPT ELABORARACION DE ADOBES 2023 (1).pdfPPT ELABORARACION DE ADOBES 2023 (1).pdf
PPT ELABORARACION DE ADOBES 2023 (1).pdf
 
LA APLICACIÓN DE LAS PROPIEDADES TEXTUALES A LOS TEXTOS.pdf
LA APLICACIÓN DE LAS PROPIEDADES TEXTUALES A LOS TEXTOS.pdfLA APLICACIÓN DE LAS PROPIEDADES TEXTUALES A LOS TEXTOS.pdf
LA APLICACIÓN DE LAS PROPIEDADES TEXTUALES A LOS TEXTOS.pdf
 
INTEGRALES TRIPLES CLASE TEORICA Y PRÁCTICA
INTEGRALES TRIPLES CLASE TEORICA Y PRÁCTICAINTEGRALES TRIPLES CLASE TEORICA Y PRÁCTICA
INTEGRALES TRIPLES CLASE TEORICA Y PRÁCTICA
 
CLASe número 4 fotogrametria Y PARALAJE.pptx
CLASe número 4 fotogrametria Y PARALAJE.pptxCLASe número 4 fotogrametria Y PARALAJE.pptx
CLASe número 4 fotogrametria Y PARALAJE.pptx
 
Manual_Identificación_Geoformas_140627.pdf
Manual_Identificación_Geoformas_140627.pdfManual_Identificación_Geoformas_140627.pdf
Manual_Identificación_Geoformas_140627.pdf
 
Voladura Controlada Sobrexcavación (como se lleva a cabo una voladura)
Voladura Controlada  Sobrexcavación (como se lleva a cabo una voladura)Voladura Controlada  Sobrexcavación (como se lleva a cabo una voladura)
Voladura Controlada Sobrexcavación (como se lleva a cabo una voladura)
 
Falla de san andres y el gran cañon : enfoque integral
Falla de san andres y el gran cañon : enfoque integralFalla de san andres y el gran cañon : enfoque integral
Falla de san andres y el gran cañon : enfoque integral
 
ARBOL DE CAUSAS ANA INVESTIGACION DE ACC.ppt
ARBOL DE CAUSAS ANA INVESTIGACION DE ACC.pptARBOL DE CAUSAS ANA INVESTIGACION DE ACC.ppt
ARBOL DE CAUSAS ANA INVESTIGACION DE ACC.ppt
 
Magnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principiosMagnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principios
 
CONCEPTOS EN HIDROGEOLOGIA-diapositivas varias.pptx
CONCEPTOS EN HIDROGEOLOGIA-diapositivas varias.pptxCONCEPTOS EN HIDROGEOLOGIA-diapositivas varias.pptx
CONCEPTOS EN HIDROGEOLOGIA-diapositivas varias.pptx
 
ECONOMIA APLICADA SEMANA 555555555544.pdf
ECONOMIA APLICADA SEMANA 555555555544.pdfECONOMIA APLICADA SEMANA 555555555544.pdf
ECONOMIA APLICADA SEMANA 555555555544.pdf
 

Máquina Turing: Historia, Definición y Lenguaje

  • 2. 1Máquina de Turing Tabla de contenido Historia de su creador…………………… 2 Infancia……………………………………….. 3 Estudios………………………………………. 4 Introducción a la máquina de turing.. 5 Definición…………………………………….. 6 Lengua de máquina de turing………… 7
  • 3. 2Máquina de Turing Alan turing Historia Turing nació en Maida Vale, Londres fue concebido en Chatrapur (India británica). Su padre Julius Mathison Turing (1873-1974) era miembro del cuerpo de funcionarios británicos en la India. Julius y su esposa Ethel querían que su hijo Alan naciera en el Reino Unido y regresaron a Paddington, donde finalmente nació. 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.
  • 4. 3Máquina de Turing Infancia El matemático británico pasó gran parte de su infancia en la India dado que su padre trabajaba en la Administración Colonial del país. Desde muy pequeño Turing mostró un gran interés por la lectura,por los números y los rompecabezas. Sus padres lo inscribieron en el colegio St. Michael cuando tenía seis años; su profesora se percató enseguida de la genialidad de Turing. Sus ansias de conocimiento y experimentación llegaban hasta tal punto que a los ocho años, atraído por la química, diseñó un pequeño laboratorio en su casa. Su carrera escolar estuvo marcada, por un lado, por sus aptitudes y su facilidad por las matemáticas y, por el otro, por su carácter inconformista que le llevaba a seguir sus propias ideas y apartarse del rígido (e ilógico, según su parecer) sistema educativo.
  • 5. 4Máquina de Turing Estudios Entre enero de 1922 y 1926, Turing estudió en la preparatoria Hazelhurst, una escuela independiente en el pueblo de Frant en Sussex. La inclinación natural de Turing hacia la matemática y la ciencia no le atrajo el respeto de sus profesores de Sherborne, cuyo concepto de educación hacía mayor énfasis en los clásicos. En la escuela de Sherbone, ganó la mayor parte de los premios matemáticos que se otorgaban y, además, realizaba experimentos químicos por su cuenta aunque la opinión del profesorado respecto a la independencia y ambición de Turing no era demasiado favorable. A pesar de ello, Turing continuó mostrando una singular habilidad para los estudios que realmente le gustaban, y llegó a resolver problemas muy avanzados para su edad (16 años) sin ni siquiera haber estudiado cálculo elemental. Debido a su falta de voluntad para esforzarse con la misma intensidad en el estudio de los clásicos que en el de la ciencia y la matemática, Turing suspendió sus exámenes finales varias veces y tuvo que ingresar en la escuela universitaria que eligió en segundo lugar, King's College, Universidad de Cambridge, en vez de en la que era su primera elección, Trinity. Tras su graduación, se trasladó a la Universidad estadounidense de Princeton, donde trabajó con el lógico A. Church. Recibió las enseñanzas de Godfrey Harold Hardy, un respetado matemático que ocupó la cátedra Sadleirian en Cambridge, y que posteriormente, fue responsable de un centro de estudios e investigaciones matemáticas entre 1931 y 1934. En 1935 Turing fue nombrado profesor del King's College.
  • 6. 5Máquina de Turing Máquina de tuing introducción La máquina de Turing, presentada por Alan Turing en 1936 en On computable numbers, with an application to the Entscheidungsproblems, es el modelo matemático de un dispositivo que se comporta como un autómata finito y que dispone de una cinta de longitud infinita en la que se pueden leer, escribir o borrar símbolos. Existen otras versiones con varias cintas, deterministas o no, etc., pero todas son equivalentes (respecto a los lenguajes que aceptan).
  • 7. 6Máquina de Turing Definición de la Máquina de Turing Llamamos Máquina de Turing (ó MT) a M=(Q,Σ,T,δ,q0,B,F)M=(Q,Σ,T,δ,q0,B,F) Donde • Q es el conjunto finito de estados que denotaremos por q0,q1,q2,...q0,q1,q2,... • Σ es el alfabeto: el conjunto finito de símbolos de entrada. • Τ es el conjunto de símbolos de cinta. El alfabeto es un subconjunto de Τ. • q0 es el estado inicial: el estado en el que se encuentra inicialmente la MT. • B es un elemento de Σ: el símbolo en blanco. Se encuentra en todas las casillas de la cintaque no tienen un símbolo de entrada. • F es el conjunto de estados finales. • δ es la función de transiciones. La expresión δ(q,X)=(p,Y,D)δ(q,X)=(p,Y,D) indica que en el estado q, si la cabeza de la MT señala al símbolo de cinta X, entonces la MT escribe el símbolo de cinta Y en la casilla actual (cambia X por Y ) y mueve la cabeza una casilla hacia D (D puede ser derecha, R; o izquierda, L) y pasa al estado p. La cinta de la MT está formada por infinitas casillas. Inicialmente, la palabra de entrada (una concatenación de símbolos del alfabeto) se encuentra escrita en casillas consecutivas de la cinta y la cabeza señala al primer símbolo de la palabra. Todas las otras casillas (hacia la izquierda y la derecha) contienen el símbolo en blanco.
  • 8. 7Máquina de Turing Lenguaje de una Máquina de Turing El lenguaje de una Máquina de Turing M=(Q,Σ,T,δ,q0,B,F)M=(Q,Σ,T,δ,q0,B,F) es L(M):={w∈Σ∗ : q0w⊢∗ αpβ,p∈F,α,β∈T∗}L(M):={w∈Σ∗ : q0w⊢∗ αpβ,p∈F,α,β∈T∗} Es decir, las w de Σ* tales que la máquina de Turing alcanza un estado de aceptación.