SlideShare una empresa de Scribd logo
1 de 8
Descargar para leer sin conexión
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.

Más contenido relacionado

La actualidad más candente

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
 

La actualidad más candente (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
 

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

Similar a 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
 

Más de 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
 

Más de 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
 

Último

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
 
2. Cristaloquimica. ingenieria geologica
2. Cristaloquimica. ingenieria geologica2. Cristaloquimica. ingenieria geologica
2. Cristaloquimica. ingenieria geologicaJUDITHYEMELINHUARIPA
 
PRESENTACION DE LAS PLAGAS Y ENFERMEDADES DEL PALTO
PRESENTACION DE LAS PLAGAS Y ENFERMEDADES DEL PALTOPRESENTACION DE LAS PLAGAS Y ENFERMEDADES DEL PALTO
PRESENTACION DE LAS PLAGAS Y ENFERMEDADES DEL PALTOwillanpedrazaperez
 
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
 
Tipos de suelo y su clasificación y ejemplos
Tipos de suelo y su clasificación y ejemplosTipos de suelo y su clasificación y ejemplos
Tipos de suelo y su clasificación y ejemplosandersonsubero28
 
Matrices Matemáticos universitario pptx
Matrices  Matemáticos universitario pptxMatrices  Matemáticos universitario pptx
Matrices Matemáticos universitario pptxNancyJulcasumaran
 
Sistemas de Ecuaciones no lineales-1.pptx
Sistemas de Ecuaciones no lineales-1.pptxSistemas de Ecuaciones no lineales-1.pptx
Sistemas de Ecuaciones no lineales-1.pptx170766
 
sistema de CLORACIÓN DE AGUA POTABLE gst
sistema de CLORACIÓN DE AGUA POTABLE gstsistema de CLORACIÓN DE AGUA POTABLE gst
sistema de CLORACIÓN DE AGUA POTABLE gstDavidRojas870673
 
Video sustentación GA2- 240201528-AA3-EV01.pptx
Video sustentación GA2- 240201528-AA3-EV01.pptxVideo sustentación GA2- 240201528-AA3-EV01.pptx
Video sustentación GA2- 240201528-AA3-EV01.pptxcarlosEspaaGarcia
 
Mecatronica Automotriz .pdf
Mecatronica Automotriz              .pdfMecatronica Automotriz              .pdf
Mecatronica Automotriz .pdfleonardocahua1
 
Six Sigma Process and the dmaic metodo process
Six Sigma Process and the dmaic metodo processSix Sigma Process and the dmaic metodo process
Six Sigma Process and the dmaic metodo processbarom
 
Propuesta para la creación de un Centro de Innovación para la Refundación ...
Propuesta para la creación de un Centro de Innovación para la Refundación ...Propuesta para la creación de un Centro de Innovación para la Refundación ...
Propuesta para la creación de un Centro de Innovación para la Refundación ...Dr. Edwin Hernandez
 
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
 
Tipos de Valvulas para uso industrial y comercial
Tipos de Valvulas para uso industrial y comercialTipos de Valvulas para uso industrial y comercial
Tipos de Valvulas para uso industrial y comercialmacsal12345
 
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
 
metodos de fitomejoramiento en la aolicacion de plantas
metodos de fitomejoramiento en la aolicacion de plantasmetodos de fitomejoramiento en la aolicacion de plantas
metodos de fitomejoramiento en la aolicacion de plantasGraciaMatute1
 
2e38892c-fc5d-490e-b751-ce772cf4756f.pdf
2e38892c-fc5d-490e-b751-ce772cf4756f.pdf2e38892c-fc5d-490e-b751-ce772cf4756f.pdf
2e38892c-fc5d-490e-b751-ce772cf4756f.pdfLuisFernandoTQ
 
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
 
DIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJO
DIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJODIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJO
DIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJOJimyAMoran
 
CI164 Materiales de Construcción 202401 - Sesión 03 Propiedades No Mecánicas.pdf
CI164 Materiales de Construcción 202401 - Sesión 03 Propiedades No Mecánicas.pdfCI164 Materiales de Construcción 202401 - Sesión 03 Propiedades No Mecánicas.pdf
CI164 Materiales de Construcción 202401 - Sesión 03 Propiedades No Mecánicas.pdfsarm0803
 

Último (20)

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
 
2. Cristaloquimica. ingenieria geologica
2. Cristaloquimica. ingenieria geologica2. Cristaloquimica. ingenieria geologica
2. Cristaloquimica. ingenieria geologica
 
PRESENTACION DE LAS PLAGAS Y ENFERMEDADES DEL PALTO
PRESENTACION DE LAS PLAGAS Y ENFERMEDADES DEL PALTOPRESENTACION DE LAS PLAGAS Y ENFERMEDADES DEL PALTO
PRESENTACION DE LAS PLAGAS Y ENFERMEDADES DEL PALTO
 
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
 
Tipos de suelo y su clasificación y ejemplos
Tipos de suelo y su clasificación y ejemplosTipos de suelo y su clasificación y ejemplos
Tipos de suelo y su clasificación y ejemplos
 
Matrices Matemáticos universitario pptx
Matrices  Matemáticos universitario pptxMatrices  Matemáticos universitario pptx
Matrices Matemáticos universitario pptx
 
Sistemas de Ecuaciones no lineales-1.pptx
Sistemas de Ecuaciones no lineales-1.pptxSistemas de Ecuaciones no lineales-1.pptx
Sistemas de Ecuaciones no lineales-1.pptx
 
sistema de CLORACIÓN DE AGUA POTABLE gst
sistema de CLORACIÓN DE AGUA POTABLE gstsistema de CLORACIÓN DE AGUA POTABLE gst
sistema de CLORACIÓN DE AGUA POTABLE gst
 
Video sustentación GA2- 240201528-AA3-EV01.pptx
Video sustentación GA2- 240201528-AA3-EV01.pptxVideo sustentación GA2- 240201528-AA3-EV01.pptx
Video sustentación GA2- 240201528-AA3-EV01.pptx
 
Mecatronica Automotriz .pdf
Mecatronica Automotriz              .pdfMecatronica Automotriz              .pdf
Mecatronica Automotriz .pdf
 
Six Sigma Process and the dmaic metodo process
Six Sigma Process and the dmaic metodo processSix Sigma Process and the dmaic metodo process
Six Sigma Process and the dmaic metodo process
 
Propuesta para la creación de un Centro de Innovación para la Refundación ...
Propuesta para la creación de un Centro de Innovación para la Refundación ...Propuesta para la creación de un Centro de Innovación para la Refundación ...
Propuesta para la creación de un Centro de Innovación para la Refundación ...
 
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
 
Tipos de Valvulas para uso industrial y comercial
Tipos de Valvulas para uso industrial y comercialTipos de Valvulas para uso industrial y comercial
Tipos de Valvulas para uso industrial y comercial
 
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
 
metodos de fitomejoramiento en la aolicacion de plantas
metodos de fitomejoramiento en la aolicacion de plantasmetodos de fitomejoramiento en la aolicacion de plantas
metodos de fitomejoramiento en la aolicacion de plantas
 
2e38892c-fc5d-490e-b751-ce772cf4756f.pdf
2e38892c-fc5d-490e-b751-ce772cf4756f.pdf2e38892c-fc5d-490e-b751-ce772cf4756f.pdf
2e38892c-fc5d-490e-b751-ce772cf4756f.pdf
 
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
 
DIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJO
DIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJODIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJO
DIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJO
 
CI164 Materiales de Construcción 202401 - Sesión 03 Propiedades No Mecánicas.pdf
CI164 Materiales de Construcción 202401 - Sesión 03 Propiedades No Mecánicas.pdfCI164 Materiales de Construcción 202401 - Sesión 03 Propiedades No Mecánicas.pdf
CI164 Materiales de Construcción 202401 - Sesión 03 Propiedades No Mecánicas.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.