Universidad Politécnica de Querétaro
Alan Mathison Turing Turing con una sola cinta puede ser
(Alan Mathison Turing; Londres,
1912-Wilmslow, Reino Unido,
1954) Matemático británico.
Pasó sus primeros trece años en la
India, donde su padre trabajaba en la
Administración colonial. De regreso al
Reino Unido, estudió en el King’s
College y, tras su graduación, se
trasladó a la Universidad
estadounidense de Princeton, donde
trabajó con el lógico A. Church.
En 1937 publicó un célebre artículo en
el que definió una máquina calculadora
de capacidad infinita (máquina de
Turing) que operaba basándose en una
serie de instrucciones lógicas, sentando
así las bases del concepto moderno de
algoritmo. Así, Turing describió en
términos matemáticos precisos cómo
un sistema automático con reglas
extremadamente simples podía efectuar
toda clase de operaciones matemáticas
expresadas en un lenguaje formal
determinado. La máquina de Turing era
tanto un ejemplo de su teoría de
computación como una prueba de que
un cierto tipo de máquina computadora
podía ser construida.
La máquina de Turing
La máquina de Turing es un modelo
computacional introducido por Alan
Turing en el trabajo “On computable
numbers, with an application to the
Entscheidungsproblem”, publicado por
la Sociedad Matemática de Londres, en
el cual se estudiaba la cuestión
planteada por David Hilbert sobre si las
matemáticas son decidibles, es decir, si
hay un método definido que pueda
aplicarse a cualquier sentencia
matemática y que nos diga si esa
sentencia es cierta o no. Turing
construyó un modelo formal de
computador, la máquina de Turing, y
demostró que existían problemas que
una máquina no podía resolver. La
máquina de Turing es un modelo
matemático abstracto que formaliza el
concepto de algoritmo. Una máquina de
José Antonio Fabián Aguilat
Inteligencia Artificial S802
definida como una 6-tupla, donde Q es
un conjunto finito de estados Γ es un
conjunto finito de símbolos de cinta, el
alfabeto de cinta es el estado inicial, es
un símbolo denominado blanco, y es el
único símbolo que se puede repetir un
número infinito de veces, es el conjunto
de estados finales de aceptación, es
una función parcial denominada función
de transición, donde L es un
movimiento a la izquierda y R es el
movimiento a la derecha.
Existen en la literatura un abundante
número de definiciones alternativas,
pero todas ellas tienen el mismo poder
computacional, por ejemplo se puede
añadir el símbolo como símbolo de “no
movimiento” en un paso de cómputo.
¿Cómo funciona una máquina de
turing?
Una máquina de Turing es un
dispositivo que transforma un INPUT en
un OUTPUT después de algunos pasos.
Tanto el INPUT como el OUPUT constan
de números en código binario (ceros y
unos). En su versión original la máquina
de Turing consiste en una cinta
infinitamente larga con unos y ceros
que pasa a través de una caja. La caja
es tan fina que solo el trozo de cinta
que ocupa un bit (0 ó 1) está en su
interior. La máquina tiene una serie de
estados internos finitos que también se
pueden numerar en binario.
Para llevar a cabo algún algoritmo, la
máquina se inicializa en algún estado
interno arbitrario. A continuación, se
pone en marcha y la máquina lee el bit
que se encuentra en ese momento en
su interior y ejecuta alguna operación
con ese bit (lo cambia o no,
dependiendo de su estado interno).
Después se mueve hacia la derecha o
hacia la izquierda, y vuelve a procesar
el siguiente bit de la misma manera. Al
final se para, dejando el resultado al
lado izquierdo por ejemplo.
Teoría de la Computación.
La teoría de la computación es una
rama de la matemática y
Tarea 1/ Examen 1
Universidad Politécnica de Querétaro
la computación que centra su interés en
las limitaciones y capacidades
fundamentales de las computadoras.
Específicamente esta teoría busca
modelos matemáticos que formalizan el
concepto de hacer un cómputo (cuenta
o cálculo) y la clasificación
de problemas.
Subramas.
Teoría de autómatas
Artículo principal: Teoría de autómatas
Esta teoría provee modelos
matemáticos que formalizan
concepto
de computadora o algoritmo de manera
suficientemente simplificada y general
para que se puedan analizar sus
capacidades y limitaciones. Algunos de
estos modelos juegan un papel central
en varias aplicaciones de las ciencias de
la computación, incluyendo
procesamiento de texto, compiladores,
diseño de hardware e inteligencia
artificial.
Los tres principales modelos son
los autómatas finitos, autómatas con
pila y máquinas de Turing, cada uno
con sus variantes deterministas y no
deterministas. Los autómatas finitos
son buenos modelos de computadoras
que tienen una cantidad limitada de
memoria, los autómatas con pila
modelan los que tienen gran cantidad
de memoria pero que solo pueden
manipularla a manera de pila (el último
dato almacenado es el siguiente leído),
y las máquinas de Turing modelan las
computadoras que tienen una gran
cantidad de memoria almacenada en
una cinta. Estos autómatas están
estrechamente relacionados con la
teoría de lenguajes formales; cada
autómata es equivalente
una gramática formal, lo que permite
reinterpretar la jerarquía
Chomsky en términos de autómatas.
Teoría de la computabilidad
Esta teoría explora los límites de la
posibilidad de solucionar problemas
mediante algoritmos. Gran parte de las
José Antonio Fabián Aguilat
Inteligencia Artificial S802
ciencias computacionales están
dedicadas a resolver problemas de
forma algorítmica, de manera que el
descubrimiento de
problemas imposibles es una gran
sorpresa. La teoría de la computabilidad
es útil para no tratar de resolver
algoritmicamente estos problemas,
ahorrando así tiempo y esfuerzo.
Los problemas se clasifican en esta
teoría de acuerdo a su grado
de imposibilidad: Los computables, los
semicomputables  y los incomputables.
el
Teoría de la complejidad
computacional
Aun cuando un problema sea
computable, puede que no sea posible
resolverlo en la práctica si se requiere
mucha memoria o tiempo de ejecución.
La teoría de la complejidad
computacional estudia las necesidades
de memoria, tiempo y otros recursos
computacionales para resolver
problemas; de esta manera es posible
explicar por qué unos problemas son
más difíciles de resolver que otros. Uno
de los mayores logros de esta rama es
la clasificación de problemas, similar a
la tabla periódica, de acuerdo a su
dificultad. En esta clasificación los
problemas se separan por clases de
complejidad.
CONCLUSIONES
En la historia de la computación y las
matemáticas han existido diferentes e
importantes aportadores a dichas
áreas, Alan M. Turing fue uno de ellos,
en este artículo se menciona parte de
sus aportaciones como lo es la máquina
a de turing y la teoría de la computación
las cuales en este caso servirán como
de información referente al estudio de la
Inteligencia Artificial. Con la teoría de la
computación y sus aplicaciones en la
actualidad se realizan cálculos para la
solución de problemas estudiando el
tiempo y recursos consumidos durante
el proceso del cálculo.
Tarea 1/ Examen 1