SlideShare ist ein Scribd-Unternehmen logo
1 von 8
Downloaden Sie, um offline zu lesen
INSTITUTO TECNOLÓGICO DE TEPIC
Ingeniería en Sistemas Computacionales
LENGUAJES AUTÓMATAS 1
UNIDAD 2, EXPRESIONES Y LENGUAJES
REGULARES
PORTAFOLIO UNIDAD 2
Alumno: Luis Adrian Parra Avellaneda
Docente: Sonia Alvarado Mares
Luis Adrian Parra Avellaneda ISC ITT Page 1
Introducción
En este portafolio de unidad veremos más acerca de los lenguajes, en este caso las
expresiones regulares, las cuales utilizaremos más adelante para armar nuestros
autómatas que gracias a ellos y a la programación nos encargaremos de validar cadenas
de un lenguaje. En este portafolio se verán los temas desarrollados en clase y algunos
ejercicios que ayudaron a tener un mejor conocimiento sobre este tema y sobre todo a
pensar de una manera más lógica y analítica que es lo que se necesita para resolver
problemas relacionados con la computación. Se verá de como una notación formal o una
descripción de un lenguaje podemos generar expresiones y lenguajes regulares, aprender
a simplificarlos, y otras cosas.
A continuación se presentará el contenido:
Índice
Introducción........................................................................................................................................ 1
Índice................................................................................................................................................... 1
Contenido............................................................................................................................................ 2
Expresiones regulares ......................................................................................................................... 2
Algunos ejercicios:........................................................................................................................... 3
Lenguajes regulares............................................................................................................................ 4
Ejercicios con lenguajes regulares .................................................................................................. 5
Más ejercicios.................................................................................................................................. 6
Conclusiones ....................................................................................................................................... 7
Bibliografía .......................................................................................................................................... 7
Luis Adrian Parra Avellaneda ISC ITT Page 2
Contenido
Expresiones regulares
Una expresión regular es un conjunto de cadenas que puede formar un lenguaje.
Las expresiones regulares son expresiones aceptadas por un autómata finito, estas expresiones se
pueden hacer mediante operaciones or, concatenación, cerradura de Klein y cerradura positiva,
esta es la definición de Hopcroft y Ullman
Un lenguaje regular es todo lenguaje reconocido por autómatas finitos, entonces una expresión
regular es una expresión regular son cadenas que generan un lenguaje y son reconocidas por estos
autómatas, según el autor Brookshear
Según Isasi, Martinez y Borrajo, Las expresiones regulares representan con consistencia lenguajes
regulares, por lo tanto resumen la descripción de un lenguaje. Las expresiones regulares permiten
definir el lenguaje aceptado por un autómata finito
• Expresión Regular sobre un alfabeto 𝚺: sólo son Expresiones Regulares aquéllas que se obtienen
aplicando un número finito de veces las siguientes reglas:
 El vacio es una expresión regular
 Para cada A𝜖𝚺 , A es una ER
 Si A y B son ER, A+B es una ER
 AB también es una ER
 A* es una ER
Algunas identidades de las expresiones regulares nos da la autora Elisa Vilso, y son las siguientes:
Donde r+s= (r,s)
Luis Adrian Parra Avellaneda ISC ITT Page 3
Algunos ejercicios:
Definir alfabeto, cadenas válidas y describir con palabras el lenguaje
1. 𝑎(𝑎𝑏)+
Σ = 𝑎, 𝑏
cadenas = {aab, aabab, aababab, … . }
El conjunto de todas las cadenas de [a] y [b] que inicien con una [a], seguidas de 1 o más
veces [ab]
Exp. Equivalentes aab(ab)*
2. (𝑎𝑏|𝑏𝑎)+
Σ = 𝑎, 𝑏
cadenas = {ab, ba, abab, abba, baab, … . }
El conjunto de todas las cadenas de [a] y [b] que inicien con [ab] o [ba] seguidas de 0 o
más veces [ab] y [ba]
Exp. Equivalentes (ab|ba)(ba|ab)+
3. 𝑎∗
𝑏|𝑎𝑏∗
Σ = 𝑎, 𝑏
cadenas = {b, a, ab, aab, abb, aaaaab, abbbbb, … . }
El conjunto de todas las cadenas de [a] y [b] que inicien con 0 o más veces [a] seguidas de
[b] o que empiecen con [a] seguidas de 0 o más veces [b]
Exp. Equivalentes (a+
b|ab+
)|a|b
4. 𝑥(𝑥|𝑦)∗
Σ = 𝑥, 𝑦
cadenas = {x, xx, xy, xxx, xyx, xxy, xyy, xxxyyyy … . }
El conjunto de todas las cadenas de [x] y [y] que inicien con [x] seguidas de 0 o más veces
[x] y [y]
Exp. Equivalentes x|x(y|x)+
, x(x*y*)*
5. 𝑥(𝑦𝑥)∗
𝑦+
Σ = 𝑥, 𝑦
cadenas = {xy, xyxy, xyxyxyyy, xyyy, xyxyxyxyyy, … . . }
El conjunto de todas las cadenas de [x] y [y] que inicien con [x] seguidas de 0 o más veces
[xy], seguidas de 1 o más veces [y]
Exp. Equivalentes xy(xy)+
y*|xy+
6. 0(01|11)∗
00
Σ = 0,1
cadenas = {000,00100,0011100,01100,011110100, … }
El conjunto de todas las cadenas de [0] y [1] que inicien con [0] seguidas de 0 o más veces
[01]y[11], y todo seguido de [00]
Exp. Equivalentes 0((01)*(11)*|𝜉)+
00
Luis Adrian Parra Avellaneda ISC ITT Page 4
7. (𝑐𝑑|𝑑𝑐|𝑑𝑑|𝑐𝑐)+
Σ = 𝑐, 𝑑
cadenas = {cd, dc, dd, cc, cddc, cdcdccdd, dcdd, … . }
El conjunto de todas las cadenas de [c] y [d] que sean todas las combinaciones de 2
elementos de las letras [c] y [d] concatenadas 1 o más veces
Exp. Equivalentes ((c|d)(c|d))+
8. (𝑐|𝑑|𝑒)∗
𝑒𝑐
Σ = 𝑐, 𝑑, 𝑒
cadenas = {ec, cec, ceec, cdeecdceec… . }
El conjunto de todas las cadenas de [e], [c] y [d] que inician con 0 o más veces de [c], [d] y
[e] seguidas de [ec]
Exp. Equivalentes ((c*d*)|e)*ec
9. 𝑦(𝑥(𝑥𝑦|𝜉)+
)∗
𝑥
Σ = 𝑥, 𝑦
cadenas = {yx, yxx, yxxyxyxxyx, … }
El conjunto de todas las cadenas de [x] y [y] que inician con [y] seguidas de 0 o más veces
[x] con [xy] 0 o más veces, y todo eso seguido de [x]
Exp. Equivalentes y(x(xy)*| 𝜉)+
x
Lenguajes regulares
Lenguajes
recursivamente
numerádos
Lenguajes
sensibles de
contexto
Lenguajes
libres de
contexto
Lenguajes
regulares
Luis Adrian Parra Avellaneda ISC ITT Page 5
Un lenguaje regular es todo lenguaje generado a partir de expresiones regulares, o como dicen la
mayoría de los autores un lenguaje que puede ser aceptado por un autómata finito. En el libro de
Isasi, Martínez y Borrajo se manejan las siguientes propiedades de un lenguaje regular:
Ejercicios con lenguajes regulares
Encuentre una o más expresiones regulares para los siguientes lenguajes
1. 𝐿 = {𝑥|𝑥𝜖 0,1 +
}
(00|01|11|00)+
((0|1)(0|1))+
2. 𝐿 = {𝑤𝜖 𝑎, 𝑏 ∗
|𝑤 𝑡𝑖𝑒𝑛𝑒 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟 𝑑𝑒 𝑎´𝑠}
b*ab*(b*ab*ab*)*
3. 𝐿{𝑎 𝑛
𝑏 𝑛
|𝑛 ≥ 0}
No existe expresión regular
4. 𝐿{0 𝑚
1 𝑛
|𝑛 ≥ 0, 𝑚 > 0}
0+
1*
5. El conjunto de todas las cadenas de [c] y [d] que terminen con [dc]
(c|d)*dc
(c|d)dc+
L={w dc|w𝜖(c,d)*}
Luis Adrian Parra Avellaneda ISC ITT Page 6
Más ejercicios
1. Encuentre una expresión regular más sencilla
a) (a|b|ab|ba)*=(a|b)*
b) x(xx*|x*)*=x+
c) (0|1)*01(0|1)*|0*1*=(0|1)*01(0|1)*|0*1*, no se encontró expresión más sencilla
2. Encuentre una expresión regular que corresponda a cada uno de los subconjuntos (0,1)
a) Lenguaje de todas las cadenas que no terminan con 01
(0|1)*(00|11|10)|(0|1)
b) Lenguaje de todas las cadenas que contienen exactamente 2 0´s
(1*01*01*)
c) Lenguaje de todas las cadenas que no contienen la subcadena 00
(1+
01*)*|(1*01+
)|(1*|0)
3. Describa los siguientes lenguajes
a) a*(ab)*b*
Conjunto de todas las cadenas de [a] y [b] que empiezan con 0 o más [a] seguidas de 0
o más veces [ab] seguidas de 0 o más [b]
b) c*(dcc)*d*
Conjunto de todas las cadenas de [c] y [d] que empiezan con 0 o más [c], seguidas de 0
o más veces [dcc] seguidas de 0 o más veces d
c) (xx*yy*)*
Conjunto de todas las cadenas de [x] y [y] que empiezan con 1 o más [x] seguidas de 1
o más [y] todo eso concatenado 0 o más veces
Luis Adrian Parra Avellaneda ISC ITT Page 7
Conclusiones
En esta unidad aprendimos que es una expresión regular, la cual es una expresión que es aceptada
por un autómata finito, pero ignorando el conocimiento de un autómata, es una expresión que se
puede armar a partir de las operaciones como OR, concatenación, y cerraduras. Estas expresiones
regulares forman un lenguaje regular, pero vimos que existen ciertos lenguajes que no pueden
formar una expresión regular, por lo tanto no son lenguajes regulares. Como vimos en esta
unidad, aprendimos a usar la lógica y el análisis para desarrollar expresiones a partir de lenguajes,
a definir y describir ciertas expresiones, y también a desarrollar expresiones regulares diferentes
Bibliografía
 Isasi, Martínez, Borrajo (1997). Lenguajes, gramáticas y autómatas, un enfoque práctico.
México. Editorial Addison-wesley
 Hopcroft, Ullman (1993). Introducción a la teoría de autómatas, lenguajes y computación.
Editorial CECSA
 Brookshear. Teoría de la Computación, Lenguajes Formales, Autómatas y Complejidad.
Addison Wesley.
 Viso (2002). Teoría de la computación. México. Facultad de Ciencias UNAM
 Louden (2004). Construcción de compiladores, principios y práctica. Ed Thomson Kelley,
Dean, Teoría de Automatas y Lenguajes Formales, Prentice Hall.

Weitere ähnliche Inhalte

Was ist angesagt?

Analizador Sintáctico
Analizador SintácticoAnalizador Sintáctico
Analizador SintácticoPablo Guerra
 
Lenguajes de programacion tema 2_compiladores e interpretes
Lenguajes de programacion tema 2_compiladores e interpretesLenguajes de programacion tema 2_compiladores e interpretes
Lenguajes de programacion tema 2_compiladores e interpretesIsrael Castillo Cruz
 
Gramática Libre de Contexto
Gramática Libre de ContextoGramática Libre de Contexto
Gramática Libre de ContextoBrayhan Acosta
 
Los lenguajes aceptados para una maquina de turing
Los lenguajes aceptados para una maquina de turingLos lenguajes aceptados para una maquina de turing
Los lenguajes aceptados para una maquina de turingJonathan Bastidas
 
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...Hugo Alberto Rivera Diaz
 
Portafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitosPortafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitosHumano Terricola
 
maquinas de turing
maquinas de turingmaquinas de turing
maquinas de turingAnel Sosa
 
Tipos de Autómatas 
Tipos de Autómatas Tipos de Autómatas 
Tipos de Autómatas yelizabeth_20
 
Portafolio Lenguajes y Autómatas Unidad 1
Portafolio Lenguajes y Autómatas Unidad 1Portafolio Lenguajes y Autómatas Unidad 1
Portafolio Lenguajes y Autómatas Unidad 1Humano Terricola
 
Segmetación de instrucciones
Segmetación de instruccionesSegmetación de instrucciones
Segmetación de instruccionesLely
 
Protocolos, estandares y tipos de modem
Protocolos, estandares y tipos de modemProtocolos, estandares y tipos de modem
Protocolos, estandares y tipos de modemMirna L. Torres Garcia
 
Operaciones entre lenguajes
Operaciones entre lenguajesOperaciones entre lenguajes
Operaciones entre lenguajesJean Bernard
 

Was ist angesagt? (20)

Analizador Sintáctico
Analizador SintácticoAnalizador Sintáctico
Analizador Sintáctico
 
Ejercicios
EjerciciosEjercicios
Ejercicios
 
Lenguajes de programacion tema 2_compiladores e interpretes
Lenguajes de programacion tema 2_compiladores e interpretesLenguajes de programacion tema 2_compiladores e interpretes
Lenguajes de programacion tema 2_compiladores e interpretes
 
Código intermedio
Código intermedioCódigo intermedio
Código intermedio
 
Jerarquia de chomsky
Jerarquia de chomskyJerarquia de chomsky
Jerarquia de chomsky
 
Traductor y su estructura
Traductor y su estructuraTraductor y su estructura
Traductor y su estructura
 
Taller de Base de Datos - Unidad 7 Conectividad
Taller de Base de Datos - Unidad 7 ConectividadTaller de Base de Datos - Unidad 7 Conectividad
Taller de Base de Datos - Unidad 7 Conectividad
 
Gramática Libre de Contexto
Gramática Libre de ContextoGramática Libre de Contexto
Gramática Libre de Contexto
 
Los lenguajes aceptados para una maquina de turing
Los lenguajes aceptados para una maquina de turingLos lenguajes aceptados para una maquina de turing
Los lenguajes aceptados para una maquina de turing
 
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...
 
Portafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitosPortafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitos
 
maquinas de turing
maquinas de turingmaquinas de turing
maquinas de turing
 
Tipos de Autómatas 
Tipos de Autómatas Tipos de Autómatas 
Tipos de Autómatas 
 
Portafolio Lenguajes y Autómatas Unidad 1
Portafolio Lenguajes y Autómatas Unidad 1Portafolio Lenguajes y Autómatas Unidad 1
Portafolio Lenguajes y Autómatas Unidad 1
 
Segmetación de instrucciones
Segmetación de instruccionesSegmetación de instrucciones
Segmetación de instrucciones
 
Protocolos, estandares y tipos de modem
Protocolos, estandares y tipos de modemProtocolos, estandares y tipos de modem
Protocolos, estandares y tipos de modem
 
control de concurrencia
control de concurrenciacontrol de concurrencia
control de concurrencia
 
Operaciones entre lenguajes
Operaciones entre lenguajesOperaciones entre lenguajes
Operaciones entre lenguajes
 
Analizador Léxico en C++
Analizador Léxico en C++Analizador Léxico en C++
Analizador Léxico en C++
 
Analizador lexico
Analizador lexicoAnalizador lexico
Analizador lexico
 

Ähnlich wie Portafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regulares

Ähnlich wie Portafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regulares (20)

Analisis lexico 2
Analisis lexico 2Analisis lexico 2
Analisis lexico 2
 
Unidad 7 lenguajes gramaticas y automatas
Unidad 7 lenguajes gramaticas y automatasUnidad 7 lenguajes gramaticas y automatas
Unidad 7 lenguajes gramaticas y automatas
 
Gramáticas formales
Gramáticas formales Gramáticas formales
Gramáticas formales
 
Analisis lexico 1
Analisis lexico 1Analisis lexico 1
Analisis lexico 1
 
Lenguajes formales y teoría de autómatas I.pdf
Lenguajes formales y teoría de autómatas I.pdfLenguajes formales y teoría de autómatas I.pdf
Lenguajes formales y teoría de autómatas I.pdf
 
Alfabeto, Cadenas, Lenguajes, y Problemas
Alfabeto, Cadenas, Lenguajes, y ProblemasAlfabeto, Cadenas, Lenguajes, y Problemas
Alfabeto, Cadenas, Lenguajes, y Problemas
 
Lógica
Lógica Lógica
Lógica
 
Presentación 2
Presentación 2Presentación 2
Presentación 2
 
Automatas
AutomatasAutomatas
Automatas
 
Gramaticas y lic
Gramaticas y licGramaticas y lic
Gramaticas y lic
 
Gramaticas y lic
Gramaticas y licGramaticas y lic
Gramaticas y lic
 
Automatas propuestos
Automatas propuestosAutomatas propuestos
Automatas propuestos
 
Vanessaguzman
VanessaguzmanVanessaguzman
Vanessaguzman
 
Unidad 6 introduccion a los lenguajes formales
Unidad 6 introduccion a los lenguajes formalesUnidad 6 introduccion a los lenguajes formales
Unidad 6 introduccion a los lenguajes formales
 
Expresiones regulares2.pdf
Expresiones regulares2.pdfExpresiones regulares2.pdf
Expresiones regulares2.pdf
 
Apuntes compiladores
Apuntes compiladoresApuntes compiladores
Apuntes compiladores
 
lenguajes formales
lenguajes formaleslenguajes formales
lenguajes formales
 
lenguajes y_gramaticas
lenguajes y_gramaticaslenguajes y_gramaticas
lenguajes y_gramaticas
 
Teoria de lenguajes
Teoria de lenguajesTeoria de lenguajes
Teoria de lenguajes
 
Lenguajes libre de contexto
Lenguajes libre de contextoLenguajes libre de contexto
Lenguajes libre de contexto
 

Mehr von Humano Terricola

Portafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de Turing
Portafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de TuringPortafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de Turing
Portafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de TuringHumano Terricola
 
Cuadro comparativo estandares de calidad software
Cuadro comparativo estandares de calidad softwareCuadro comparativo estandares de calidad software
Cuadro comparativo estandares de calidad softwareHumano Terricola
 
Analisys of Selection Sort and Bubble Sort
Analisys of Selection Sort and Bubble SortAnalisys of Selection Sort and Bubble Sort
Analisys of Selection Sort and Bubble SortHumano Terricola
 
Apuntes generación de codigo intermedio
Apuntes generación de codigo intermedioApuntes generación de codigo intermedio
Apuntes generación de codigo intermedioHumano Terricola
 
Generación código intermedio 2
Generación código intermedio 2Generación código intermedio 2
Generación código intermedio 2Humano Terricola
 
Configuración del servidor smtp centos
Configuración del servidor smtp centosConfiguración del servidor smtp centos
Configuración del servidor smtp centosHumano Terricola
 

Mehr von Humano Terricola (8)

Bica22
Bica22Bica22
Bica22
 
Portafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de Turing
Portafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de TuringPortafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de Turing
Portafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de Turing
 
Cuadro comparativo estandares de calidad software
Cuadro comparativo estandares de calidad softwareCuadro comparativo estandares de calidad software
Cuadro comparativo estandares de calidad software
 
Analisys of Selection Sort and Bubble Sort
Analisys of Selection Sort and Bubble SortAnalisys of Selection Sort and Bubble Sort
Analisys of Selection Sort and Bubble Sort
 
Apuntes generación de codigo intermedio
Apuntes generación de codigo intermedioApuntes generación de codigo intermedio
Apuntes generación de codigo intermedio
 
Generación código intermedio 2
Generación código intermedio 2Generación código intermedio 2
Generación código intermedio 2
 
Configuración del servidor smtp centos
Configuración del servidor smtp centosConfiguración del servidor smtp centos
Configuración del servidor smtp centos
 
Servidor proxy en centos
Servidor proxy en centosServidor proxy en centos
Servidor proxy en centos
 

Kürzlich hochgeladen

SESION 02-DENSIDAD DE POBLACION Y DEMANDA DE AGUA (19-03-2024).pdf
SESION 02-DENSIDAD DE POBLACION Y DEMANDA DE AGUA (19-03-2024).pdfSESION 02-DENSIDAD DE POBLACION Y DEMANDA DE AGUA (19-03-2024).pdf
SESION 02-DENSIDAD DE POBLACION Y DEMANDA DE AGUA (19-03-2024).pdfJorgeFuertes8
 
2e38892c-fc5d-490e-b751-ce772cf4756f.pdf
2e38892c-fc5d-490e-b751-ce772cf4756f.pdf2e38892c-fc5d-490e-b751-ce772cf4756f.pdf
2e38892c-fc5d-490e-b751-ce772cf4756f.pdfLuisFernandoTQ
 
Mecatronica Automotriz .pdf
Mecatronica Automotriz              .pdfMecatronica Automotriz              .pdf
Mecatronica Automotriz .pdfleonardocahua1
 
FUNCION DE ESTADO EN LA TERMODINAMICA.pdf
FUNCION DE ESTADO EN LA TERMODINAMICA.pdfFUNCION DE ESTADO EN LA TERMODINAMICA.pdf
FUNCION DE ESTADO EN LA TERMODINAMICA.pdfalfredoivan1
 
APORTES A LA ARQUITECTURA DE WALTER GROPIUS Y FRANK LLOYD WRIGHT
APORTES A LA ARQUITECTURA DE WALTER GROPIUS Y FRANK LLOYD WRIGHTAPORTES A LA ARQUITECTURA DE WALTER GROPIUS Y FRANK LLOYD WRIGHT
APORTES A LA ARQUITECTURA DE WALTER GROPIUS Y FRANK LLOYD WRIGHTElisaLen4
 
Sistema de lubricación para motores de combustión interna
Sistema de lubricación para motores de combustión internaSistema de lubricación para motores de combustión interna
Sistema de lubricación para motores de combustión internamengual57
 
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNATINSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNATevercoyla
 
“Análisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...
“Análisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...“Análisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...
“Análisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...WeslinDarguinHernand
 
Análisis de Costos y Presupuestos CAPECO
Análisis de Costos y Presupuestos CAPECOAnálisis de Costos y Presupuestos CAPECO
Análisis de Costos y Presupuestos CAPECOFernando Bravo
 
PostgreSQL on Kubernetes Using GitOps and ArgoCD
PostgreSQL on Kubernetes Using GitOps and ArgoCDPostgreSQL on Kubernetes Using GitOps and ArgoCD
PostgreSQL on Kubernetes Using GitOps and ArgoCDEdith Puclla
 
TAIICHI OHNO, historia, obras, reconocimientos
TAIICHI OHNO, historia, obras, reconocimientosTAIICHI OHNO, historia, obras, reconocimientos
TAIICHI OHNO, historia, obras, reconocimientoscuentaparainvestigac
 
Presentación de Redes de alcantarillado y agua potable
Presentación de Redes de alcantarillado y agua potablePresentación de Redes de alcantarillado y agua potable
Presentación de Redes de alcantarillado y agua potableFabricioMogroMantill
 
2. Cristaloquimica. ingenieria geologica
2. Cristaloquimica. ingenieria geologica2. Cristaloquimica. ingenieria geologica
2. Cristaloquimica. ingenieria geologicaJUDITHYEMELINHUARIPA
 
Resistencia-a-los-antimicrobianos--laboratorio-al-cuidado-del-paciente_Marcel...
Resistencia-a-los-antimicrobianos--laboratorio-al-cuidado-del-paciente_Marcel...Resistencia-a-los-antimicrobianos--laboratorio-al-cuidado-del-paciente_Marcel...
Resistencia-a-los-antimicrobianos--laboratorio-al-cuidado-del-paciente_Marcel...GuillermoRodriguez239462
 
UC Fundamentos de tuberías en equipos de refrigeración m.pdf
UC Fundamentos de tuberías en equipos de refrigeración m.pdfUC Fundamentos de tuberías en equipos de refrigeración m.pdf
UC Fundamentos de tuberías en equipos de refrigeración m.pdfrefrielectriccarlyz
 
CONEXIONES SERIE, PERALELO EN MÓDULOS FOTOVOLTAICOS.pdf
CONEXIONES SERIE, PERALELO EN MÓDULOS FOTOVOLTAICOS.pdfCONEXIONES SERIE, PERALELO EN MÓDULOS FOTOVOLTAICOS.pdf
CONEXIONES SERIE, PERALELO EN MÓDULOS FOTOVOLTAICOS.pdfwduranteg
 
Estadística Anual y Multianual del Sector Eléctrico Ecuatoriano
Estadística Anual y Multianual del Sector Eléctrico EcuatorianoEstadística Anual y Multianual del Sector Eléctrico Ecuatoriano
Estadística Anual y Multianual del Sector Eléctrico EcuatorianoEduardoBriones22
 
27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.ppt27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.pptjacnuevarisaralda22
 
27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.ppt27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.pptjacnuevarisaralda22
 
NTC 3883 análisis sensorial. metodología. prueba duo-trio.pdf
NTC 3883 análisis sensorial. metodología. prueba duo-trio.pdfNTC 3883 análisis sensorial. metodología. prueba duo-trio.pdf
NTC 3883 análisis sensorial. metodología. prueba duo-trio.pdfELIZABETHCRUZVALENCI
 

Kürzlich hochgeladen (20)

SESION 02-DENSIDAD DE POBLACION Y DEMANDA DE AGUA (19-03-2024).pdf
SESION 02-DENSIDAD DE POBLACION Y DEMANDA DE AGUA (19-03-2024).pdfSESION 02-DENSIDAD DE POBLACION Y DEMANDA DE AGUA (19-03-2024).pdf
SESION 02-DENSIDAD DE POBLACION Y DEMANDA DE AGUA (19-03-2024).pdf
 
2e38892c-fc5d-490e-b751-ce772cf4756f.pdf
2e38892c-fc5d-490e-b751-ce772cf4756f.pdf2e38892c-fc5d-490e-b751-ce772cf4756f.pdf
2e38892c-fc5d-490e-b751-ce772cf4756f.pdf
 
Mecatronica Automotriz .pdf
Mecatronica Automotriz              .pdfMecatronica Automotriz              .pdf
Mecatronica Automotriz .pdf
 
FUNCION DE ESTADO EN LA TERMODINAMICA.pdf
FUNCION DE ESTADO EN LA TERMODINAMICA.pdfFUNCION DE ESTADO EN LA TERMODINAMICA.pdf
FUNCION DE ESTADO EN LA TERMODINAMICA.pdf
 
APORTES A LA ARQUITECTURA DE WALTER GROPIUS Y FRANK LLOYD WRIGHT
APORTES A LA ARQUITECTURA DE WALTER GROPIUS Y FRANK LLOYD WRIGHTAPORTES A LA ARQUITECTURA DE WALTER GROPIUS Y FRANK LLOYD WRIGHT
APORTES A LA ARQUITECTURA DE WALTER GROPIUS Y FRANK LLOYD WRIGHT
 
Sistema de lubricación para motores de combustión interna
Sistema de lubricación para motores de combustión internaSistema de lubricación para motores de combustión interna
Sistema de lubricación para motores de combustión interna
 
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNATINSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
 
“Análisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...
“Análisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...“Análisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...
“Análisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...
 
Análisis de Costos y Presupuestos CAPECO
Análisis de Costos y Presupuestos CAPECOAnálisis de Costos y Presupuestos CAPECO
Análisis de Costos y Presupuestos CAPECO
 
PostgreSQL on Kubernetes Using GitOps and ArgoCD
PostgreSQL on Kubernetes Using GitOps and ArgoCDPostgreSQL on Kubernetes Using GitOps and ArgoCD
PostgreSQL on Kubernetes Using GitOps and ArgoCD
 
TAIICHI OHNO, historia, obras, reconocimientos
TAIICHI OHNO, historia, obras, reconocimientosTAIICHI OHNO, historia, obras, reconocimientos
TAIICHI OHNO, historia, obras, reconocimientos
 
Presentación de Redes de alcantarillado y agua potable
Presentación de Redes de alcantarillado y agua potablePresentación de Redes de alcantarillado y agua potable
Presentación de Redes de alcantarillado y agua potable
 
2. Cristaloquimica. ingenieria geologica
2. Cristaloquimica. ingenieria geologica2. Cristaloquimica. ingenieria geologica
2. Cristaloquimica. ingenieria geologica
 
Resistencia-a-los-antimicrobianos--laboratorio-al-cuidado-del-paciente_Marcel...
Resistencia-a-los-antimicrobianos--laboratorio-al-cuidado-del-paciente_Marcel...Resistencia-a-los-antimicrobianos--laboratorio-al-cuidado-del-paciente_Marcel...
Resistencia-a-los-antimicrobianos--laboratorio-al-cuidado-del-paciente_Marcel...
 
UC Fundamentos de tuberías en equipos de refrigeración m.pdf
UC Fundamentos de tuberías en equipos de refrigeración m.pdfUC Fundamentos de tuberías en equipos de refrigeración m.pdf
UC Fundamentos de tuberías en equipos de refrigeración m.pdf
 
CONEXIONES SERIE, PERALELO EN MÓDULOS FOTOVOLTAICOS.pdf
CONEXIONES SERIE, PERALELO EN MÓDULOS FOTOVOLTAICOS.pdfCONEXIONES SERIE, PERALELO EN MÓDULOS FOTOVOLTAICOS.pdf
CONEXIONES SERIE, PERALELO EN MÓDULOS FOTOVOLTAICOS.pdf
 
Estadística Anual y Multianual del Sector Eléctrico Ecuatoriano
Estadística Anual y Multianual del Sector Eléctrico EcuatorianoEstadística Anual y Multianual del Sector Eléctrico Ecuatoriano
Estadística Anual y Multianual del Sector Eléctrico Ecuatoriano
 
27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.ppt27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.ppt
 
27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.ppt27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.ppt
 
NTC 3883 análisis sensorial. metodología. prueba duo-trio.pdf
NTC 3883 análisis sensorial. metodología. prueba duo-trio.pdfNTC 3883 análisis sensorial. metodología. prueba duo-trio.pdf
NTC 3883 análisis sensorial. metodología. prueba duo-trio.pdf
 

Portafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regulares

  • 1. INSTITUTO TECNOLÓGICO DE TEPIC Ingeniería en Sistemas Computacionales LENGUAJES AUTÓMATAS 1 UNIDAD 2, EXPRESIONES Y LENGUAJES REGULARES PORTAFOLIO UNIDAD 2 Alumno: Luis Adrian Parra Avellaneda Docente: Sonia Alvarado Mares
  • 2. Luis Adrian Parra Avellaneda ISC ITT Page 1 Introducción En este portafolio de unidad veremos más acerca de los lenguajes, en este caso las expresiones regulares, las cuales utilizaremos más adelante para armar nuestros autómatas que gracias a ellos y a la programación nos encargaremos de validar cadenas de un lenguaje. En este portafolio se verán los temas desarrollados en clase y algunos ejercicios que ayudaron a tener un mejor conocimiento sobre este tema y sobre todo a pensar de una manera más lógica y analítica que es lo que se necesita para resolver problemas relacionados con la computación. Se verá de como una notación formal o una descripción de un lenguaje podemos generar expresiones y lenguajes regulares, aprender a simplificarlos, y otras cosas. A continuación se presentará el contenido: Índice Introducción........................................................................................................................................ 1 Índice................................................................................................................................................... 1 Contenido............................................................................................................................................ 2 Expresiones regulares ......................................................................................................................... 2 Algunos ejercicios:........................................................................................................................... 3 Lenguajes regulares............................................................................................................................ 4 Ejercicios con lenguajes regulares .................................................................................................. 5 Más ejercicios.................................................................................................................................. 6 Conclusiones ....................................................................................................................................... 7 Bibliografía .......................................................................................................................................... 7
  • 3. Luis Adrian Parra Avellaneda ISC ITT Page 2 Contenido Expresiones regulares Una expresión regular es un conjunto de cadenas que puede formar un lenguaje. Las expresiones regulares son expresiones aceptadas por un autómata finito, estas expresiones se pueden hacer mediante operaciones or, concatenación, cerradura de Klein y cerradura positiva, esta es la definición de Hopcroft y Ullman Un lenguaje regular es todo lenguaje reconocido por autómatas finitos, entonces una expresión regular es una expresión regular son cadenas que generan un lenguaje y son reconocidas por estos autómatas, según el autor Brookshear Según Isasi, Martinez y Borrajo, Las expresiones regulares representan con consistencia lenguajes regulares, por lo tanto resumen la descripción de un lenguaje. Las expresiones regulares permiten definir el lenguaje aceptado por un autómata finito • Expresión Regular sobre un alfabeto 𝚺: sólo son Expresiones Regulares aquéllas que se obtienen aplicando un número finito de veces las siguientes reglas:  El vacio es una expresión regular  Para cada A𝜖𝚺 , A es una ER  Si A y B son ER, A+B es una ER  AB también es una ER  A* es una ER Algunas identidades de las expresiones regulares nos da la autora Elisa Vilso, y son las siguientes: Donde r+s= (r,s)
  • 4. Luis Adrian Parra Avellaneda ISC ITT Page 3 Algunos ejercicios: Definir alfabeto, cadenas válidas y describir con palabras el lenguaje 1. 𝑎(𝑎𝑏)+ Σ = 𝑎, 𝑏 cadenas = {aab, aabab, aababab, … . } El conjunto de todas las cadenas de [a] y [b] que inicien con una [a], seguidas de 1 o más veces [ab] Exp. Equivalentes aab(ab)* 2. (𝑎𝑏|𝑏𝑎)+ Σ = 𝑎, 𝑏 cadenas = {ab, ba, abab, abba, baab, … . } El conjunto de todas las cadenas de [a] y [b] que inicien con [ab] o [ba] seguidas de 0 o más veces [ab] y [ba] Exp. Equivalentes (ab|ba)(ba|ab)+ 3. 𝑎∗ 𝑏|𝑎𝑏∗ Σ = 𝑎, 𝑏 cadenas = {b, a, ab, aab, abb, aaaaab, abbbbb, … . } El conjunto de todas las cadenas de [a] y [b] que inicien con 0 o más veces [a] seguidas de [b] o que empiecen con [a] seguidas de 0 o más veces [b] Exp. Equivalentes (a+ b|ab+ )|a|b 4. 𝑥(𝑥|𝑦)∗ Σ = 𝑥, 𝑦 cadenas = {x, xx, xy, xxx, xyx, xxy, xyy, xxxyyyy … . } El conjunto de todas las cadenas de [x] y [y] que inicien con [x] seguidas de 0 o más veces [x] y [y] Exp. Equivalentes x|x(y|x)+ , x(x*y*)* 5. 𝑥(𝑦𝑥)∗ 𝑦+ Σ = 𝑥, 𝑦 cadenas = {xy, xyxy, xyxyxyyy, xyyy, xyxyxyxyyy, … . . } El conjunto de todas las cadenas de [x] y [y] que inicien con [x] seguidas de 0 o más veces [xy], seguidas de 1 o más veces [y] Exp. Equivalentes xy(xy)+ y*|xy+ 6. 0(01|11)∗ 00 Σ = 0,1 cadenas = {000,00100,0011100,01100,011110100, … } El conjunto de todas las cadenas de [0] y [1] que inicien con [0] seguidas de 0 o más veces [01]y[11], y todo seguido de [00] Exp. Equivalentes 0((01)*(11)*|𝜉)+ 00
  • 5. Luis Adrian Parra Avellaneda ISC ITT Page 4 7. (𝑐𝑑|𝑑𝑐|𝑑𝑑|𝑐𝑐)+ Σ = 𝑐, 𝑑 cadenas = {cd, dc, dd, cc, cddc, cdcdccdd, dcdd, … . } El conjunto de todas las cadenas de [c] y [d] que sean todas las combinaciones de 2 elementos de las letras [c] y [d] concatenadas 1 o más veces Exp. Equivalentes ((c|d)(c|d))+ 8. (𝑐|𝑑|𝑒)∗ 𝑒𝑐 Σ = 𝑐, 𝑑, 𝑒 cadenas = {ec, cec, ceec, cdeecdceec… . } El conjunto de todas las cadenas de [e], [c] y [d] que inician con 0 o más veces de [c], [d] y [e] seguidas de [ec] Exp. Equivalentes ((c*d*)|e)*ec 9. 𝑦(𝑥(𝑥𝑦|𝜉)+ )∗ 𝑥 Σ = 𝑥, 𝑦 cadenas = {yx, yxx, yxxyxyxxyx, … } El conjunto de todas las cadenas de [x] y [y] que inician con [y] seguidas de 0 o más veces [x] con [xy] 0 o más veces, y todo eso seguido de [x] Exp. Equivalentes y(x(xy)*| 𝜉)+ x Lenguajes regulares Lenguajes recursivamente numerádos Lenguajes sensibles de contexto Lenguajes libres de contexto Lenguajes regulares
  • 6. Luis Adrian Parra Avellaneda ISC ITT Page 5 Un lenguaje regular es todo lenguaje generado a partir de expresiones regulares, o como dicen la mayoría de los autores un lenguaje que puede ser aceptado por un autómata finito. En el libro de Isasi, Martínez y Borrajo se manejan las siguientes propiedades de un lenguaje regular: Ejercicios con lenguajes regulares Encuentre una o más expresiones regulares para los siguientes lenguajes 1. 𝐿 = {𝑥|𝑥𝜖 0,1 + } (00|01|11|00)+ ((0|1)(0|1))+ 2. 𝐿 = {𝑤𝜖 𝑎, 𝑏 ∗ |𝑤 𝑡𝑖𝑒𝑛𝑒 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟 𝑑𝑒 𝑎´𝑠} b*ab*(b*ab*ab*)* 3. 𝐿{𝑎 𝑛 𝑏 𝑛 |𝑛 ≥ 0} No existe expresión regular 4. 𝐿{0 𝑚 1 𝑛 |𝑛 ≥ 0, 𝑚 > 0} 0+ 1* 5. El conjunto de todas las cadenas de [c] y [d] que terminen con [dc] (c|d)*dc (c|d)dc+ L={w dc|w𝜖(c,d)*}
  • 7. Luis Adrian Parra Avellaneda ISC ITT Page 6 Más ejercicios 1. Encuentre una expresión regular más sencilla a) (a|b|ab|ba)*=(a|b)* b) x(xx*|x*)*=x+ c) (0|1)*01(0|1)*|0*1*=(0|1)*01(0|1)*|0*1*, no se encontró expresión más sencilla 2. Encuentre una expresión regular que corresponda a cada uno de los subconjuntos (0,1) a) Lenguaje de todas las cadenas que no terminan con 01 (0|1)*(00|11|10)|(0|1) b) Lenguaje de todas las cadenas que contienen exactamente 2 0´s (1*01*01*) c) Lenguaje de todas las cadenas que no contienen la subcadena 00 (1+ 01*)*|(1*01+ )|(1*|0) 3. Describa los siguientes lenguajes a) a*(ab)*b* Conjunto de todas las cadenas de [a] y [b] que empiezan con 0 o más [a] seguidas de 0 o más veces [ab] seguidas de 0 o más [b] b) c*(dcc)*d* Conjunto de todas las cadenas de [c] y [d] que empiezan con 0 o más [c], seguidas de 0 o más veces [dcc] seguidas de 0 o más veces d c) (xx*yy*)* Conjunto de todas las cadenas de [x] y [y] que empiezan con 1 o más [x] seguidas de 1 o más [y] todo eso concatenado 0 o más veces
  • 8. Luis Adrian Parra Avellaneda ISC ITT Page 7 Conclusiones En esta unidad aprendimos que es una expresión regular, la cual es una expresión que es aceptada por un autómata finito, pero ignorando el conocimiento de un autómata, es una expresión que se puede armar a partir de las operaciones como OR, concatenación, y cerraduras. Estas expresiones regulares forman un lenguaje regular, pero vimos que existen ciertos lenguajes que no pueden formar una expresión regular, por lo tanto no son lenguajes regulares. Como vimos en esta unidad, aprendimos a usar la lógica y el análisis para desarrollar expresiones a partir de lenguajes, a definir y describir ciertas expresiones, y también a desarrollar expresiones regulares diferentes Bibliografía  Isasi, Martínez, Borrajo (1997). Lenguajes, gramáticas y autómatas, un enfoque práctico. México. Editorial Addison-wesley  Hopcroft, Ullman (1993). Introducción a la teoría de autómatas, lenguajes y computación. Editorial CECSA  Brookshear. Teoría de la Computación, Lenguajes Formales, Autómatas y Complejidad. Addison Wesley.  Viso (2002). Teoría de la computación. México. Facultad de Ciencias UNAM  Louden (2004). Construcción de compiladores, principios y práctica. Ed Thomson Kelley, Dean, Teoría de Automatas y Lenguajes Formales, Prentice Hall.