AUTÓMATAS Y LENGUAJES FORMALES

FASE 1: PRE SABERES

PRESENTADO POR:

CÉSAR ARMANDO CRUZ

CÓDIGO: 79782158

PRESENTADO A:

VERMEN RAINER AYALA

TUTOR

GRUPO: 301405_67

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA

FEBRERO 2020
Actividad 1:

El estudiante busca mínimo 6 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
la historia y evolución de la teoría de autómatas y lenguajes formales, sus orígenes, los
precursores y los distintos campos en los que repercute esta área del conocimiento. Debe agregar
la referencia bajo norma APA. Presenta una síntesis de cada una de ellas. Para realizar la
actividad el estudiante realiza los siguientes pasos:

1. Búsqueda de artículos científicos. El estudiante selecciona las bases de datos donde desea
realizar la búsqueda, mínimo debe seleccionar 3, selecciona las palabras claves, las cuales
identifican su búsqueda. Las bases de datos que se pueden utilizar son: Science direct,
EBSCO, Scopus y / o una base con la que cuente la universidad.
2. Se deben incorporar por lo menos dos artículos en inglés para consolidar las habilidades
de lectura en un idioma extranjero. La información se registra en la siguiente tabla.
3. De cada referencia se debe realizar la síntesis

Base de Datos Bibliografía: Articulo Síntesis

cientifíco – APA 6.0
Science direct J.J. Castro-Schez, J. Gallardo, This work focuses on the field
R. Miguel, D. Vallejo, of formal languages and
Knowledge-based systems to automata theory, describing
enhance learning: A case the process of building an
study on formal languages online teaching tool able to
and automata theory, help students learn by
Knowledge-Based Systems, themselves the fundamentals
Volume 122, of this subject.
2017, Pages 180-198,
ISSN 0950-7051,
https://doi.org/10.1016/j.knos
ys.2017.02.007.
(http://www.sciencedirect.co
m/science/article/pii/S095070
 5117300655)
James Worthington, A In this paper, we apply the
bialgebraic approach to defining diagrams of algebras,
automata and formal coalgebras, and bialgebras to
language theory, Annals of categories of semimodules and
Pure and Applied Logic, semimodule homomorphisms
Volume 163, Issue 7, 2012, over a commutative semiring.
Pages 745-762, ISSN 0168- We then treat automata as
0072, certain representation objects
https://doi.org/10.1016/j.apal. of algebras and formal
2011.09.019. languages as elements of dual
(http://www.sciencedirect.co algebras of coalgebras. Using
m/science/article/pii/ this perspective, we
demonstrate many analogies
between the two theories.
Finally, we show that there is
an adjunction between the
category of “algebraic”
automata and the category of
deterministic automata.

EBSCO Referencias Es un libro que contribuye al

Jurado Málaga, E. (2008). estudio de la teoría de
Teoría de autómatas y autómatas y lenguajes
lenguajes formales. Spain, formales, enfocado a la
Europe: Universidad de existencia entre maquinas
Extremadura. Servicio de programables y gramáticas
Publicaciones. Retrieved formales, desarrollando
from estructuralmente el diseño de
http://search.ebscohost.com.b lenguajes de programación y
ibliotecavirtual.unad.edu.co/l sus correspondientes
ogin.aspx? traductores que nos adentran a
direct=true&db=edsbas&AN campos de la computabilidad y
=edsbas.62161440&lang=es la complejidad algorítmica.
&site=eds-live&scope=site
Referencias Es un artículo basado en la
Gallardo Casero, J., Castro experiencia del uso de la
Sánchez, J. J., & Sabariego, herramienta SELFA-Pro la
R. M. (2016). Experiencias cual ha sido diseñada para
de uso y evaluación de una resolver ejercicios de la
herramienta de apoyo a la materia autómatas y lenguajes
enseñanza de Teoría de formales.
Autómatas y Lenguajes
Formales. Retrieved from
http://search.ebscohost.com.b
ibliotecavirtual.unad.edu.co/l
ogin.aspx?
direct=true&db=edsbas&AN
=edsbas.D277F8B6&lang=es
&site=eds-live&scope=site
Referencias Es un artículo que nos adentra
ROJAS HERNANDEZ al manejo de estructuras de
RAFAEL. (2016). datos, principios básicos para
Diapositivas De La Unidad el diseño y la simplificación de
De Aprendizaje “Autómatas circuitos lógicos, manejo de
Y Lenguajes Formales, autómatas en relación con
Unidad De Competencia Ii: lenguajes de programación.
Manejar La Teoría De
Autómatas Para Conocer Su
Relación Con Los Lenguajes
De Programación.” Retrieved
from
http://search.ebscohost.com.b
ibliotecavirtual.unad.edu.co/l
 ogin.aspx?
direct=true&db=edsbas&AN
=edsbas.DC02E968&lang=es
&site=eds-live&scope=site
SCOPUS Leibniz International In weighted automata theory,
Proceedings in Informatics, many classical results on
LIPIcs (2019). Greibach formal languages have been
normal form for ω-algebraic extended into a quantitative
systems and weighted simple setting. Here, we investigate
ω-pushdown autómata. weighted context-free
Volume 150, December languages of infinite words, a
2019, Article number 38 generalization of ω-context-
39th IARCS Annual free languages (Cohen, Gold
Conference on Foundations 1977) and an extension of
of Software Technology and weighted context-free
Theoretical Computer languages of finite words
Science, FSTTCS 2019; (Chomsky, Schützenberger
Indian Institute of 1963). As in the theory of
Technology formal grammars, these
BombayBombay; India; 11 weighted languages, or ω-
December 2019 through 13 algebraic series, can be
December 2019; Code represented as solutions of
155954 mixed ω-algebraic systems of
equations and by weighted ω-
https://www-scopus- pushdown automata.
com.bibliotecavirtual.unad.ed
u.co/record/display.uri?
eid=2-s2.0-
85077473143&origin=results
list&sort=plf-
f&src=s&st1=theory+of+auto
matons+and+formal+languag
 es&st2=&sid=44cbc59b8f16
0d5dc800ba75285636e7&sot
=b&sdt=b&sl=56&s=TITLE-
ABS-KEY
%28theory+of+automatons+a
nd+formal+languages
%29&relpos=4&citeCnt=0&s
earchTerm=

La que el estudiante Sanchis A. Introducción a la Es un artículo recopilado por

seleccione teoría de Autómatas y la docente Araceli Sanchis en
Lenguajes Formales. el cual nos explica la
http://ocw.uc3m.es/ingenieria introducción a el porque de la
-informatica/teoria-de- teoría de autómatas, la relación
automatas-y-lenguajes- con otras áreas de
formales/material-de-clase- conocimiento y las maquinas,
1/tema-i-introduccion lenguajes y algoritmos.

Actividad 2:

Realizar un crucigrama 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.

Horizontales:

1. Conocido por su teorema de incompletitud.

2. Cuerpo de conocimiento que se ocupa del estudio de los fundamentos teóricos de la

información y la computación y de su implementación y aplicación en sistemas computacionales.
3. programa informático que traduce un programa escrito en un lenguaje de programación a otro
lenguaje de programación.

4. Es un campo de aplicación y determina el comportamiento de personajes.

5. En 1957 publica estructuras sintácticas en el que aparece la clasificación de gramáticas.

Verticales:

6. Conjunto de tres libros con las bases de la matemática escritos por Bertrand Russell y Alfred
North Whitehead publicados entre 1910 y 1913. Este trabajo constituye un intento de deducir la
mayor parte de los conocimientos matemáticos de la época a partir de un conjunto de principios o
axiomas.

7. Campo de aplicación, técnica que protege documentos y datos. Funciona a través de la

utilización de cifras o códigos para escribir algo secreto en documentos y datos confidenciales
que circulan en redes locales o en internet.

8. Desarrolla el cálculo lambda, basado en funciones recursivas. (Base de los lenguajes

funcionales).

9. Es un modelo computacional que realiza una lectura/escritura de manera automática sobre una
entrada llamada cinta, generando una salida en esta misma.

10. Proposición que se considera «evidente» y se acepta sin requerir demostración previa. En un
sistema hipotético-deductivo es toda proposición no deducida, sino que constituye una regla
general de pensamiento lógico.

11. Son el cerebro del sistema, encargado de procesar toda la información. Básicamente, es el
«cerebro» de la computadora. Prácticamente, todo pasa por él, ya que es el responsable de
ejecutar todas las instrucciones existentes.

12. Es la serie de tecnologías que sirven para emular características o capacidades exclusivas del
intelecto humano.

13. Conocido por la aplicación de la lógica matemática a los circuitos electrónicos.

6
1
 2 7 8 12

11
10

9
3

13

Actividad 3:

Dar respuesta a los siguientes interrogantes:

1. ¿Qué es el test de Turing? Explique cómo funciona.

Son pruebas que propuso Alan Turing para evaluar a las máquinas, y son preguntas que
una persona hace a una maquina/robot/inteligencia artificial para ver su comportamiento y
ver si puede reaccionar de forma similar a la de las personas.
En estas pruebas cada miembro del test sabe su rol, es decir, el humano sabe su naturaleza
humana y sabe que es el entrevistador y la maquina sabe que es la máquina y está siendo
interrogada.
Las pruebas son muy importantes para conocer el grado de desarrollo de los robots; no se
aplican para conocer el nivel de inteligencia, sino para saber si estas máquinas se
comportan como humanos.
La prueba de Turing evalúa única y estrictamente cómo se comporta el sujeto
 La maquina debe reaccionar como lo haría una persona, con emociones, con limitaciones
y con las características propias de la raza humana.
Anteriormente estas pruebas se hacían a computadoras, pero con el desarrollo de los
robots y las máquinas, ahora estamos a un paso de lo que se ve en las películas de ciencia
ficción con robots de apariencia humana, a los que se prueba para conocer y determinar su
tipo de inteligencia.
2. ¿Cuáles fueron los aportes más significativos de Alan Turing en la computación?
Alan Turing es considerado como uno de los mejores científicos del siglo XX. Pero,
¿quién era Turing y qué logró durante su trágicamente corta vida de 41 años? Mejor
conocido como el genio que rompió los códigos más secretos de Alemania durante la
guerra de 1939-45, Turing también fue el padre de la computadora moderna. Hoy, todos
los que hacen clic para abrir están familiarizados con el impacto de las ideas de Turing.
Aquí, B. Jack Copeland ofrece una descripción de la vida y el trabajo de Turing,
explorando los elementos clave de su historia de vida junto con sus ideas y contribuciones
principales. El libro destaca las contribuciones de Turing a la informática y la informática,
incluida la Inteligencia Artificial y la Vida Artificial, y el énfasis está en la relevancia de
su trabajo para los desarrollos modernos. La historia de sus contribuciones al descifrado
de códigos durante la Segunda Guerra Mundial se desarrolla en el contexto de su
pensamiento acerca de las máquinas, como es el relato de su trabajo en los fundamentos
de las matemáticas.
Aportes:
1. Máquina de Turing

Elemento fundamental en la teoría de la computación, este dispositivo se encarga del

proceso automático para determinar si un problema matemático puede ser resuelto o no
mediante un procedimiento definido. Fue ideado para resolver una operación concreta.
2. Máquina universal de Turing
Turing la concibió en 1936, el mismo año que teorizó acerca de la máquina de Turing. Su
punto de partida es el mismo que el de aquella: resolver todos los problemas matemáticos
que pueden expresarse mediante un algoritmo. La diferencia radica en que la máquina
 universal se asemeja a un ordenador gracias a su capacidad de llevar a cabo múltiples
procesos y de ejecutar la función de cualquier máquina de Turing.
3. El concepto de hipercomputación
La hipercomputación es la computación o resolución de las tareas que no puede resolver
una máquina de Turing. Partiendo de esta idea, en 1938, Turing lanzó la idea de las
máquinas oráculo, dedicadas a abordar las tareas que no pueden ser resueltas mediante un
algoritmo.
4. Pilot Model ACE
Basada en 1950 en un diseño de Turing, fue la primera computadora electrónica
desarrollada en Gran Bretaña. Es el desarrollo práctico (no mecánico) de la máquina
universal de Turing. Almacenaba un programa en su memoria y gestionaba un lenguaje de
programación, el Abbreviated Computer Instructions.
5. Test de Turing
Turing defendía que, si una máquina tiene un comportamiento inteligente en todos los
aspectos, entonces es inteligente. Para someter esto a examen, creó el test de Turing: una
persona actuando como juez se coloca en una habitación y, en otra, una persona y un
ordenador. El juez tiene que saber quién es quién a partir de sus respuestas escritas. Si no
los distingue, significa que el ordenador ha superado la prueba. Hasta hoy ninguno lo ha
logrado.
6. Biología matemática
De 1952 a 1954, cuando murió, Turing se dedicó al estudio de la morfogénesis, el proceso
biológico que lleva a que un organismo desarrolle su forma. Así, Turing lanzó la idea de
que la repetición de patrones regulares en el sistema biológico animal, como las rayas en
las pieles de las cebras o de los tigres, se debía a dos morfógenos (sustancias químicas)
que trabajan a la vez como activadores e inhibidores. Los científicos del King’s College
confirmaron la intuición de Turing en 2012.
3. ¿Qué es el código Enigma y como funcionó, quien lo descubrió
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.
La máquina Enigma utilizada por la mayor parte de las comunicaciones alemanas durante
la guerra tenía un funcionamiento complejo. 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. El Ejército alemán complicaba más las cosas cambiando la
posición de los rotores una vez al mes. Los mandos alemanes de la época veían a Enigma
como indescifrable.
El ingenioso trabajo de la británica Joan Clarke (1917–1996) como criptoanalista durante
la Segunda Guerra Mundial salvó incontables vidas.
Su talento fue suficientemente formidable como para ganarse el respeto de algunas de las
mentes más brillantes del siglo XX, a pesar del sexismo de aquel tiempo.
Pero, aun así, la historia la ha tratado con menos consideración que a su colega en
Bletchley Park, la Escuela de Códigos y Cifrado del gobierno de Reino Unido (GC&CS,
por sus siglas en inglés), situado a 80 kilómetros de Londres.
Alan Turing, a diferencia de la desconocida Clarke, es recordado como un héroe.
Sin embargo, la británica trabajó en el centro neurálgico para quebrar el tráfico de los
mensajes enemigos, aquellos creados por los cifradores alemanes con una máquina
llamada Enigma.

BIBLIOGRAFIA
Miller Joe. (noviembre 2014). BBC. News. Joan Clarke, la mujer que descifró el enigma
alemán en la Segunda Guerra Mundial.
https://www.bbc.com/mundo/noticias/2014/11/141111_reino_unido_joan_clarke_
mujer_enigma_lv
Bejarano Pablo. (febrero 2014). El diario.es. Criptografía. Código Enigma, descifrado: el
papel de Turing en la Segunda Guerra Mundial.
 https://www.eldiario.es/turing/criptografia/alan-turing-enigma-
codigo_0_226078042.html
Historia y vida. (junio 2018). La vanguardia. ¿Qué aportó a la ciencia Alan Turing?
https://www.lavanguardia.com/historiayvida/historia-
contemporanea/20180611/47312986353/que-aporto-a-la-ciencia-alan-turing.html
Pellegrino Carlos. Henciclopedia. Autómatas, goles, límites de lo natural
http://www.henciclopedia.org.uy/autores/Pellegrino/Automatas.htm