Autómatas y Lenguajes formarles

Fase 1

Actividad de Pre saberes

Tutor

Vermen Rainer Ayala

Grupo

301405_31

Por:

Sergio Zapata Espinosa

Código71718620

11/02/2020

CEAD

Medellín
 Introducción

Por medio de este trabajo pretendemos conocer los distintos tipos de

autómatas, gramática y lenguajes con el fin de comprender y resolver
diferentes tipos de problemas, utilizando los recurso bibliográficos de la UNAD,
conociendo algo de la historia, evolución y aplicación por medio de un
crucigrama y resolviendo una serie de preguntas sobre Alan Turing.
 Actividades a desarrollar
Actividad 1:

El estudiante busca mínimo 6libros, 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 busqueda. 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 ingles 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
A general overview of formal
languages for individual-
based modelling of
ecosystems
Journal of Logical and
Algebraic Methods in
ProgrammingVolume
104April 2019Pages 117-126
En este artículo, se presenta
una descripción general de los
lenguajes de modelado
existentes basados en cálculos
de proceso. También se discute
brevemente, otros enfoques,
tales como sistemas P,
autómatas celulares y redes de
Petri. Finalmente, se relacionan
las ventajss y desventajas de
estos lenguajes de modelado y
se proponen algunas
direcciones de investigación
futuras.

Information and Se investiga la capacidad

ComputationIn press, de decisión del problema
corrected proofAvailable del vacío para tres clases
online 10 December de autómatas distribuidos.
2019Article 104503 Estos dispositivos operan
en gráficos dirigidos
finitos, actuando como
redes de máquinas de
estado finito idénticas que
se comunican en una
secuencia infinita de
rondas sincrónicas. Se
muestra que el problema
es decidible en LogSpace
para una clase de
autómatas olvidadizos,
donde los nodos ven los
mensajes recibidos de sus
vecinos pero no pueden
recordar su propio estado.
Cuando se limitan a las
familias apropiadas de
gráficos, estos autómatas
olvidadizos son
equivalentes a los
autómatas clásicos de
palabras finitas, pero
estrictamente más
expresivos que los
autómatas de árboles
finitos. Por otro lado,
también se muestra que el
problema del vacío es
indecidible en general.
Esto ya es válido para dos
clases muy restringidas de
autómatas distribuidos:
aquellos que rechazan de
inmediato si reciben más
de un mensaje por ronda,
y aquellos cuyo diagrama
de estado debe ser
acíclico, excepto los
bucles automáticos.
Además, para demostrar
la flexibilidad de los
autómatas distribuidos en
la simulación de diferentes
modelos de computación,
caracterización de los

History-Preserving
Bisimilarity for Higher-
Dimensional Automata via
Open Maps
https://doi.org/10.1016/j.entc
s.2013.09.012
EBSCO Salomaa, Arto. Series:
Encyclopedia of Mathematics
and Its Applications, v. 25.
Cambridge [Cambridgeshire] :
Cambridge University Press.
1985
problemas de satisfacción
de restricciones
identificando una clase de
autómatas con
exactamente la misma
potencia computacional.
Se muestra que la
bisimilaridad conservadora
de la historia para
autómatas de dimensiones
superiores tiene una
caracterización simple
directamente en términos
de transiciones de
dimensiones superiores.
Esto implica que es
decidible para autómatas
finitos de dimensiones
superiores. Para llegar a la
caracterización, aplicamos
el marco de mapas
abiertos de Joyal, Nielsen
y Winskel en la categoría
de despliegues de
conjuntos precubicales.
Una introducción a ciertos
temas matemáticos
centrales para la
informática teórica:
computabilidad y
funciones recursivas,
lenguajes formales y
autómatas, complejidad
computacional y
criptografía. Sin sacrificar
la legibilidad, la
presentación es
esencialmente autónoma,
con pruebas detalladas de
todas las declaraciones
proporcionadas. El
profesor Salomaa es
conocido por sus libros en
esta área. El presente
trabajo proporciona una
idea ...
 Chen, Wenzhe. Series:
Advanced Materials Research,
v. 468-471. Durnten-Zurich,
Switzerland : Trans Tech
Publications Ltd. 2012
CALDWELL, D. G. Robotics
and Automation in the Food
Industry : Current and Future
Technologies. Cambridge, UK:
Woodhead Publishing, 2013.
ISBN 9781845698010.
Disponível em: https://search-
ebscohost-
com.bibliotecavirtual.unad.edu.c
o/login.aspx?
direct=true&db=e000xww&AN=
680629&lang=es&site=ehost-
live. Acesso em: 11 fev. 2020.
SCOPUS Applications of artificial
neural networks and genetic
algorithms to agricultural
systems
(1997) Computers and agroecológicas, el
Los volúmenes actuales
brindan un conocimiento
actualizado, completo y
mundial de la ciencia e
ingeniería de fabricación,
que incluye: materiales
compuestos avanzados,
diseño mecánico
avanzado, nuevos
materiales y procesos,
tecnología de fabricación
avanzada, equipos de
automatización y sistemas.
Todos los documentos
incluidos en esos
volúmenes ya pasaron la
estricta revisión por pares
por parte de 2 a 5 árbitros
expertos y fueron
aceptados para su
publicación. Esperamos
que esos volúmenes no
solo brinden a los lectores
una visión general de los
últimos avances, sino que
también brinden a los
investigadores un valioso
resumen y referencia en
este campo.
La seguridad y la calidad es lo
primero que concierne a las
industrias a limenticias,por eso
requieren de desarrollo de
procesos de control por medio
de tecnología
electrónica,ingeniería de
sistemas
Comenzando por ilustrar el
papel de la variabilidad y
la incertidumbre en las
observaciones y
mediciones
Electronics in documento analiza las
Agriculture, 18 (2-3), pp. 71- posibilidades de aplicar
72. Cited 42 times. redes neuronales o redes
doi: 10.1016/S0168- neuronales en
1699(97)00020-3 combinación con técnicas
difusas en el campo de la
modelización
agroecológica. Debido a la
falta de antecedentes
teóricos consistentes por
un lado, pero la
disponibilidad de muchas
observaciones y
conocimiento empírico
subjetivo por el otro lado,
la investigación de muchas
cuestiones científicas y el
manejo de muchas
preguntas prácticas
depende mucho de los
datos en agroecología. Por
lo tanto, las redes
neuronales y otras
técnicas de modelado
basadas en datos parecen
ser herramientas de
modelado adecuadas. Dos
aplicaciones bastante
diferentes forman la parte
principal del documento:
redes neuronales para
modelar procesos de
desarrollo y materia en
agroecosistemas y un
enfoque combinado de
redes neuronales difusas
para modelar hábitats de
plantas y animales (la
familia modelo EMU-NF).

How Developmental Los últimos desarrollos en

Robotics can give a Inteligencia Artificial y los
methodological contribute to avances paralelos de la
the psychology | [Il Robótica del Desarrollo
contributo metodologico pueden ofrecer un soporte
della Developmental metodológico válido para
Robotics alla psicologia] la investigación en
psicología y sus
 aplicaciones. Este enfoque
Conti, D., Di Nuovo, S., Cangelosi, A.
interdisciplinario, basado
Ricerche di en la estrecha
Psicologia colaboración de las
2018 disciplinas de la robótica
41(2), pp. 221-
239 cognitiva y la psicología,
se inspira directamente a
partir de los principios y
mecanismos de desarrollo
observados en los niños, y
propone, a través de
estudios de simulación en
el laboratorio, nuevas
hipótesis que pueden
verificarse con niños
reales. Ilustraremos la
utilidad de este enfoque
presentando un estudio de
caso bebé-robot sobre el
papel de la encarnación
durante el aprendizaje
temprano de las palabras,
así como una descripción
general de varios modelos
de robótica del desarrollo
de la psicología
perceptiva, social y del
lenguaje. Se subrayarán
algunas limitaciones y
posibles correctivos de las
aplicaciones de la robótica
del desarrollo a las
intervenciones
psicológicas.

Computing machines can't be Según la sabiduría

intelligent (...and Turing said convencional, Turing
so) (1950) dijo que las
máquinas informáticas
200 Minds and Machines
Kugel, P. 2 pueden ser inteligentes. lo
12(4), pp. 563-579
que Turing realmente dijo
fue que las máquinas
informáticas, las
computadoras limitadas a
la informática, solo pueden
falsificar la inteligencia. Si
queremos que las
computadoras se vuelvan

La que el estudiante Más allá del reloj como modelo
seleccione del ser vivo: la distinción
SciELO máquina natural y máquina
artificial en leibniz Universidad
de Playa Ancha (UPLA).
Valparaíso, Chile.
genuinamente inteligentes,
tendremos que darles
suficiente "iniciativa"
(Turing, 1948, p. 21) para
hacer más que computar.
En este artículo, se
desarrollar esta idea. Se
explica cómo dar a las
computadoras más
"iniciativa" puede
permitirles hacer más que
computar. Y quiero decir
por qué creo (y creo que
Turing creía) que tendrán
que ir más allá de la
computación antes de que
puedan volverse
realmente inteligentes.
Durante el siglo XVII, el reloj
parece el modelo más
adecuado para pensar los seres
vivos. El filósofo alemán G. W.
Leibniz (1646-1716) es parte de
la tradición mecanicista que
concibe los seres vivos a partir
del modelo del reloj o de los
autómatas, pero establece una
distinción esencial entre
máquinas naturales y
artificiales, que muestra los
límites de este modelo. Las
primeras son máquinas
infinitamente complejas,
máquinas dentro de máquinas
ad infinitum, las segundas no,
alcanzan un límite de
complejidad. Esta distinción
obliga a ir más allá del reloj
como modelo de los seres
vivos, pues este modelo resulta
insuficiente para comprender la
dinámica propia de los seres
vivos, en al menos dos
aspectos: a) deja sin explicar el
origen de la estructura o forma
del ser vivo; b) no establece un
principio interno de actividad
que fundamente la unidad
dinámica y estructural del ser
vivo. Con su noción de
organismo o máquina natural,
Leibniz intenta resolver estas
insuficiencias del modelo

History of robotics: from
Archytas of Tarentum until Da
Vinci robot (Part I)
Sánchez Martín F.M., Millán
Rodríguez F., Salvador Bayarri
J., Palou Redorta J., Rodríguez
Escovar F., Esquena Fernández
S., Villavicencio Mavrich H.
INPUT/OUTPUT AUTÓMATAS
COMO LENGUAJE DE
puramente mecánico: a) en su
propuesta el ser vivo no se
constituye de manera mecánica
o serial, sino de una vez, por un
acto de creación; b) la
conservación del ser vivo en el
tiempo sólo es comprensible a
partir de un principio de
actividad intrínseca que dota de
unidad, actividad y estructura al
viviente.
La cirugía robótica es la última
novedad tecnológica en
urología. Para conocer como
funcionan los nuevos robots es
interesante conocer su historia.
La fabricación de máquinas que
imitan al ser humano se ha
mantenido desde hace más de
4.000 años. Existen referencias
a King-su Tse, China clásica,
que inventa un autómata en el
500 a. C. Arquitas de Tarento
(hacia 400 a.C.) es considerado
el padre de la ingeniería
mecánica, y uno de los
maestros clásicos de la robótica
occidental. Figuras como Heron
de Alejandría, Hsieh-Fec, Al-
Jazari, Roger Bacon, Juanelo
Turriano, Leonardo da Vinci,
Vaucanson o von Kempelen
construyeron robots en la edad
media, el renacimiento y el
clasicismo. En el siglo XIX
existe un auge de los autómatas
y se producen importantes
avances en todas las ramas de
la ingeniería. En 1942 Asimov
publica las tres leyes de la
robótica coincidiendo con el
inicio de la robótica moderna,
basada en los avances en
mecánica, electrónica e
informática. El desarrollo de
robots en el terreno industrial,
bélico y aeroespacial durante el
siglo XX permite la aparición de
robots de gran precisión, útiles
en cirugía, como el robot
quirúrgico da Vinci (Intuitive
Surgical Inc, Sunnyvale, CA,
USA).
An architectural description
language (ADL) must be able to
model software components,
connectors and configurations
with a series of well defined
 characteristics. Input/Output
Automata (IOA) were not
DEFINICIÓN created as an ADL but as a
DE ARQUITECTURAS specification language for
asinchronoust concurrent
systems. In this paper we show
María Cecilia Bastarrica1
how IOA can be used as an
David Gómez1 Cristian ADL with multiple advantages.
Wilckens1

1
{cecilia,dagomez,cwilcken}@dc
c.uchile.cl, Departamento de
Ciencias de la Computación,
Facultad de Ciencias Físicas y
Matemáticas, Universidad de
Chile. Blanco Encalada 2120,
Santiago, Chile

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.
1 3 7 8
A U T O M A T A
V H

4
B O M B E O
A E

2
F K
U R

5 12 6
O E S T O C A
S T I C O
 R N F
U A N

M S D
R N

A
I S

10
L C A D E N A
N O

11
S I S T E M A
G N

Verticales
2. Símbolos primitivos y reglas para unirlos (tipo de lenguaje)
3. Cadena de caracteres en cierto lenguaje de programación
6. Considerado padre de la computación e informática moderna
7. Construyo varios muñecos animados (flautista)
8. Molino de viento para accionar un órgano (Caja mágica de?)
12. Abreviatura de autómata finito determinista

Horizontales
1. Modelo Matemático para una maquina de estado finito
4. Lema que se usa para demostrar que un lenguaje no es regular
5. Proceso cuyo comportamiento no es determinista
10. Secuencia finita de símbolos de un determinado alfabeto
11. Conjunto de elementos que regulan el funcionamiento de algo

Actividad 3:
Dar respuesta a los siguientes interrogantes:
1. Que es el test de Turing? Explique cómo funciona

El test de Turing (o prueba de Turing) 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.

 La idea es que si luego de 5 minutos de conversación el humano no puede

decir con certeza si su interlocutor es una máquina o una persona, la máquina
pasó el test.

1. Cuáles fueron los aportes más significativos de Alan turing en la

computación?

Turing demostró que había problemas irresolubles, es decir, sin solución

algorítmica. Para dar forma al concepto ideó la famosa máquina que lleva su
nombre, un dispositivo imaginario que, una vez construido, podría ejecutar
cualquier operación matemática resoluble por medio de un algoritmo, y que, en
el caso de programarse, se transformaría en un ordenador. Pero Turing jamás
llegó a materializar su proyecto, al no contar con los medios técnicos
necesarios.

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.
Turing lo logró. De su ingenio nació el diseño de las primeras máquinas
Bombe, dispositivos electromecánicos, construidos exclusivamente para
romper los códigos de Enigma. Se produjeron 211 unidades en Bletchley Park
y unas 120 en Estados Unidos. Pero, terminada la guerra, el primer ministro
británico ordenaría destruirlas junto con los documentos vinculados a su
creación. La contribución de Turing en Bletchley Park se reveló crucial para el
desenlace de la guerra a favor de los aliados.

Máquinas con cerebro

Tras el conflicto, Turing se planteó el reto de construir una máquina que tuviera
las mismas capacidades que el cerebro humano. Intervino en el diseño de la
ACE (siglas en inglés de Automatic Computer Engine), un ordenador digital
electrónico concebido para resolver más de un propósito y capaz de almacenar
un programa en su memoria.

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.

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.

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.

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.

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.

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.

1. Que es el código Enigma y como funcionó, quien lo descubrió?

El código Enigma es el sistema de comunicación cifrada que utilizó Alemania
en la segunda guerra mundial, se basaba en cinco rotores que variaban cada
vez que se pulsaba una tecla de forma que cada letra del alfabeto ofrecía un
número altísimo de posibilidades y cada mes los alemanes cambiaban la
posición de los rotores.
Enigma fue inventada por un ingeniero alemán Arthur Scherbius experto en
electromecánica con el fin de mejorar la criptografía de los ejércitos
 Conclusiones

Por medio este trabajo logramos entender la historia, evolución y aplicación de

los autómatas y lenguajes formales por medio de una investigación de
diferentes artículos en bases de datos científicas, igualmente por medio de un
crucigrama y la resolución de una serie de preguntas sobre Alan Turing
 Referencias Bibliográficas

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De

Lenguajes, Gramáticas Y Autómatas Para Informáticos. (pp.
127 - 142). Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?
direct=true&db=nlebk&AN=318032&lang=es&site=edslive&e
bv=EB&ppid=pp_Cover

Hernández, R. (2010). Practique la teoría de autómatas y

lenguajes formales. (pp. 1 -124). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.a
ction?docID=10566114&ppg=10

Alfonseca, C., Alfonseca, M., Mariyón, S. (2009). Teoría de

autómatas y lenguajes formales.  (pp. 71 - 115). Recuperado
de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.a
ction?docID=10498456&ppg=6

Millán, J., Antonio J. (2009). Compiladores y procesadores de

lenguajes. (pp. 28-62). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.ac
tion?docID=10844351

Ferrando, J.C., and Gregori, V. (2012). Matemática discreta

(2a. ed.). (pp. 207-232). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.a
ction?ppg=260&docID=10751543&tm=1481476339478