Expresiones regulares

Slides:



Advertisements
Presentaciones similares
Posición Relativa de dos rectas
Advertisements

Introducción ¿Qué es un Algoritmo?
Simplificación de expresiones algebraicas
 Primitivas de la construcción de Thompson Expresión regular
Conversión de autómata finito con transiciones-ε a autómata finito determinista Estados q3q3 q2q2 q0q0 q1q1 q4q4 a b c c c.
Ecuaciones lineales o de primer grado.
Algoritmos y Programas
INSTITUTO TECNOLÓGICO DE MINATITLÁN
Conceptos básicos Def. Un símbolo es cualquier carácter imprimible.
Autómatas de pila (Pushdown automata)
Gramáticas.
Diseño de Autómatas Finitos
Autómatas Finitos.
Diseño de AFN’s.
Autómata Finito Un autómata finito (AF) es un modelo de computación muy restringido, sin embargo tiene una gran aplicación en reconocimiento de patrones.
TIPOS DE GRAMATICAS JERARQUIAS DE CHOMSKY
UNIVERSIDAD NACIONAL DE INGENIERÍA UNI- NORTE
Ecuaciones de Valor Absoluto y Desigualdades
El mundo de la Integral.
Conversión de autómata finito con transiciones-ε y no determinista a autómata finito determinista Estados Entradas a b c q0q0 q1q1 q2q2 q3q3 q4q4 ab b.
UPC Tema: ESPACIO VECTORIAL Rn
DESCRIPCION DE SISTEMAS
Tomado de Sudkamp: Languages and Machines Cap. 7.
TEORÍA DE CONJUNTOS.
DERIVADA DE UNA FUNCION REAL
SISTEMAS DE ECUACIONES LINEALES. MÉTODO DE GAUSS
2.1 – Expresiones algebraicas
INTEGRACIÓN.
Ecuaciones y Resolución de Ecuaciones Lineales
Tema 2 Autómatas finitos 1. Autómata finito determinista
Tema 1.- Lenguajes. Gramáticas
Taller matemático (Cálculo)
Fundamentos de Lógica Difusa (Fuzzy)
Funciones de Variables Aleatorias y Función Generadora de Momentos
Ecuaciones Diferenciales Ordinarias
SISTEMAS DE ECUACIONES RESOLUCIÓN POR EL METODO DE GAUSS
EJERCICIOS DE EXPRESIONES REGULARES Y AUTOMATAS
Ecuaciones logarítmicas
Sesión 14.3 Sistema Coordenado Tridimensional y Vectores en el espacio.
Expresiones algebraicas
Expresiones Regulares
Ciencias de la Computación I
Lic. Mat. Helga Kelly Quiroz Chavil
Sistemas de Ecuaciones lineales
Transferencia de potencia a través de cuadripolos
Áreas entre curvas..
5. Propiedades de Cierre de los lenguajes regulares
Tema: Sistema de Ecuaciones Lineales - Forma Matricial
INTEGRALES.
Tema 1.- Lenguajes. Gramáticas
Introducción a la Teoría de Lenguajes Preparado por Manuel E. Bermúdez, Ph.D. Profesor Asociado University of Florida Curso de Compiladores.
2º curso Ingeniería Técnica en Informática de Sistemas UNED
Introducción a Funciones de una variable
Tema 2 Autómatas finitos 1. Autómata finito determinista
Lenguajes regulares Teoría del Autómata.
Teoría de lenguajes y compiladores Analizadores lexicográficos
Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED.
COMPUTABILIDAD Y COMPLEJIDAD 1. Conceptos básicos (revisión). 2. Gramáticas independientes de contexto. 3. Propiedades de los lenguajes independientes.
Teoría de lenguajes y compiladores
Tomado de Sudkamp: Languages and Machines Cap. 6.
1 AFDAFN AF Gramáticas lineales derecha Expresiones regulares Tema 2 Método de los AF Método de las derivadas Sistemas de Ecuaciones Tema 1.
UNIDAD 4 Clase 6.3 Tema: Sistema de Ecuaciones Lineales
Teoría de lenguajes y compiladores
I.- ESTUDIO DE LOS LENGUAJES DE PROGRAMACIÓN.
@ Angel Prieto BenitoApuntes de Matemáticas 3º ESO1 SISTEMAS DE ECUACIONES Tema 6 * 3º ESO.
IV. GRAMÁTICAS DISTRIBUIDAS Y TABLAS DE SÍMBOLOS
REPÚBLICA BOLIVARIANA DE VENEZUELA MINISTERIO DEL PODER POPULAR PARA LA EDUCACION SUPERIOR UNIVERSIDAD VALLE DEL MOMBOY CARVAJAL EDO. TRUJILLO ENERO 2014.
República Bolivariana de Venezuela Ministerio del Poder Popular para la Educación Superior Universidad Valle del Momboy Carvajal, Trujillo Alumnas Luzmila.
FUNCIONES Definición y notación de función
Tema 2 Autómatas finitos 1. Autómata finito determinista
Transcripción de la presentación:

Expresiones regulares AFD AFN AF Tema 2 Gramáticas lineales derecha Tema 1 Sistemas de Ecuaciones Método de los AF Método de las derivadas Expresiones regulares

Expresiones regulares Una expresión regular se define inductivamente como:  denota el lenguaje vacío.  denota {}.  a  , a denota {a}. Si r y s son expresiones regulares que denotan Lr y Ls: (r) denota también Lr. r + s denota Lr  Ls. r s denota Lr Ls. (r)* denota (Lr )*. Solo son E. R. las definidas de esa manera. ( ) * Prioridad de operadores Concatenación Unión

Propiedades de equivalencia (, ,  son E.R.) 1.  + ( + ) = ( + ) + . 2.  +  =  + . 3. () = (). 4. ( + ) =   +   ; ( + )  =   +  . 5.   =   = . 6.  +  =  +  = . 7. * =  8.  =  = . 9. * = . 10. * =  +  * . 11. (* + *)* = (* *)* = ( + )* . 12. ()* = (  )*. 13. (*)** = ( + )* . 14. (*)* = ( + )*  + .

Equivalencia entre A.F. y E.R. AF a partir de expresiones regulares  {a}  q0 qfA A   Unión qf q0   q0 qfB B  q0 qfA q0 qf A B Concatenación

AFD a partir de expresiones regulares: Mét. de derivadas Clausura    q0 qA qfA A qf  AFD a partir de expresiones regulares: Mét. de derivadas Dados: r E. R., x  * Dx(r) = x-1 r = {y  * xy  L(r)}

Reglas del cálculo de Derivadas a) Respecto a símbolos (a, b  , r, s E.R.) : 1. a-1  = . 2. a-1  = . 3. a-1 a =  ; a-1 b =  si a  b . 4. a-1 (r + s ) = a-1 r + a-1 s. - ( a-1r )s si   r 5. a-1 (r s ) = - ( a-1r )s + a-1s si   r 6. a-1 r* = (a-1 r ) r* b) Respecto a cadenas (a  , x  *) : 1. -1 r = r. 2. (xa) -1r = a -1(x -1r).

Obtención de autómatas a partir de E. regulares Un autómata A es equivalente a una expresión regular r sii L(A) = L(r) Entrada: Expresión regular r Salida: AFD A equivalente a r. Método: Calcular {x-1 r x  * } Definir A = (Q, , , q0, F) como sigue Q = {x-1 r x  * }  alfabeto de r (x-1 r , a) = (xa)-1r q0 = -1 r = r x-1 r  F    x-1 r

Sistemas (lineales) de ecuaciones en expresiones regulares X = rX + s con r, s, X expresiones regulares Solución (lema de Arden) X = r* s es solución. Es única si   r (p.10) a) r* s es solución rX + s = r r* s + s = (r r* + ) s = r* s b) Si   r  X = r* (s + t), t  *. rX + s = r r* (s + t) + s = r r* s + r r* t + s = (r r* + ) s + r r* t = r* s + r* t = r* (s + t) Como   r , r r* = r*

Sistema de ecuaciones lineales en e.r.: X1 = r11X1 + r12 X2 + ... + r1nXn + s1 X2 = r21X1 + r22 X2 + ... + r2nXn + s2 .................................................... Xn = rn1X1 + rn2 X2 + ... + rnnXn + sn Solución Método de Gauss aplicando lema de Arden para reducir Aplicación: - Autómatas s. de ecuaciones e. regular -Gramáticas

Sistemas de ecuaciones a partir de autómatas Entrada: A = (Q, , , q1, F); Q = {q1, q2 ,..., qn} Salida: Sistema de ecuaciones con X1 = L(A) Método: Por cada qi introducir variable Xi Si qi  F entonces Xi =....+  Si qj  (qi , a) entonces Xi =....+ a Xj (siendo a    {}) Ejemplo 1 X1 = 0 X1 + 1 X2 X2 = 1 X1 + 0 X2 +  q1 q2 1

Sistemas de ecuaciones a partir de gramáticas l. d. Entrada: G = (N, , P, S); Salida: Sistema de ecuaciones con S = L(G) Método: Por cada A  N introducir variable A. Si A  a  P, a    {} entonces A =....+ a Si A  aB  P, a    {} entonces A =....+ aB Ejemplo S  0 S | 1 A A  1 S | 0 A2 |  S = 0 S + 1 A A = 1 S + 0 A2 + 