Expresiones Regulares

Documentos relacionados
Expresiones Regulares y Derivadas Formales

Procesadores de Lenguaje

Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS. Números naturales. Inducción matemática

Autómatas de Pila y Lenguajes Incontextuales

Equivalencia Entre PDA y CFL

Lenguajes y Gramáticas

Tema 2. Fundamentos de la Teoría de Lenguajes Formales

Estructuras Algebraicas

Conjunto R 3 y operaciones lineales en R 3

Lenguajes (gramáticas y autómatas)

Expresiones regulares, gramáticas regulares

Sumario: Teoría de Autómatas y Lenguajes Formales. Capítulo 2: Lenguajes Formales. Capítulo 2: Lenguajes Formales

Autómatas Mínimos. Encontrar el autómata mínimo. Universidad de Cantabria. Introducción Minimización de Autómatas Deterministas Resultados Algoritmo

Capítulo 7: Expresiones Regulares

Expresiones Regulares y Derivadas Formales

Lenguajes, Gramáticas y Autómatas Conceptos

LENGUAJES FORMALES Y AUTÓMATAS

Ingeniería en Computación. Autómatas y Lenguajes Formales. Unidad de competencia IV: Conocer, utilizar y diseñar gramáticas de libre contexto

Compiladores: Análisis Sintáctico. Pontificia Universidad Javeriana Cali Ingenieria de Sistemas y Computación Prof. Gloria Inés Alvarez V.

Clase 17: Autómatas de pila

Fundamentos de Ciencias de la Computación Trabajo Práctico N 2 Lenguajes Libres del Contexto y Sensibles al Contexto Segundo Cuatrimestre de 2002

Grupos libres. Presentaciones.

Teoría de Autómatas y Lenguajes Formales.

John Venn Matemático y filósofo británico creador de los diagramas de Venn

Capítulo 1 Lenguajes formales 6

TEMA 1. MATRICES, DETERMINANTES Y APLICACIÓN DE LOS DETERMINANTES. CONCEPTO DE MATRIZ. LA MATRIZ COMO EXPRESIÓN DE TABLAS Y GRAFOS.

Tema 5 Lenguajes independientes del contexto. Sintaxis

Matrices y determinantes. Sistemas de ecuaciones lineales

2. El conjunto de los números complejos

La Jerarquía de Chomsky

Definición Dados dos números naturales m y n, una matriz de orden o dimensión m n es una tabla numérica rectangular con m filas y n columnas.

Temas. Objetivo. Que el estudiante logre: 1) Identificar conceptos constructivos de la Teoría de la Computabilidad. 2) Definir autómatas de pila.

Algebra Lineal. Gustavo Rodríguez Gómez. Verano 2011 INAOE. Gustavo Rodríguez Gómez (INAOE) Algebra Lineal Verano / 21

13.3. MT para reconocer lenguajes

Espacios Vectoriales

Transformaciones lineales y matrices

Matriz A = Se denomina MATRIZ a todo conjunto de números o expresiones dispuestos en forma rectangular, formando filas y columnas.

Teoría de anillos. Dominios, cuerpos y cuerpos de fracciones. Característica de un cuerpo.

UNIDAD 4. Álgebra Booleana

EJERCICIOS del TEMA 3: Lenguajes independientes del contexto

TEMA 1. NÚMEROS REALES Y COMPLEJOS

Tema 3.1 Introducción a los circuitos combinacionales. Algebra de Boole

Problemas de Espacios Vectoriales

Lenguajes Regulares. Antonio Falcó. - p. 1

Introducción a la Probabilidad

b) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A

TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Grado en Ingeniería Informática Online, Curso Universidad Rey Juan Carlos

Álgebra de Boole. Adición booleana. Multiplicación booleana. Escuela Politécnica Superior

Gramáticas independientes del contexto AUTÓMATAS Y LENGUAJES FORMALES LENGUAJES INDEPENDIENTES DEL CONTEXTO Y AUTÓMATAS DE PILA. Otras definiciones I

Tema 3: Espacios vectoriales

CONCEPTOS BÁSICOS DE ESPACIOS VECTORIALES Alumno. Cristina Mª Méndez Suero

Conjuntos y matrices. Sistemas de ecuaciones lineales

Teoría de Lenguajes. Clase Teórica 7 Autómatas de Pila y Lenguajes Independientes del Contexto Primer cuartimestre 2014

Definición de la matriz inversa

Sobre funciones reales de variable real. Composición de funciones. Función inversa

Teoría de Autómatas y Lenguajes Formales. Introducción a las Gramáticas. Gramáticas incontextuales

EL CUERPO ORDENADO REALES

Lenguajes No Regulares

AUTÓMATAS DE PILA Y LENGUAJES INDEPENDIENTES DEL CONTEXTO

Apuntes de Matemática Discreta 2. Operaciones con Conjuntos

Numeración. Número Es la idea que tenemos sobre la cantidad de los elementos de la naturaleza.

Grupos y Subgrupos El concepto de grupo Sea G un conjunto no vacío y sea G G G

Forma binomial de números complejos (ejercicios)

Recordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de números que son básicos.

Matemáticas Discretas TC1003

Expresiones algebraicas. Copyright 2013, 2009, 2006 Pearson Education, Inc. 1

Números naturales y recursividad

Tema I 1. EL CUERPO DE LOS REALES, EL CUERPO DE LOS COMPLEJOS

Estructuras algebraicas

Clase 03: Alfabetos, símbolos y cadenas

Espacios vectoriales

Dos matrices son iguales cuando tienen la misma dimensión y los elementos que ocupan el mismo lugar en ambas son iguales

ÁLGEBRA LINEAL I Algunas soluciones a la Práctica 3

Anillo de polinomios con coeficientes en un cuerpo

Análisis Matemático I: Numeros Reales y Complejos

Ejercicios de Lógica Proposicional *

Demostraciones a Teoremas de Límites

Matrices y Determinantes

Procesadores de Lenguaje

DEFINICIONES TIPOS DE MATRICES DETERMINANTES Y PROPIEDADES OPERACIONES MATRICIALES INVERSA DE UNA MATRIZ SISTEMAS DE ECUACIONES

Transformaciones lineales

Interrogación 2. Pontificia Universidad Católica de Chile Escuela de Ingeniería Departamento de Ciencia de la Computación. Segundo Semestre, 2003

Álgebras de Boole. Definición 1 Un álgebra de Boole es un conjunto parcialmente ordenado (B, ) que verifica las siguientes condiciones:

INAOE. Gramáticas Libres de Contexto. Definición formal de CFGs. Derivaciones usando. Derivaciones. izquierda y. derecha.

Tema: Autómata de Pila

520142: ALGEBRA y ALGEBRA LINEAL

CURSO BÁSICO DE MATEMÁTICAS PARA ESTUDIANTES DE ECONÓMICAS Y EMPRESARIALES. Unidad didáctica 4. Números reales y números complejos

TEMA 2. ESPACIOS VECTORIALES

El Autómata con Pila

MATRICES. Se simboliza tal matriz por y se le llamará una matriz x o matriz de orden x (que se lee por ).

Tema 1: Matrices. El concepto de matriz alcanza múltiples aplicaciones tanto en la representación y manipulación de datos como en el cálculo numérico.

Definición de la matriz inversa

Transcripción:

Conjuntos Regulares y Una forma diferente de expresar un lenguaje Universidad de Cantabria

Conjuntos Regulares y Esquema 1 Motivación 2 Conjuntos Regulares y 3 4

Conjuntos Regulares y Motivación El problema que se pretende resolver mediante la introducción de las expresiones regulares es el de obtener algún tipo de descriptores para los lenguajes generados por las gramáticas regulares.

Conjuntos Regulares y Motivación Cuales son los lenguajes más sencillos? Los conjuntos finitos, La concatenación de palabras de diferentes lenguajes, La repetición de elementos una y otra vez (operación estrella).

Conjuntos Regulares y Motivación Cuales son los lenguajes más sencillos? Los conjuntos finitos, La concatenación de palabras de diferentes lenguajes, La repetición de elementos una y otra vez (operación estrella).

Conjuntos Regulares y Motivación Cuales son los lenguajes más sencillos? Los conjuntos finitos, La concatenación de palabras de diferentes lenguajes, La repetición de elementos una y otra vez (operación estrella).

Conjuntos Regulares y Ejemplo de operaciones Supongamos que el alfabeto sobre el que definimos nuestro lenguaje Σ = {a, b} y tenemos estos lenguajes L 1 := aa, ab, L 2 := ba, bb. Podemos definir estos nuevos lenguajes: L 1 L 2 := {aa, ab, ba, bb}, L 1 L 2 := {aaba, abbb, abba, aabb}, L 1 := {aa, ab, aaaa, aaab, abaa, abab,...}.

Conjuntos Regulares y Ejemplo de operaciones Supongamos que el alfabeto sobre el que definimos nuestro lenguaje Σ = {a, b} y tenemos estos lenguajes L 1 := aa, ab, L 2 := ba, bb. Podemos definir estos nuevos lenguajes: L 1 L 2 := {aa, ab, ba, bb}, L 1 L 2 := {aaba, abbb, abba, aabb}, L 1 := {aa, ab, aaaa, aaab, abaa, abab,...}.

Conjuntos Regulares y Ejemplo de operaciones Supongamos que el alfabeto sobre el que definimos nuestro lenguaje Σ = {a, b} y tenemos estos lenguajes L 1 := aa, ab, L 2 := ba, bb. Podemos definir estos nuevos lenguajes: L 1 L 2 := {aa, ab, ba, bb}, L 1 L 2 := {aaba, abbb, abba, aabb}, L 1 := {aa, ab, aaaa, aaab, abaa, abab,...}.

Conjuntos Regulares y Definición Definición (Conjuntos regulares) Sea Σ un alfabeto finito. Un conjunto regular es cualquier conjunto definido solamente a partir de concatenación, unión y la operación estrella sobre conjuntos regulares.

Conjuntos Regulares y Definición Definición () Sea Σ un alfabeto finito. Llamaremos expresión regular sobre el alfabeto Σ a toda palabra sobre el alfabeto Σ 1 definido por la siguiente igualdad: Σ 1 := {, λ, +,, (, ), } Σ, conforme a las reglas siguientes: Son expresiones regulares, λ, a para cualquier símbolo a en el alfabeto Σ. Si α y β son expresiones regulares, también lo son: (α + β) es una expresión regular, (α β) es una expresión regular, (α) es una expresión regular.

Conjuntos Regulares y Ejemplo Ejemplo Tomemos el alfabeto Σ := {a, b}. Son expresiones regulares las secuencias de símbolos (palabras) siguientes: a a + b a, ab ba,...

Conjuntos Regulares y La Semántica de las Definición Sea Σ un alfabeto finito. A cada expresión regular sobre el alfabeto α le asignaremos un lenguaje formal L(α) Σ conforme a las siguientes reglas: Aplicando las reglas recursivas, si α y β son dos expresiones regulares sobre el alfabeto Σ usaremos las reglas siguientes: L(α + β) = L(α) L(β), L(α β) = L(α) L(β), L(α ) = L(α). También mencionamos que el operador tiene preferencia sobre y éste sobre +.

Conjuntos Regulares y Ejemplo Ejemplo Sea α := 0 10 la expresión regular sobre el alfabeto Σ := {0, 1}. Entonces, L(0 10 ) = L(0) L(1) L(0) = {0 m 10 n : n, m N}.

Conjuntos Regulares y No Unicidad Un conjunto regular puede estar definido por dos expresiones regulares, como por ejemplo 1 y (1 ).

Conjuntos Regulares y Equivalencia Definición Diremos que dos expresiones regulares α y β son tautológicamente equivalentes (o, simplemente, equivalentes) si se verifica: L(α) = L(β). Escribamos α β para indicar equivalencia tautológica.

Conjuntos Regulares y Las expresiones regulares tienen varias propiedades que permiten operar y, a veces, reducir expresiones regulares.

Conjuntos Regulares y Asociativa: α (β γ) (α β) γ, α + (β + γ) = (α + β) + γ.

Conjuntos Regulares y Conmutativa (sólo para +) α + β β + α.

Conjuntos Regulares y Elementos Neutros: α + α, α λ α, α.

Conjuntos Regulares y Idempotencia: α + α α.

Conjuntos Regulares y Distributivas: α (β + γ) α β + α γ. (α + β) γ α γ + β γ.

Conjuntos Regulares y Invariantes para : λ λ,, (α ) = α

Conjuntos Regulares y La notación α + : α α α α α +. α = λ + α + y la relación de con la suma: (α + β) (α β ).