Autómatas y Lenguajes Formales

Fase 1 Pre saberes

Presentado Por:

Yespeter Ancervic Medina Becerra

Grupo:

301405_27

Tutor:

ANGELA MARIA GONZALEZ

Universidad nacional abierta y a distancia UNAD

Escuela De Ciencias Básicas Tecnología e Ingeniería

Ingeniería De Sistemas

CEAD – Bogotá

Enero - 2020
1. 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.
2. De cada referencia se debe realizar la síntesis
Base de Datos Bibliografía: Articulo cientifíco – APA 6.0
Science direct DInAton: A Didactic and Interative Language
for Learning Adaptive Automata by
Construction, Italo S. Vegaa , João José
Netob, Francisco S. Marcondesc
Revista Iberoamericana de Automática e
Informática Industrial RIAI, Volume 13, Issue
3, July–September 2016, Pages 322-329.
WIKIPEDIA Wikipedia (2009). La teoría de automadas.
Reucuperado de:
https://es.wikipedia.org/wiki/Teor%C3%AD
a_de_aut%C3%B3matas
Síntesis
Para llegar a la comunidad interesada en
algunos elementos básicos de la teoría de los
autómatas adaptativos, se proyectó un
lenguaje interpretable llamado DInAton
(Lenguaje de construcción de autómatas
adaptable didáctico e interactivo). En el
diseño del lenguaje, se consideraron los
criterios de similitud, ortogonalidad y
parsimonia con la intención de preservar la
adhesión a la teoría adaptativa y de concebir
un entorno interactivo para aprender sus
fundamentos principales. Como resultado
de la investigación, obtuvimos una gramática
para el lenguaje DInAton que sirvió de base
para el desarrollo de un prototipo funcional
con soporte para la construcción
incremental de autómatas finitos y
adaptativos.
Metodología para la elaboración de los
programas a implementar en autómatas
programables. MEPUSMethodology for
developing programmes to implement in
programmable logic controllers (PLCs).
MEPUS
La teoría de autómatas es una rama de
la teoría de la computación que estudia las
máquinas abstractas y los problemas que
éstas son capaces de resolver. La teoría de
autómatas está estrechamente relacionada
con la teoría del lenguaje formal ya que los
autómatas son clasificados a menudo por la
clase de lenguajes formales que son
capaces de reconocer. También son de gran
utilidad en la teoría de la complejidad
computacional.
Un autómata es un modelo matemático
para una máquina de estado finito (FSM sus
siglas en inglés). Una FSM es una máquina
que, dada una entrada de símbolos, "salta"
a través de una serie de estados de acuerdo
a una función de transición (que puede ser
expresada como una tabla). En la variedad
común "Mealy" de FSMs, esta función de
transición dice al autómata a qué estado
cambiar dados unos determinados estado y
símbolo.
La entrada es leída símbolo por símbolo,
hasta que es "consumida" completamente
(piense en ésta como una cinta con una
palabra escrita en ella, que es leída por una
cabeza lectora del autómata; la cabeza se
mueve a lo largo de la cinta, leyendo un
 símbolo a la vez) una vez la entrada se ha
agotado, el autómata se detiene.
Dependiendo del estado en el que el
autómata finaliza se dice que este ha
aceptado o rechazado la entrada. Si éste
termina en el estado "acepta", el autómata
acepta la palabra. Si lo hace en el estado
"rechaza", el autómata rechazó la palabra,
el conjunto de todas las palabras aceptadas
por el autómata constituyen el lenguaje
aceptado por el mismo.

Teoria de autómatas y lenguajes fomrales El estudio de la teoría de autómatas y de

(Elena Jurado Malaga). Recuperado de :
https://biblioteca.unex.es/tesis/Teorias_aut
omatas.pdf
Universidad de Extremadura. Servicio de
Publicaciones C./ Caldereros, 2 - Planta 2ª -
10071 Cáceres (España) Telf. 927 257 041 -
Fax 927 257 046 publicac@unex.es
www.unex.es/publicaciones
los lenguajes formales se puede ubicar
en el campo científico de la Informática
Teórica, un campo clásico y
multidisciplinar
dentro de los estudios universitarios de
Inform´atica. Es un campo cl´asico debido
no
s´olo a su antig¨uedad (anterior a la
construcci´on de los primeros
ordenadores) sino,
sobre todo, a que sus contenidos
principales no dependen de los rápidos
avances
tecnológicos que han hecho que otras
ramas de la Informática deban adaptarse a
los
nuevos tiempos a un ritmo vertiginoso. Es
multidisciplinar porque en sus cimientos
encontramos campos tan aparentemente
dispares como la lingüística, las
matemáticas
o la electrónica.
El hecho de que esta materia no haya
sufrido grandes cambios en las ´ultimas
décadas no le resta un ´ápice de interés. El
estudio de las máquinas secuenciales que
abarca la teoría de autómatas, por una
parte, sienta las bases de la algoritmia y
permite modelar y diseñar soluciones para
un gran número de problemas. Por otra
parte, permite abordar cuestiones de gran
interés para un informático como que tipo
de problemas pueden ser resueltos por un
computador o, caso de existir una solución
computable para un problema, como
podemos medir la calidad (en términos de
eficacia) de dicha solución. Es decir, la
teoría de autómatas es la puerta que nos
permite
la entrada hacia campos tan interesantes
como la computabilidad y la complejidad
algorítmica. Además, una de las
principales aportaciones del estudio de los
lenguajes
formales, sobre todo desde un punto de
vista práctico, es su contribución al diseño
de
lenguajes de programación y a la
construcción de sus correspondientes
traductores.

SCOPUS Introducción a la programación de
autómatas programables usando CoDeSys,
Ridao Carlini, Miguel Ángel universidad de
Sevilla (2020). Recuperado de
https://editorial.us.es/es/detalle-
libro/719640/introduccion-a-la-
programacion-de-automatas-programables-
usando-codesys
La que el estudiante seleccione Elsevier (2016). Revista Iberoamericana de
Automática e Informática Industrial RIAI.
Recuperado de:
https://www.elsevier.es/es-revista-revista-
iberoamericana-automatica-e-informatica-
331-articulo-metodologia-elaboracion-
programas-implementar-automatas-
S1697791216300085 José M. Diez, Rafael
Montoya
, Pedro A. Blasco
Universidad Politécnica de Valencia,
Campus de Alcoy. Pl/Ferrandiz i Carbonell,
2, 03801 Alcoy, Alicante, España
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,
En este sentido la asignatura ayudar a
conocer con mayor profundidad la
estructura
de los lenguajes de programación y el
funcionamiento de los compiladores.
Los autómatas programables juegan un cada
vez más importante papel en la
automatización de procesos en la industria.
La norma IEC 61131 ha supuesto un
importante paso en la estandarización de
este tipo de dispositivos y muy
especialmente en lo referente a los
lenguajes de programación en los que
desarrollar los programas de control.
El objetivo de este libro es proporcionar al
lector una introducción a la programación de
autómatas programables siguiendo el
estándar de la norma IEC-61131-3, utilizando
para ello el software de desarrollo de
aplicaciones para autómatas programables
CodeSys. La obra está dirigida a personas
que, sin experiencia previa en
automatización, quieran tener un primer
contacto con la programación de autómatas
programables.
Con un enfoque práctico, a medida que el
lector progrese en el libro podrá ir
desarrollando sus propios programas de
control y comprobando su funcionamiento
sobre sistemas simulados gracias a los más
de 70 ejercicios y ejemplos ejecutables en
CoDeSys que pueden ser descargados desde
la página web del libro
Metodología para la elaboración de los
programas a implementar en autómatas
programables. MEPUS
matemáticas y computabilidad) y aplicación directa de las ciencias
computacionales
Dar respuesta a los siguientes interrogantes:
1. Que es el test de Turing? Explique como funciona
El test de Turing consiste en un una serie de pruebas que determinan la
capacida de las maquinas de emular el comportamiento del ser humano
este tipo de pruebas han aportado de manera decisiva a la evolución de
la inteligencia artificial.

2. Cuales fueron los aportes mas significativos de alan turing en la

computación?

1. En 1936 publicó el artículo “Sobre números computables, con una aplicación al

Entscheidungsproblem”
2. definía qué era computable y qué no lo era.
3. Turing predijo incluso los fallos que hoy afectan a nuestros ordenadores, como
el hecho de que se "cuelguen".
4. En 1947 Turing pasó a dirigir el Computing Machine Laboratory de Manchester,
donde desarrolló un nuevo ordenador, el MADAM (o Manchester Mark I).
5. Máquina de Turing
6. Máquina universal de Turing
7. El concepto de hipercomputación
8. Pilot Model ACE
9. Test de Turing
10. Biología matemática

3. Que es el código Enigma y como funcionó, quien lo descubrio?

Descubierto por Alan Mathison Turing, El codigo enigma era un Lenguaje secreto utilizado por los
submarinos nazis en el Atlántico, lo que contribuyó de manera significativa con el fin de la Segunda
Guerra Mundial. Tras la guerra diseñó uno de los primeros computadores electrónicos
programables, creó el test de Turing, una prueba en la cual se puede juzgar la inteligencia de una
máquina.