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.

Slides:



Advertisements
Presentaciones similares
Autómata finito Determinista
Advertisements

Tema 4 TRANSFORMADA Z..
Conceptos básicos Def. Un símbolo es cualquier carácter imprimible.
Autómatas de pila (Pushdown automata)
Gramáticas.
Diseño de AFN’s.
TIPOS DE GRAMATICAS JERARQUIAS DE CHOMSKY
Ecuaciones de Valor Absoluto y Desigualdades
El mundo de la Integral.
Unidad 1: ECUACIONES DIFERENCIALES DE PRIMER ORDEN
Expresiones regulares
Tema 2 Autómatas finitos 1. Autómata finito determinista
Tema 1.- Lenguajes. Gramáticas
ANALISIS SINTACTICO El análisis gramatical es la tarea de determinar la sintaxis, o estructura, de un programa. Por esta razón también se le conoce como.
Ciencias de la Computación I
5. Propiedades de Cierre de los lenguajes regulares
EXPRESIONES ALGEBRÁICAS
INTEGRALES.
Tema 1.- Lenguajes. Gramáticas
Tema 2 Lenguajes Formales.
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
Lenguajes Independientes del Contexto
Autómatas de Pila Teoría del Autómata.
ANALISIS SINTACTICO Parte I
Ecuaciones Lineales.
Inversa de una matriz.
Introducción a Funciones de una variable
Sistema de Ecuaciones Lineales Forma Matricial
Teoría de lenguajes y compiladores
Tema 2 Autómatas finitos 1. Autómata finito determinista
Autómatas Finitos Es un diagrama de transiciones que permite identificar cadenas que pertenecen a un lenguaje. Puede ser determinista o no determinista.
Lenguajes regulares Teoría del Autómata.
Ecuaciones diferenciales 1. Ecuaciones diferenciales de primer orden
Ejemplo de AFN Ej. Diseña un AFN que acepte todas las cadenas que contengan dos ceros consecutivos o dos unos consecutivos. Solución AFN q4 1 q2 q1 q0.
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.
Funciones Reales de Varias Variables
Matrices Conceptos generales
Análisis Matemático III
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.
Lenguajes Formales y Autómatas
La integral Determina la antiderivada más general.
Estudios Profesionales para la Empresa
UCLA – DAC M. Sc. Jorge E. Hernández H.
UNIDAD 4 Clase 6.3 Tema: Sistema de Ecuaciones Lineales
Teoría de lenguajes y compiladores
Teoría de lenguajes y compiladores
MATRICES.
I.- ESTUDIO DE LOS LENGUAJES DE PROGRAMACIÓN.
RECTAS Para comprender un poco mas el tema necesitamos recordar:
@ Angel Prieto BenitoApuntes de Matemáticas 3º ESO1 SISTEMAS DE ECUACIONES Tema 6 * 3º ESO.
IV. GRAMÁTICAS DISTRIBUIDAS Y TABLAS DE SÍMBOLOS
MATRIZ INVERSA.
Unidad 2: La derivada Pendiente y razones La derivada.
Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED.
Guayaquil, 17 de Junio del 2015 Tema: Desigualdades Lineales con valor absoluto Destreza: Resolver inecuaciones lineales en forma analítica y gráfica con.
CONCEPTOS BÁSICOS DE ÁLGEBRA
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.
ALGEBRA DE MATRICES LAS MATRICES SE UTILIZAN EN EL CÁLCULO NUMÉRICO, EN LA RESOLUCIÓN DE SISTEMAS DE ECUACIONES LINEALES, DE LAS ECUACIONES DIFERENCIALES.
Unidad 2 Lenguajes, Expresiones Regulares, Autómatas
TEMA 2 INTEGRAL DE RIEMANN.
FUNCIONES Definición y notación de función
Matrices ¿Qué es una matriz? ¿Qué es una matriz? ¿Qué es una matriz? ¿Qué es una matriz? Su Estructura Su Estructura Su Estructura Su Estructura Propiedades.
Centro Universitario Valle de México Gramáticas Libres de Contexto Dra. Maricela Quintana López Elaborado por: Autómatas y Lenguajes Formales.
Tema 2 Autómatas finitos 1. Autómata finito determinista
Transcripción de la presentación:

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

2 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 L r y L s : – (r) denota también L r. – r + s denota L r  L s. – r s denota L r L s. – (r)* denota (L r )*. Solo son E. R. las definidas de esa manera. ( ) * Prioridad de operadores Concatenación Unión

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

4 Equivalencia entre A.F. y E.R. q0q0 q0q0 q1q1 q0q0  {a}{a} a q0q0 q fA A q0q0 q fB B qfqf q0q0 q0q0 q fA A q0q0 B qfqf Unión Concatenación AF a partir de expresiones regulares

5 qAqA q fA A qfqf q0q0 Clausura AFD a partir de expresiones regulares: Mét. de derivadas D x (r) = x -1 r = {y   *  xy  L(r)} Dados: r E. R., x   *

6 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 -1 r )s si  r 5. a -1 (r s ) = - ( a -1 r )s + a -1 s si  r 6. a -1 r* = (a -1 r ) r* b) Respecto a cadenas (a  , x   *) : r = r. 2. (xa) -1 r = a -1 (x -1 r).

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

8 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 a) r* s es solución rX + s = r r* s + s = (r r* + ) s = r* s (p.10) 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*

9 Sistema de ecuaciones lineales en e.r.: X 1 = r 11 X 1 + r 12 X r 1n X n + s 1 X 2 = r 21 X 1 + r 22 X r 2n X n + s X n = r n1 X 1 + r n2 X r nn X n + s n Método de Gauss aplicando lema de Arden para reducir Solución Aplicación: - Autómatas s. de ecuaciones e. regular -Gramáticas

10 Entrada: A = (Q, , , q 1, F); Q = {q 1, q 2,..., q n } Salida: Sistema de ecuaciones con X 1 = L(A) Método: Por cada q i introducir variable X i Si q i  F entonces X i =....+ Si q j   (q i, a) entonces X i =....+ a X j (siendo a    { }) Sistemas de ecuaciones a partir de autómatas q2q2 q1q1 Ejemplo X 1 = 0 X X 2 X 2 = 1 X X 2 +

11 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 Sistemas de ecuaciones a partir de gramáticas l. d. Ejemplo S = 0 S + 1 A A = 1 S + 0 A 2 + S  0 S | 1 A A  1 S | 0 A 2 |