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
 
Tópicos Avanzados de Programación - Unidad 4 Acceso a datos
Tópicos Avanzados de Programación - Unidad 4 Acceso a datosTópicos Avanzados de Programación - Unidad 4 Acceso a datos
Tópicos Avanzados de Programación - Unidad 4 Acceso a datosJosé Antonio Sandoval Acosta
 
Gramática Libre de Contexto
Gramática Libre de ContextoGramática Libre de Contexto
Gramática Libre de ContextoBrayhan Acosta
 
Automatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No DeterministicosAutomatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No DeterministicosRosviannis Barreiro
 
Trabajo de compiladores completo alexandra
Trabajo de compiladores completo alexandraTrabajo de compiladores completo alexandra
Trabajo de compiladores completo alexandraAlexandraMolinaSanchez
 
Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1Osiris Mirerus
 
Lenguajes libre de contexto
Lenguajes libre de contextoLenguajes libre de contexto
Lenguajes libre de contextoVerónica Es'Loo
 
Etapas del Proceso de la Ingeniería del Software
Etapas del Proceso de la Ingeniería del SoftwareEtapas del Proceso de la Ingeniería del Software
Etapas del Proceso de la Ingeniería del SoftwareT.I.C
 
Generación código intermedio 2
Generación código intermedio 2Generación código intermedio 2
Generación código intermedio 2Humano Terricola
 
Origen del Modelo OSI y su impacto en als estructuras de redes
Origen del Modelo OSI y su impacto en als estructuras de redesOrigen del Modelo OSI y su impacto en als estructuras de redes
Origen del Modelo OSI y su impacto en als estructuras de redesKim Sorel Rush
 

Was ist angesagt? (20)

Unidad 2 expresiones regulares
Unidad 2 expresiones regularesUnidad 2 expresiones regulares
Unidad 2 expresiones regulares
 
Analizador Sintáctico
Analizador SintácticoAnalizador Sintáctico
Analizador Sintáctico
 
Tópicos Avanzados de Programación - Unidad 4 Acceso a datos
Tópicos Avanzados de Programación - Unidad 4 Acceso a datosTópicos Avanzados de Programación - Unidad 4 Acceso a datos
Tópicos Avanzados de Programación - Unidad 4 Acceso a datos
 
Gramática Libre de Contexto
Gramática Libre de ContextoGramática Libre de Contexto
Gramática Libre de Contexto
 
Automatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No DeterministicosAutomatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No Deterministicos
 
Tabla de símbolos
Tabla de símbolosTabla de símbolos
Tabla de símbolos
 
Código intermedio
Código intermedioCódigo intermedio
Código intermedio
 
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
 
Clase2
Clase2Clase2
Clase2
 
Unidad1 Lenguajes y automatas
Unidad1 Lenguajes y automatasUnidad1 Lenguajes y automatas
Unidad1 Lenguajes y automatas
 
Trabajo de compiladores completo alexandra
Trabajo de compiladores completo alexandraTrabajo de compiladores completo alexandra
Trabajo de compiladores completo alexandra
 
UNIDAD 3 MODULARIZACIÓN
UNIDAD 3 MODULARIZACIÓNUNIDAD 3 MODULARIZACIÓN
UNIDAD 3 MODULARIZACIÓN
 
Estándares para el Modelado de Procesos de Negocios
Estándares para el Modelado de Procesos de NegociosEstándares para el Modelado de Procesos de Negocios
Estándares para el Modelado de Procesos de Negocios
 
Jerarquia de chomsky
Jerarquia de chomskyJerarquia de chomsky
Jerarquia de chomsky
 
Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1
 
Lenguajes libre de contexto
Lenguajes libre de contextoLenguajes libre de contexto
Lenguajes libre de contexto
 
Etapas del Proceso de la Ingeniería del Software
Etapas del Proceso de la Ingeniería del SoftwareEtapas del Proceso de la Ingeniería del Software
Etapas del Proceso de la Ingeniería del Software
 
Traductor y su estructura
Traductor y su estructuraTraductor y su estructura
Traductor y su estructura
 
Generación código intermedio 2
Generación código intermedio 2Generación código intermedio 2
Generación código intermedio 2
 
Origen del Modelo OSI y su impacto en als estructuras de redes
Origen del Modelo OSI y su impacto en als estructuras de redesOrigen del Modelo OSI y su impacto en als estructuras de redes
Origen del Modelo OSI y su impacto en als estructuras de redes
 

Ähnlich wie Expresiones regulares y lenguajes regulares

Ähnlich wie Expresiones regulares 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
 
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
 
ESPRESIONES REGULARES
ESPRESIONES REGULARESESPRESIONES REGULARES
ESPRESIONES REGULARES
 
lenguajes y_gramaticas
lenguajes y_gramaticaslenguajes y_gramaticas
lenguajes y_gramaticas
 
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
 
Teoria de lenguajes
Teoria de lenguajesTeoria de lenguajes
Teoria de lenguajes
 

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
 
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 (7)

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

ECONOMIA APLICADA SEMANA 555555555544.pdf
ECONOMIA APLICADA SEMANA 555555555544.pdfECONOMIA APLICADA SEMANA 555555555544.pdf
ECONOMIA APLICADA SEMANA 555555555544.pdfmatepura
 
Magnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principiosMagnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principiosMarceloQuisbert6
 
Procesos-de-la-Industria-Alimentaria-Envasado-en-la-Produccion-de-Alimentos.pptx
Procesos-de-la-Industria-Alimentaria-Envasado-en-la-Produccion-de-Alimentos.pptxProcesos-de-la-Industria-Alimentaria-Envasado-en-la-Produccion-de-Alimentos.pptx
Procesos-de-la-Industria-Alimentaria-Envasado-en-la-Produccion-de-Alimentos.pptxJuanPablo452634
 
Manual_Identificación_Geoformas_140627.pdf
Manual_Identificación_Geoformas_140627.pdfManual_Identificación_Geoformas_140627.pdf
Manual_Identificación_Geoformas_140627.pdfedsonzav8
 
Seleccion de Fusibles en media tension fusibles
Seleccion de Fusibles en media tension fusiblesSeleccion de Fusibles en media tension fusibles
Seleccion de Fusibles en media tension fusiblesSaulSantiago25
 
Obras paralizadas en el sector construcción
Obras paralizadas en el sector construcciónObras paralizadas en el sector construcción
Obras paralizadas en el sector construcciónXimenaFallaLecca1
 
Tinciones simples en el laboratorio de microbiología
Tinciones simples en el laboratorio de microbiologíaTinciones simples en el laboratorio de microbiología
Tinciones simples en el laboratorio de microbiologíaAlexanderimanolLencr
 
tema05 estabilidad en barras mecanicas.pdf
tema05 estabilidad en barras mecanicas.pdftema05 estabilidad en barras mecanicas.pdf
tema05 estabilidad en barras mecanicas.pdfvictoralejandroayala2
 
NTP- Determinación de Cloruros en suelos y agregados (1) (1).pptx
NTP- Determinación de Cloruros  en suelos y agregados (1) (1).pptxNTP- Determinación de Cloruros  en suelos y agregados (1) (1).pptx
NTP- Determinación de Cloruros en suelos y agregados (1) (1).pptxBRAYANJOSEPTSANJINEZ
 
DOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERAS
DOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERASDOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERAS
DOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERASPersonalJesusGranPod
 
UNIDAD 3 ELECTRODOS.pptx para biopotenciales
UNIDAD 3 ELECTRODOS.pptx para biopotencialesUNIDAD 3 ELECTRODOS.pptx para biopotenciales
UNIDAD 3 ELECTRODOS.pptx para biopotencialesElianaCceresTorrico
 
PPT ELABORARACION DE ADOBES 2023 (1).pdf
PPT ELABORARACION DE ADOBES 2023 (1).pdfPPT ELABORARACION DE ADOBES 2023 (1).pdf
PPT ELABORARACION DE ADOBES 2023 (1).pdfalexquispenieto2
 
Una estrategia de seguridad en la nube alineada al NIST
Una estrategia de seguridad en la nube alineada al NISTUna estrategia de seguridad en la nube alineada al NIST
Una estrategia de seguridad en la nube alineada al NISTFundación YOD YOD
 
Sesión 02 TIPOS DE VALORIZACIONES CURSO Cersa
Sesión 02 TIPOS DE VALORIZACIONES CURSO CersaSesión 02 TIPOS DE VALORIZACIONES CURSO Cersa
Sesión 02 TIPOS DE VALORIZACIONES CURSO CersaXimenaFallaLecca1
 
IPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESA
IPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESAIPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESA
IPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESAJAMESDIAZ55
 
Flujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptxFlujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptxEduardoSnchezHernnde5
 
hitos del desarrollo psicomotor en niños.docx
hitos del desarrollo psicomotor en niños.docxhitos del desarrollo psicomotor en niños.docx
hitos del desarrollo psicomotor en niños.docxMarcelaArancibiaRojo
 
Comite Operativo Ciberseguridad 012020.pptx
Comite Operativo Ciberseguridad 012020.pptxComite Operativo Ciberseguridad 012020.pptx
Comite Operativo Ciberseguridad 012020.pptxClaudiaPerez86192
 
Condensadores de la rama de electricidad y magnetismo
Condensadores de la rama de electricidad y magnetismoCondensadores de la rama de electricidad y magnetismo
Condensadores de la rama de electricidad y magnetismosaultorressep
 
Residente de obra y sus funciones que realiza .pdf
Residente de obra y sus funciones que realiza  .pdfResidente de obra y sus funciones que realiza  .pdf
Residente de obra y sus funciones que realiza .pdfevin1703e
 

Kürzlich hochgeladen (20)

ECONOMIA APLICADA SEMANA 555555555544.pdf
ECONOMIA APLICADA SEMANA 555555555544.pdfECONOMIA APLICADA SEMANA 555555555544.pdf
ECONOMIA APLICADA SEMANA 555555555544.pdf
 
Magnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principiosMagnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principios
 
Procesos-de-la-Industria-Alimentaria-Envasado-en-la-Produccion-de-Alimentos.pptx
Procesos-de-la-Industria-Alimentaria-Envasado-en-la-Produccion-de-Alimentos.pptxProcesos-de-la-Industria-Alimentaria-Envasado-en-la-Produccion-de-Alimentos.pptx
Procesos-de-la-Industria-Alimentaria-Envasado-en-la-Produccion-de-Alimentos.pptx
 
Manual_Identificación_Geoformas_140627.pdf
Manual_Identificación_Geoformas_140627.pdfManual_Identificación_Geoformas_140627.pdf
Manual_Identificación_Geoformas_140627.pdf
 
Seleccion de Fusibles en media tension fusibles
Seleccion de Fusibles en media tension fusiblesSeleccion de Fusibles en media tension fusibles
Seleccion de Fusibles en media tension fusibles
 
Obras paralizadas en el sector construcción
Obras paralizadas en el sector construcciónObras paralizadas en el sector construcción
Obras paralizadas en el sector construcción
 
Tinciones simples en el laboratorio de microbiología
Tinciones simples en el laboratorio de microbiologíaTinciones simples en el laboratorio de microbiología
Tinciones simples en el laboratorio de microbiología
 
tema05 estabilidad en barras mecanicas.pdf
tema05 estabilidad en barras mecanicas.pdftema05 estabilidad en barras mecanicas.pdf
tema05 estabilidad en barras mecanicas.pdf
 
NTP- Determinación de Cloruros en suelos y agregados (1) (1).pptx
NTP- Determinación de Cloruros  en suelos y agregados (1) (1).pptxNTP- Determinación de Cloruros  en suelos y agregados (1) (1).pptx
NTP- Determinación de Cloruros en suelos y agregados (1) (1).pptx
 
DOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERAS
DOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERASDOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERAS
DOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERAS
 
UNIDAD 3 ELECTRODOS.pptx para biopotenciales
UNIDAD 3 ELECTRODOS.pptx para biopotencialesUNIDAD 3 ELECTRODOS.pptx para biopotenciales
UNIDAD 3 ELECTRODOS.pptx para biopotenciales
 
PPT ELABORARACION DE ADOBES 2023 (1).pdf
PPT ELABORARACION DE ADOBES 2023 (1).pdfPPT ELABORARACION DE ADOBES 2023 (1).pdf
PPT ELABORARACION DE ADOBES 2023 (1).pdf
 
Una estrategia de seguridad en la nube alineada al NIST
Una estrategia de seguridad en la nube alineada al NISTUna estrategia de seguridad en la nube alineada al NIST
Una estrategia de seguridad en la nube alineada al NIST
 
Sesión 02 TIPOS DE VALORIZACIONES CURSO Cersa
Sesión 02 TIPOS DE VALORIZACIONES CURSO CersaSesión 02 TIPOS DE VALORIZACIONES CURSO Cersa
Sesión 02 TIPOS DE VALORIZACIONES CURSO Cersa
 
IPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESA
IPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESAIPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESA
IPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESA
 
Flujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptxFlujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptx
 
hitos del desarrollo psicomotor en niños.docx
hitos del desarrollo psicomotor en niños.docxhitos del desarrollo psicomotor en niños.docx
hitos del desarrollo psicomotor en niños.docx
 
Comite Operativo Ciberseguridad 012020.pptx
Comite Operativo Ciberseguridad 012020.pptxComite Operativo Ciberseguridad 012020.pptx
Comite Operativo Ciberseguridad 012020.pptx
 
Condensadores de la rama de electricidad y magnetismo
Condensadores de la rama de electricidad y magnetismoCondensadores de la rama de electricidad y magnetismo
Condensadores de la rama de electricidad y magnetismo
 
Residente de obra y sus funciones que realiza .pdf
Residente de obra y sus funciones que realiza  .pdfResidente de obra y sus funciones que realiza  .pdf
Residente de obra y sus funciones que realiza .pdf
 

Expresiones regulares 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.