Está en la página 1de 10

Unidad 1: Fase 1

Revisión de presaberes y lectura del problema planteado.

Laura Melisa Morales


Cód. 1.122.134.562
Grupo: 53

Tutora
Sandra Isabel Vargas

Universidad Nacional Abierta A Distancia


Escuela De Ciencias Básicas Tecnología E Ingeniería
Programa Ingeniera de Sistemas
Acacias-Meta
Febrero 2020
Actividad 1:

Base de Datos Bibliografía: Articulo Síntesis


científico – APA 6.0
Science direct Meer Klaus, Naif Ameen. The model mimics the finite automata
(2019). Periodic over finite structures but has an
generalized automata over additional ability to perform in a
the reals. Retrieved from restricted way operations attached to
https://www-sciencedirect- the structure under consideration.
com.bibliotecavirtual.unad.
edu.co/science/article/pii/S
0890540119300689#!
Chatterjee Kingshuk, Los autómatas Watson-Crick son
Sankar Ray b Kumar. autómatas finitos que tienen dos
Informática Teórica. cabezales independientes que trabajan
Recuperado de en hilos dobles. Los caracteres en las
https://www-sciencedirect- posiciones correspondientes de las
com.bibliotecavirtual.unad. dos cadenas están conectados por una
edu.co/science/article/pii/S relación de complementariedad similar
0304397519301628 a la relación de complementariedad de
Watson-Crick.

EBSCO Gallardo Casero, J., Descripción de lenguajes mediante


Castro Sánchez, J. J., & expresiones regulares que se utilizan
Sabariego, R. M. (2016). en numerosos ámbitos de la
Experiencias de uso y informática como mecanismo para
evaluación de una describir patrones.
herramienta de apoyo a la
enseñanza de Teoría de
Autómatas y Lenguajes
Formales. Retrieved from
http://search.ebscohost.co
m.bibliotecavirtual.unad.ed
u.co/login.aspx?direct=true
&db=edsbas&AN=edsbas.
D277F8B6&lang=es&site=
eds-live&scope=site
Carrasco, R. C., Calera Ha llegado después de décadas de
Rubio, J., & Forcada investigación, revisión de los
Zubizarreta, M. L. (2000). conceptos fundamentales y
Teoría de lenguajes, estructuración lógica
gramáticas y autómatas
para informáticos.
[Alicante]: Digitalia.
Retrieved from
http://search.ebscohost.co
m.bibliotecavirtual.unad.ed
u.co/login.aspx?direct=true
&db=nlebk&AN=318032&l
ang=es&site=eds-
live&scope=site
Jurado Málaga, E. (2008). utilización de un lenguaje, que
Teoría de autómatas y podemos definir como un conjunto de
lenguajes formales. Spain, palabras
Europe: Universidad de (También llamadas cadenas) formadas
Extremadura. Servicio de por símbolos de un alfabeto.
Publicaciones. Retrieved En los años 30, década en la que el
from mundo de las matemáticas se hallaba
http://search.ebscohost.co ocupado, sobretodo, en temas como la
m.bibliotecavirtual.unad.ed lógica y la definición de sistemas
u.co/login.aspx?direct=true axiomáticos.
&db=edsbas&AN=edsbas. A principios del siglo XX, muchos
62161440&lang=es&site=e matemáticos creían que era posible
ds-live&scope=site encontrar un único sistema axiomático
en el que podrían basarse todas las
matemáticas.
Sin embargo, en 1931, el austriaco
Kurt Godel público el “Teorema de la
incompletitud”, en el que demostraba
que era imposible la completa
axiomatización de las matemáticas.
Este teorema incremento el debate por
el poder de los métodos axiomáticos y
los procesos computacionales.
SCOPUS

Since the discovery of irrational


numbers, the issue of impossibility
has been one of the driving forces in
mathematics. Computer science
brings forward are lated problem, that
of difficulty. The mathematical
expression of difficulty is complexity,
the concept which affects virtually all
subjects in computing science, taking
on various contents in various
contexts. In this paper we focus on
Logic and Automata infinite computations, and more
History and Perspectives specifically on finite-state
Autores: recognition of infinite trees. It is
La que el Erich Wilke, Thomas clearly not a topic of class.
estudiante
seleccione
Book that describes the autonomous
Automation concept that is being applied over time
Autor: Salas, Eduardo in different fields.
Actividad 2:
Actividad 3:
1. ¿Qué es el Test de Turing? ¿Explique cómo Funciona?
Es una prueba de la habilidad de una máquina para exhibir un
comportamiento inteligente similar al de un ser humano de tal manera que,
interactuando con ella en una conversación, una persona pueda determinar si
su interlocutor es una máquina o una persona. (Estefan 2018).
2. ¿Cuáles fueron los aportes más significativos de Alan Turing en la
computación?
3. Los aportes más significativos son:
• El ordenador universal de programa integrado.
• Ordenador de almacenamiento programado.
• Test de Turing
• Vida Artificial
4. ¿Qué es el código Enigma y como funcionó, quien lo descubrió?
El código enigma se basaba en cinco rotores que variaban cada vez que se
pulsaba una tecla, de manera que cada letra del alfabeto ofrecía un número
altísimo de posibilidades.
Alan Turing fue el principal responsable de descifrar Enigma, el código
secreto utilizado por el Ejército alemán en la Segunda Guerra Mundial,
contribuyendo con ello a acortar la guerra.
Bibliografía
o Meer Klaus, Naif Ameen. (2019). Periodic generalized automata over the
reals. Retrieved from
https://www.sciencedirect.com.bibliotecavirtual.unad.edu.co/science/article/pii/

o Gallardo Casero, J., Castro Sánchez, J. J., & Sabariego, R. M. (2016).


Experiencias de uso y evaluación de una herramienta de apoyo a la
enseñanza de Teoría de Autómatas y Lenguajes Formales. Retrieved from
http://search.ebscohost.com.bibliotecavirtual.unad.edu.co/login.aspx?direct=tr
ue&db=edsbas&AN=edsbas.D277F8B6&lang=es&site=eds-live&scope=site.
o Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría
de lenguajes, gramáticas y autómatas para informáticos. [Alicante]: Digitalia.
Retrievedfrom
http://search.ebscohost.com.bibliotecavirtual.unad.edu.co/login.aspx?direct=tr
ue&db=nlebk&AN=318032&lang=es&site=eds-live&scope=site
o Jurado Málaga, E. (2008). Teoría de autómatas y lenguajes formales. Spain,
Europe: Universidad de Extremadura. Servicio de Publicaciones. Retrieved
from
http://search.ebscohost.com.bibliotecavirtual.unad.edu.co/login.aspx?direct=tr
ue&db=edsbas&AN=edsbas.62161440&lang=es&site=eds-live&scope=site
o Balari, S. (2014). Teoría de lenguajes formales : una introducción para
lingüistas. Spain, Europe. Retrieved from
http://search.ebscohost.com.bibliotecavirtual.unad.edu.co/login.aspx?direct=tr
ue&db=edsbas&AN=edsbas.5B00A77B&lang=es&site=eds-live&scope=site
o Alfonseca Cubero, E. (2011). Teoría de autómatas y lenguajes formales.
Retrieved from
http://search.ebscohost.com.bibliotecavirtual.unad.edu.co/login.aspx?direct=tr
ue&db=edselb&AN=edselb.3195129&lang=es&site=eds-live&scope=site
o Estefan Samir, (2018). Qué es el Test de Turing. Recuperado
de https://techcetera.co/que-es-el-test-de-turing/
o Eldiario.es, Alan Turing, el padre de la computación que ganó una guerra.
Recuperado de https://www.eldiario.es/turing/Alan-Turing-padre-computacion-
guerra_0_225727488.html
o Bejarano Pablo. (2014). Código Enigma, descifrado: el papel de Turing en
la Segunda Guerra Mundial. Recuperado de
https://www.eldiario.es/turing/criptografia/alan-turing-enigma-
codigo_0_226078042.html