Tarea 1. Fundamentación: Estudiante: José Mauricio Saavedra
Tarea 1. Fundamentación: Estudiante: José Mauricio Saavedra
Tarea 1. Fundamentación: Estudiante: José Mauricio Saavedra
Fundamentación
González Miranda, O., & Cerrada Lozada, M. (2014). Diagnóstico de Habla de la necesitad de diagnosticadores más
Sistemas de Eventos Discretos Controlados: Un Enfoque Basado en sencillos y eficientes debido a la complejidad de los
Science Crónicas y Análisis Modular Usando Modelos de Autómatas. Revista procesos industriales. El diagnóstico modular ha
Iberoamericana de Automática e Informática industrial, 11(2), 191-201. mostrado ser eficiente en la reducción de la
direct Recuperado de complejidad asociada a los sistemas de eventos
https://www.sciencedirect.com/science/article/pii/S1697791214000090 discretos.
dialnet
Formella, A. (2010). Teoría de autómatas y lenguajes Este material brinda los conocimientos fundamentales
formales. Departamento de Informática, Universidad de de para que adquiera las habilidades y técnicas para construir
Vigo, Junio.qui gramáticas generadoras de lenguajes.
Ejercicio 2. presentación
de conceptualización de
términos y ejemplos
conceptos
01 02 03
Expresión Descripción
[0-5] Un número de 0 a 5
Representa la cerradura.
* () Parentesis
L(E∗ ) = (L(E))∗ , donde L Si “E” es una expresión
∗ = {ǫ} ∪ L ∪ LL ∪ LLL ∪ regular, entonces (E), E entre
paréntesis, también es una
expresión regular que denota
el mismo lenguaje que E
Jurado Málaga, E. (2008). Teoría de autómatas y lenguajes formales
12
Precedencia de los operadores
Precedencia de operadores
1. El asterisco de la cerradura tiene la mayor precedencia. Aplica sólo a la secuencia de
símbolos a su izquierda que es una expresión regular bien formada.
2. Concatenación sigue en precedencia a la cerradura, el operador “dot”.
3. Después de agrupar los asteriscos a sus operandos, se agrupan los operadores de
concatenación a sus operandos
• L(001) = 001.
• L(0 + 10∗ ) = {0, 1, 10, 100, 1000, . . .}.
REFERENCIAS BIBLIOGRAFICAS
1. Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría de lenguajes, gramáticas y
autómatas para informáticos. Digitalia. (pp. 127 - 142). Recuperado
de https://bibliotecavirtual.unad.edu.co/login?url=https://search-ebscohost-
com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&db=nlebk&AN=318032&lang=es&site=ehost-
live&ebv=EB&ppid=pp_Cover
2. Jurado Málaga, E. (2008). Teoría de autómatas y lenguajes formales. Universidad de Extremadura. Servicio de
Publicaciones. (pp. 39 - 70). Recuperado
de https://bibliotecavirtual.unad.edu.co/login?url=http://search.ebscohost.com/login.aspx?direct=true&db=edsbas&
AN=edsbas.62161440&lang=es&site=eds-live&scope=site
3. González, A. [Ángela]. (2017, noviembre 5). Autómatas Finitos. [Archivo de video]. Recuperado
de http://hdl.handle.net/10596/10470
4. González, A. [Ángela]. (2018, junio 1). Lenguajes Regulares. [Archivo web]. Recuperado
de http://hdl.handle.net/10596/18315