UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería
AUTÓMATAS Y LENGUAJES FORMALES
FASE 1: Pre - Saberes
JOSE GABRIEL RIBON ZARCO
Código: 72249308
TUTOR
ROLANDO FABIAN JUNCO
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
27 DE AGOSTO - 2019
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería
INTRODUCCION
La teoría de autómatas es el estudio de dispositivos de cálculo abstractos, es decir, de
las "máquinas”. En la década de los años treinta, A. Turing estudió una máquina
abstracta que tenía todas las capacidades de las computadoras de hoy día, al menos en
lo que respecta a lo que podían calcular. El objetivo de Turing era describir de forma
precisa los límites entre lo que una máquina de cálculo podía y no podía hacer. Con este
trabajo se busca realizar una línea del tiempo sobre la historia y evolución de la teoría
de autómatas y lenguajes formales.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería
DESARROLLO DE LA ACTIVIDAD
Actividad 1:
Realizar una línea del tiempo que permita observar la historia y evolución de la teoría de
autómatas y lenguajes formales, se debe tener en cuenta los orígenes, los precursores y
los distintos campos en los que repercute esta área del conocimiento (Ingeniería,
lenguajes y gramáticas, matemáticas y computabilidad) y aplicación directa de las
ciencias computacionales.
LINEA DE TIEMPO
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería
Actividad 2:
Realizar un resumen, ensayo o relatoría (El estudiante selecciona uno a trabajar) sobre
Alan Turing y la máquina enigma, existen varios documentales y películas que cuentan
esta historia, adicional pueden realizar búsquedas en la biblioteca virtual de la universidad
sobre el tema. Para saber que estructura tiene cada uno de los textos académicos
solicitados tener presente el siguiente autor:
Alan Mathison Turing, OBE (Paddington, Londres, 23 de junio de 1912-Wilmslow,
Cheshire, 7 de junio de 1954)
Su campo principal fue la matemática, pero también aportó desde el campo de la
psicología, filosofía, física, química y biología. Sus mayores aportes son a la computación,
siendo probablemente de los primeros investigadores en estudiar las computadoras y su
potencial futuro, así como la inteligencia artificial.
Turing realizó numerosos aportes a lo que son hoy nuestras computadoras modernas, a
través de la programación y la matemática. Sin duda fue un gran pensador que aportó
desde varios campos al desarrollo de la programación y los códigos. Dio el primer paso
en plantear la posibilidad de una inteligencia artificial que pueda parecerse a la humana
en su efectividad y cumplimiento de tareas, un tema que hasta el día de hoy es clave.
Durante la Segunda Guerra Mundial, Turing fue contratado por el gobierno para descifrar
el código alemán Enigma. Para esto utilizó un artefacto electromecánico llamado Bombe,
construido junto a Welchman, que logró con éxito descifrar los códigos, participó de la
construcción de un aparato que mantuviera en secreto las conversaciones de Churchill y
Roosevelt.. Turing creyó en la posibilidad de construir un artefacto que realice tareas
previamente asumidas, cosa solo equiparable al cerebro humano. Para construir una
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería
máquina universal era necesario el almacenamiento, los códigos de instrucciones y
números.
Las implicaciones del pensamiento de Alan Turing han trascendido mucho más allá que
su aplicación en procedimientos o razonamientos únicamente al ámbito computacional.
Las nociones de autómata formuladas por Turing desde la década de los 30 implicaron el
desarrollo de la Máquina de Turing, un modelo de lógica y matemáticas aplicadas en un
proceso que permite a quienes plantean el estudio de una determinada hipótesis el
conocer de forma matemática el límite de lo que se puede calcular, además de que esa
máquina coexista replicada por otras máquinas.
El autómata pensado por Turing es la base teórica de los dispositivos de cómputo de hoy.
Actividad 3:
El estudiante busca 3 libros, revistas, artículos, entre otros en la biblioteca de la
universidad que no se encuentren en las referencias bibliográficas del syllabus donde se
encuentre el tema estudiado anteriormente. Debe agregar la referencia bajo norma APA.
Presenta una síntesis de cada una de ellas.
La máquina de Turing
En su estudio Los números computables, con una aplicación al Entscheidungsproblem
(publicado en 1936), Turing reformuló los resultados obtenidos por Kurt Gödel en 1931
sobre los límites de la demostrabilidad y la computación, sustituyendo al lenguaje formal
universal descrito por Gödel por lo que hoy se conoce como máquina de Turing, unos
dispositivos formales y simples.
Referencia:
https://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería
Test de Turing
Prueba de la habilidad de una máquina de exhibir un comportamiento inteligente similar,
o indistinguible, del de un humano.
Referencia:
Test de Turing. (s.f). En Wikipedia. Recuperado el 09 de septiembre de 2017 de:
https://es.wikipedia.org/wiki/Test_de_Turing
Halting Problem
Antes de la existencia de los ordenadores, Turing no solo teorizó sobre la base de su
funcionamiento, sino que incluso predijo sus futuros fallos. Así, mientras ideaba su
máquina, definió el problema de parada, o halting problem, al afirmar que no existe
ningún algoritmo general que pueda averiguar si una operación iniciada será finita o no.
Turing vaticinó de este modo que los ordenadores se “colgarían”. Hoy, cuando una
computadora cae en un bucle infinito, debemos conformarnos con reiniciar la máquina.
Referencia:
https://www.lavanguardia.com/historiayvida/quien-fue-y-que-aporto-alan-
turing_12321_102.html
