Aportes Individuales

Fase 1 Pre Saberes

Presentado Por:
Lizeth Yaniny Pillimué
C.C 1.061.222.075
Estudiante

Presentado A:
Ángela María González
Tutor(a)

Autómatas y Lenguajes Formales

Grupo 89

Universidad Nacional Abierta y a Distancia – UNAD

Cead La Plata Huilla
Febrero 2020
Actividad 1:

Base de Datos Bibliografía: Articulo Síntesis

científico – APA 6.0
Science direct Meer Klaus, Naif Ameen.
(2019). Periodic
generalized automata over
the reals. Retrieved from
https://www-sciencedirect-
com.bibliotecavirtual.unad.
edu.co/science/article/pii/S
0890540119300689#!
Chatterjee Kingshuk,
Sankar Ray b Kumar.
Informática Teórica.
Recuperado de
https://www-sciencedirect-
com.bibliotecavirtual.unad.
edu.co/science/article/pii/S
0304397519301628
The model mimics the finite automata
over finite structures but has an
additional ability to perform in a
restricted way operations attached to
the structure under consideration.
Los autómatas Watson-Crick son
autómatas finitos que tienen dos
cabezales independientes que trabajan
en hilos dobles. Los caracteres en las
posiciones correspondientes de las
dos cadenas están conectados por una
relación de complementariedad similar
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).
Teoría de autómatas y
lenguajes formales. Spain,
Europe: Universidad de
Extremadura. Servicio de
Publicaciones. Retrieved
from
http://search.ebscohost.co
m.bibliotecavirtual.unad.ed
u.co/login.aspx?direct=true
&db=edsbas&AN=edsbas.
62161440&lang=es&site=e
ds-live&scope=site
SCOPUS
La que el Balari, S. (2014). Teoría
estudiante de lenguajes formales :
seleccione una introducción para
lingüistas. Spain, Europe.
Retrieved from
http://search.ebscohost.co
m.bibliotecavirtual.unad.ed
u.co/login.aspx?direct=true
&db=edsbas&AN=edsbas.
5B00A77B&lang=es&site=
eds-live&scope=site
Alfonseca Cubero, E.
(2011). Teoría de
utilización de un lenguaje, que
podemos definir como un conjunto de
palabras
(También llamadas cadenas) formadas
por símbolos de un alfabeto.
En los años 30, década en la que el
mundo de las matemáticas se hallaba
ocupado, sobretodo, en temas como la
lógica y la definición de sistemas
axiomáticos.
A principios del siglo XX, muchos
matemáticos creían que era posible
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.
La teoría de los lenguajes formales
estudia unas entidades matemáticas
abstractas denominadas lenguajes; sin
embargo, como veremos, los lenguajes
formales
pueden, en determinadas
circunstancias, servirnos como
modelos abstractos de determinadas
propiedades de las lenguas naturales,
de ahí la importancia de conocer
los fundamentos de la teoría.
Un lenguaje formal (en adelante,
simplemente «lenguaje») es un
conjunto,
finito o infinito, de cadenas definidas
sobre un alfabeto finito.
Ramas clásicas de la informática a la
vez una de las más antiguas pues
autómatas y lenguajes antecede a las computadoras
formales. Retrieved from electrónicas y a las técnicas
http://search.ebscohost.co desarrolladas para programarlas.
m.bibliotecavirtual.unad.ed
u.co/login.aspx?direct=true
&db=edselb&AN=edselb.3
195129&lang=es&site=eds
-live&scope=site
Actividad 2:
Actividad 3:
1. Que 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?
Los aportes más significativos son:
 El ordenador universal de programa integrado.
 Ordenador de almacenamiento programado.
 Test de Turing
 Vida Artificial
3. Que 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/
S0890540119300689#!
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.
Retrieved from
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