• Author / Uploaded
• Yeison Robles

Citation preview

Fase 1 Pre saberes

Autómatas y lenguajes Formales

YEISON ANDRES ROBLES PARA Codigo:1049631649

Presentado a: ANGELA MARIA GONZALES Tutor

Grupo: 301405A_761

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA DICIEMBRE 2020 TUNJA

INTRODUCCION

Conocer la historia y evolución de los sistemas formales de lenguajes, permite al estudiante de ingeniería en sistemas contextualizar el porqué del funcionamiento y lógica de los lenguajes formales y su implicación en la ingeniería de artefactos autónomos controlados a través de ordenes lógicas previamente inventadas y enfocadas en realizar tareas complejas. Actividades a desarrollar

Actividades Individuales: De manera individual cada estudiante debe ingresar al entorno inicial a la sección Presentación – Agenda – Acuerdos y revisar cada uno de los recursos. 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 busqueda, 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 Science direct

Bibliografía: Articulo cientifíco – APA 6.0 Duffy, Michael. Series: Quick Answers to Common Problems. Birmingham, UK : Packt Publishing. 2015. DevOps Automation Cookbook

Síntesis Utilice algunas de las poderosas herramientas que han surgido para permitir a los administradores y desarrolladores de

Masopust, T.. In: IEEE Transactions on Automatic Control IEEE Trans. Automat. Contr. Automatic Control, IEEE Transactions on. 65(1):341-346 Jan, 2020; USA: IEEE Language: English, Base de datos: IEEE Xplore Digital Library. Critical Observability for Automata and Petri Nets

EBSCO

Flum, Jörg; Grädel, Erich; Wilke, Thomas. Series: Texts in Logic and Games, vol. 2. Amsterdam : Amsterdam University Press. 2008. eBook.

sistemas tomar el control y automatizar la administración, el monitoreo y la creación de infraestructuras complejas. Cubre algunas de las tecnologías más interesantes disponibles para los ingenieros de DevOps y demuestra múltiples técnicas para usarlas. La observabilidad crítica es una propiedad de los sistemas ciberfísicos para detectar si el estado actual pertenece a un conjunto de estados críticos. En aplicaciones críticas para la seguridad, los estados críticos modelan operaciones que pueden ser inseguras o de un interés particular. De Santis y col. introdujo la observabilidad crítica para sistemas de conmutación lineal, y Pola et al. lo adaptó para sistemas de eventos discretos, enfocándose en la complejidad algorítmica. Estudiamos la complejidad computacional de decidir la observabilidad crítica para sistemas modelados como (redes de) autómatas de estado finito y redes de Petri Esta colección de documentos aborda desafíos en disciplinas como la teoría de la complejidad, los juegos, los algoritmos y la teoría

Logic and Automata : de semi grupos y discute History and Perspectives los desafíos actuales en este campo Berstel, Jean; Esta revisión importante Reutenauer, de la teoría clásica de los Christophe; Perrin, códigos de Berstel y Perrin Dominique. Series: se ha reescrito con un Encyclopedia of enfoque más moderno y Mathematics and Its una cobertura mucho más Applications, Vol. amplia del tema. El 129. Cambridge, concepto de autómatas UK : Cambridge inequívocos, que está University Press. íntimamente relacionado 2010. eBook. con el de los códigos, Mostrar índice ahora juega un papel ÍndiceMostrar esta importante en todo el libro, área Paginas más reflejando los desarrollos relevantes en este de los últimos 20 años. libro Esto se complementa con electrónico.Codes una discusión sobre la and Automata conexión entre códigos y autómatas, y nuevo material del campo de la dinámica simbólica. SCOPUS

Joo, T.; Shin, D.. In: IEEE Transactions on HumanMachine Systems IEEE Trans. Human-Mach. Syst. Human-Machine Systems, IEEE Transactions on. 49(6):529-539 Dec, 2019; USA: IEEE Language: English, Base de datos: IEEE Xplore Digital Library. Formalizing Human– Machine Interactions for Adaptive Automation in Smart Manufacturing

Los laboratoristas están viendo sus roles pasar de ser tecnólogos a socorristas en la vía de atención al paciente. Este cambio está siendo habilitado, en parte, con la automatización de laboratorio que se usa cada vez más para reducir el trabajo manual, mejorar el tiempo de respuesta, mejorar la calidad y aumentar el rendimiento Dependiendo del tamaño de el laboratorio, sus necesidades y habilidades, automatización Las soluciones pueden

Kim, Yun-Hae. Series: Applied Mechanics and Materials, Vols. 373-375. Durnten-Zurich : Trans Tech Publications Ltd. 2013. Mechatronics, Robotics and Automation

tomar muchas formas. A pesar de el papel específico que juega, sin embargo, el laboratorio la automatización comienza a surgir como una necesidad para laboratorios de diagnóstico que buscan dramáticamente mejorar el rendimiento. A pesar de esta tendencia, actualmente, la cantidad de laboratorios en todo el mundo que han podido adoptar la automatización todavía Los campos de la ingeniería mecatrónica y robótica han sido testigos de un enorme progreso en los últimos años. Los avances sin precedentes en hardware y software informático, tecnología de sensores y actuadores, y la ciencia de los controles, el procesamiento de señales, la inteligencia artificial y la informática han estimulado el rápido crecimiento de las aplicaciones de los sistemas mecatrónicos y robóticos. Las áreas de aplicación de estas tecnologías abarcan desde sistemas de fabricación avanzados en las industrias automotriz y microelectrónica hasta los campos emergentes de atención médica y personal.

La que estudiante seleccione

el Salomaa, Arto. Series: Encyclopedia of Mathematics and Its Applications, v. 25. Cambridge [Cambridgeshire] : Cambridge University Press. 1985. eBook. Computation and Automata

Li, Thomas M. Series: Computer Science, Technology and Applications. New York : Nova Science Publishers, Inc. 2011. eBook.Cellular Automata

En este libro, que se publicó originalmente en 1985, Arto Salomaa ofrece una introducción a ciertos temas matemáticos centrales de 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 A cellular automaton is a discrete model studied in computability theory, mathematics, physics, complexity science, theoretical biology and microstructure modeling. It consists of a regular grid of cells, each in one of a finite number of states, such as "On" and "Off". The grid can be in any finite number of dimensions. For each cell, a set of cells called its neighborhood (usually including the cell itself) is defined relative to the specified cell. This book presents current research from across the globe in the study of cellular automata, including using cellular automata to solve optimization problems; modeling drug release

science using cellular automata; using the cellular automata model to study the dispersion of aphids and ladybugs in a block of citric trees; and the reversibility of cellular automata. MLA (Modern Language Assoc.) Li, Thomas M. Cellular Automata. Nova Science Publishers, Inc, 2011. APA (American Psychological Assoc.) Li, T. M. (2011). Cellular Automata. Nova Science Publishers, Inc. 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. Horizontal: 1-Un dato arbitrario que tiene algún significado o efecto en la máquina. A estos símbolos también se les llama "letras”. Símbolo 2-En 1930´s, A. Turing desarrolló una máquina abstracta denominada Máquina de ------- para el estudio de la computabilidad. turing 3-En 1940´s y 1950´s, se desarrollan unas máquinas simples, en cuanto su funcionamiento, que fueron conocidas como autómatas -------, para modelar el funcionamiento del cerebro. Finitas 4- Las gramáticas son modelos útiles en el diseño de software que sirve para procesar datos con una estructura recursiva. El ejemplo más conocido es el de un analizador-Vertical: 5-Un conjunto de palabras, formado por símbolos en un alfabeto dado. Puede

ser infinito. leguaje 6-Trata del estudio de máquinas de computación abstractas. teoria-automatas 7-En 1969, S extiende el estudio de Tuning. separa aquellos problemas que pueden ser solucionados de aquellos que en principio pueden ser solucionados pero que en la práctica toman demasiados recursos.cook

1.s

i

m

b

o

2.t

u

r

i

4.s

i

n

t

3.f

5.l E N G U A J e i

o g c

n

t

i

i

t

c 7.c o o k

6.T E O R I A A U T O M A T A s

Actividad 3: Dar respuesta a los siguientes interrogantes: 1. Que es el test de Turing? Explique como funciona Es básicamente una conversación entre un ser humano y una máquina diseñada para interactuar verbalmente, la conversación se efectúa en lenguaje común y busca que se pueda identificar cuál es el humano y cuál es la máquina. Se cuenta con 5 minutos de conversación para convencer a la persona

que evalúa el chat, que quien está detrás de la pantalla es un ser humano (la máquina solo se expresa a través de chat tras una pantalla). Si logra convencerlo, la máquina pasa la prueba. 2. Cuales fueron los aportes mas significativos de alan turing en la computación? Formalizó los conceptos de algoritmo y computación con su máquina de Turing. Test de Turing. Alan Turing, el genio matemático que creó la teoría de la morfogénesis. Números computables sus principales contribuciones al desarrollo de la computadora fueron diseñar un sistema de entrada y salida (utilizando la tecnología de Bletchley Park) y diseñar su sistema de programación. También escribió el manual de programación, y su sistema de programación fue utilizado en Ferranti Mark I, la primera computadora comercializable (1951). 3. ¿Que es el codigo Enigma y como funcionó, quien lo descubrio? 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. Turing permitió descifrar los códigos secretos de la máquina Enigma, con la que la marina de Alemania enviaba a sus submarinos mensajes para interceptar los convoyes de abastecimiento que Estados Unidos enviaba a Inglaterra. Turing utilizó en su trabajo conceptos de inteligencia artificial y diseñó un computador electromecánico para simular las posibles combinaciones de letras de Enigma.

BIBLIOGRAFIA

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&ebv=EB&ppid=pp_Cov er 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.action? 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.action?