Expresiones Regulares y Derivadas Formales

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Expresiones Regulares y Derivadas Formales"

Transcripción

1 Motivación e Ideas y Derivadas Formales La Derivación como Operación. Universidad de Cantabria

2 Esquema Motivación e Ideas 1 Motivación e Ideas 2 3

3 Motivación Motivación e Ideas Sabemos como son los conjuntos regulares y parece que hay alguna relación entre las gramáticas regulares y las expresiones regulares. Como hallar una gramática a partir de una expresión regular?

4 Ideas Motivación e Ideas Sea la siguiente expresión a. Qué lenguaje genera?

5 Ideas Motivación e Ideas Tomemos la siguiente gramática regular G = ({S}, {a, b}, S, { S as λ }). Qué lenguaje genera?

6 Motivación e Ideas El Lenguaje de los Prefijos Si nuestro lenguaje esta generado por ba, entonces una posible gramática que genere el mismo lenguaje es: G = ({S, S }, {a, b}, S, {S bs, S as λ })

7 Motivación e Ideas El Lenguaje de los Prefijos El lenguaje L(a ) se relaciona con L(ba ) porque todas las palabras de L(a ) pertenecen a L(ba ) si se les añade el prefijo b.

8 Idea Motivación e Ideas Buscar estos lenguajes de prefijos y tratar de hallar una gramática a partir de ellos.

9 Pregunta Motivación e Ideas Como hallar para un lenguaje generado por una expresión regular las palabras que están en ese mismo lenguaje añadiéndole un prefijo?

10 Motivación e Ideas Derivación Formal Definición Sea Σ un alfabeto finito, a Σ un símbolo del alfabeto, y α una expresión regular sobre el alfabeto Σ. Llamaremos derivada de α con respecto al símbolo α a la expresión regular D a (α) con la siguiente propiedad: L(D a (α)) = {ω Σ : aω L(α)}.

11 Notación Motivación e Ideas Por la relación con las derivadas formales, utilizaremos la siguiente notación D a (α) = α a.

12 Motivación e Ideas La Derivación Calculemos varias derivaciones de expresiones regulares sencillas: a =, λ a =, b =, b Σ, b a. a a a = λ.

13 Motivación e Ideas Complejas Si α y β son dos expresiones regulares sobre Σ: (α + β) a = α a + β a.

14 Motivación e Ideas Complejas (α) a = (α) a α.

15 Motivación e Ideas Complejas Ahora un poco para la concatenación de expresiones regulares: Pues no es cierto. (α β) a = α a β.

16 Motivación e Ideas Complejas Ahora un poco para la concatenación de expresiones regulares: Pues no es cierto. (α β) a = α a β.

17 Motivación e Ideas Complejas (α β) a = α a β + t(α) β a, donde t(α) es la función dada por la identidad siguiente: { } λ si λ L(α), t(α) := en caso contrario.

18 Ejemplo Motivación e Ideas Veamos la derivación de la expresión regular a : (a) a = (a) a (a) = a.

19 Ejemplo Motivación e Ideas Las derivaciones de la expresión regular (aa + bb) : (aa + bb) a = (aa + bb) (aa + bb) = a(aa + bb). a

20 Motivación e Ideas No Funciona el Camino Fácil Las derivadas no vuelven las expresiones regulares más sencillas. Pero si que dan información sobre el lenguaje generado. L(a ) = al(a ) λ. Y esto se traduce a una gramática.

21 Motivación e Ideas Regla de Leibnitz Teorema (Regla de Leibnitz para ) Dada una expresión regular α sobre un alfabeto finito Σ, supongamos que Σ = {a 1,..., a n }. Entonces, α a 1 D a1 (α) + + a n D an (α) + t(α), donde t(α) es la función definida anteriormente.

22 Aplicación Motivación e Ideas Asignemos a cada expresión una variable, y cada expresión regular y a partir de la Regla de Leibnitz hallemos la gramática: L(a ) = al(a ) {λ.}

23 Aplicación Motivación e Ideas Demos a cada expresión una variable, y cada expresión regular y a partir de la Regla de Leibnitz hallemos la gramática: S as λ.

24 Aplicación Motivación e Ideas El mismo resultado se aplica para (a + b)a, (a + b). Pero, que ocurre cuando las derivaciones son expresiones regulares igual de complejas? Como aplicar lo mismo para una expresión más compleja?

La Jerarquía de Chomsky

La Jerarquía de Chomsky La Apuntes sobre la Complejidad Universidad de Cantabria Esquema Motivación 1 Motivación 2 Ideas y Nociones Motivación Como se ha mencionado anteriormente, los lenguajes son conjuntos de palabras definidos

Más detalles

Lenguajes No Regulares

Lenguajes No Regulares Lenguajes No Regulares Problemas que los Autómatas No Resuelven. Universidad de Cantabria Esquema Lema del Bombeo 1 Lema del Bombeo 2 3 Introducción Todos los lenguajes no son regulares, simplemente hay

Más detalles

Lenguajes Regulares. Antonio Falcó. - p. 1

Lenguajes Regulares. Antonio Falcó. - p. 1 Lenguajes Regulares Antonio Falcó - p. 1 Cadenas o palabras I Una cadena o palabra es una sucesión finita de símbolos. cadena {c, a, d, e, n}. 10001 {0, 1} El conjunto de símbolos que empleamos para construir

Más detalles

Autómatas finitos no deterministas (AFnD)

Autómatas finitos no deterministas (AFnD) Autómatas finitos no deterministas (AFnD) Elvira Mayordomo Universidad de Zaragoza 1 de octubre de 2012 Contenido de este tema Introducción y ejemplos de autómatas finitos no deterministas Definición de

Más detalles

Propiedades de los Lenguajes Libres de Contexto

Propiedades de los Lenguajes Libres de Contexto Propiedades de los Lenguajes Libres de Contexto 15 de junio de 2015 15 de junio de 2015 1 / 1 Contenido 15 de junio de 2015 2 / 1 Introducción Introducción Simplificación de CFG s. Esto facilita la vida,

Más detalles

TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES

TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES (TALF) BLOQUE II: LENGUAJES REGULARES Tema 2: Autómatas Finitos Parte 2 (de 3). Autómatas Finitos No Deterministas (AFNDs) Grado en Ingeniería Informática URJC

Más detalles

Expresiones Regulares

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

Más detalles

TEMA 5. GRAMÁTICAS REGULARES.

TEMA 5. GRAMÁTICAS REGULARES. TEMA 5. GRAMÁTICAS REGULARES. 5.1. Gramáticas Regulares. 5.2. Autómatas finitos y gramáticas regulares. 5.2.1. Gramática regular asociada a un AFD 5.2.2. AFD asociado a una Gramática regular 5.3. Expresiones

Más detalles

2: Autómatas finitos y lenguajes regulares.

2: Autómatas finitos y lenguajes regulares. 2: Autómatas finitos y lenguajes regulares. Los autómatas finitos son el modelo matemático de los sistemas que presentan las siguientes características: 1) En cada momento el sistema se encuentra en un

Más detalles

Expresiones Regulares y Derivadas Formales

Expresiones Regulares y Derivadas Formales y Derivadas Formales Las Derivadas Sucesivas. Universidad de Cantabria Esquema 1 2 3 Derivadas Sucesivas Recordemos que los lenguajes de los prefijos dan información sobre los lenguajes. Derivadas Sucesivas

Más detalles

Introducción a la Teoría de Automátas

Introducción a la Teoría de Automátas a la Teoría de Automátas Universidad de Cantabria Primeras Consideraciones Fijar un modelo de cálculo que haga referencia a los fundamentos de la comunicación y el lenguaje. Todo cálculo algorítmico consiste

Más detalles

Cardinalidad. Teorema 0.3 Todo conjunto infinito contiene un subconjunto infinito numerable.

Cardinalidad. Teorema 0.3 Todo conjunto infinito contiene un subconjunto infinito numerable. Cardinalidad Dados dos conjuntos A y B, decimos que A es equivalente a B, o que A y B tienen la misma potencia, y lo notamos A B, si existe una biyección de A en B Es fácil probar que es una relación de

Más detalles

Propiedades de los Lenguajes Libres de Contexto

Propiedades de los Lenguajes Libres de Contexto de los s de los Lenguajes Libres de Contexto INAOE (INAOE) 1 / 47 Contenido de los s 1 2 -ɛ 3 4 5 6 de los s (INAOE) 2 / 47 () de los s Queremos mostrar que todo (sin ɛ) se genera por una CFG donde todas

Más detalles

Tema 2: Autómatas finitos

Tema 2: Autómatas finitos Tema 2: Autómatas finitos Departamento de Sistemas Informáticos y Computación DSIC - UPV http://www.dsic.upv.es p. 1 Tema 2: Autómatas finitos Autómata finito determinista (AFD). Formas de representación

Más detalles

CONCAVIDAD. Supongamos que tenemos la siguiente información, referente a una curva derivable: Cómo la graficaríamos?

CONCAVIDAD. Supongamos que tenemos la siguiente información, referente a una curva derivable: Cómo la graficaríamos? CAPÍTULO 14 CONCAVIDAD Supongamos que tenemos la siguiente información, referente a una curva derivable: Intervalo Signo de f F (-00,3) + Creciente (3,8) - Decreciente (8, + ) + Creciente Cómo la graficaríamos?

Más detalles

TEMA I: LOS CONCEPTOS FUNDAMENTALES DE LA TEORÍA DE LA COMPUTABILIDAD

TEMA I: LOS CONCEPTOS FUNDAMENTALES DE LA TEORÍA DE LA COMPUTABILIDAD 1 Asignatura: Lógica 3 Curso 2004-2005 Profesor: Juan José Acero 20 25 de Octubre del 2004 TEMA I: LOS CONCEPTOS FUNDAMENTALES DE LA TEORÍA DE LA COMPUTABILIDAD 1. El concepto de algoritmo. Los matemáticos

Más detalles

Introducción a Autómatas Finitos

Introducción a Autómatas Finitos Introducción a e. Universidad de Cantabria Esquema 1 Introducción 2 3 Grafo de λ Transiciones Eliminación de las λ-transiciones 4 El Problema Podemos interpretar un autómata como un evaluador de la función

Más detalles

Expresiones Regulares y Gramáticas Regulares

Expresiones Regulares y Gramáticas Regulares y Gramáticas Regulares Sistemas Lineales. Universidad de Cantabria Esquema Idea 1 Idea 2 3 Problema Idea Nos preguntamos si las expresiones regulares generan los mismos lenguajes que las gramáticas regulares.

Más detalles

Autómatas Finitos y Lenguajes Regulares

Autómatas Finitos y Lenguajes Regulares Autómatas Finitos y Lenguajes Regulares Problema: Dado un lenguaje L definido sobre un alfabeto A y una cadena x arbitraria, determinar si x L o x L. Cadena x AUTOMATA FINITO SI NO Lenguaje Regular Autómatas

Más detalles

Estructuras algebraicas

Estructuras algebraicas Estructuras algebraicas Natalia Boal María Luisa Sein-Echaluce Universidad de Zaragoza 1 Relaciones binarias 11 Recordatorio Definición Dados dos conjuntos A y B se llama producto cartesiano de A por B

Más detalles

Clase 09: AFN, AFD y Construcción de Thompson

Clase 09: AFN, AFD y Construcción de Thompson Clase 09: AFN, AFD y Construcción de Thompson Solicitado: Ejercicios 07: Construcción de AFN scon Thompson M. en C. Edgardo Adrián Franco Martínez http://computacion.cs.cinvestav.mx/~efranco @efranco_escom

Más detalles

Matrices y Determinantes.

Matrices y Determinantes. Matrices y Determinantes. Definición [Matriz] Sea E un conjunto cualquiera, m, n N. Matrices. Generalidades Matriz de orden m n sobre E: a 11 a 12... a 1n a 21 a 22... a 2n...... a m1 a m2... a mn a ij

Más detalles

TEMA 11. Autovalores y autovectores. Diagonalización y formas canónicas.

TEMA 11. Autovalores y autovectores. Diagonalización y formas canónicas. TEMA 11 F MATEMÁTICOS TEMA 11 Autovalores y autovectores Diagonalización y formas canónicas 1 Introducción Definición 1 (Matrices semejantes) Sean A y B dos matrices cuadradas de orden n Decimos que A

Más detalles

Máquinas Secuenciales, Autómatas y Lenguajes Formales. Tema 4: Autómatas finitos deterministas. Holger Billhardt holger.billhardt@urjc.

Máquinas Secuenciales, Autómatas y Lenguajes Formales. Tema 4: Autómatas finitos deterministas. Holger Billhardt holger.billhardt@urjc. Formales Tema 4: Autómatas finitos deterministas Holger Billhardt holger.billhardt@urjc.es Sumario: Bloque 2: Autómatas Finitos 4. Autómatas Finitos Deterministas 1. Concepto y Definición 2. Autómata finito

Más detalles

Autómatas y Lenguajes Formales. Tema 3.2: Autómatas Finitos No Deterministas. Luis Peña luis.pena@urjc.es

Autómatas y Lenguajes Formales. Tema 3.2: Autómatas Finitos No Deterministas. Luis Peña luis.pena@urjc.es Autómatas y Lenguajes Formales Tema 3.2: Autómatas Finitos No Deterministas Luis Peña luis.pena@urjc.es Sumario Tema 3.2: Autómatas Finitos No Deterministas. 1. Concepto de AFND 2. Teoremas de Equivalencia

Más detalles

1 Aplicaciones lineales

1 Aplicaciones lineales UNIVERSIDAD POLITÉCNICA DE CARTAGENA Departamento de Matemática Aplicada y Estadística Aplicaciones lineales y diagonalización. El objetivo principal de este tema será la obtención de una matriz diagonal

Más detalles

Traductores Push Down

Traductores Push Down Push Down Extensión de Autómatas Universidad de Cantabria Outline El Problema 1 El Problema 2 3 El Problema Hemos estudiado anteriormente los autómatas con pila y hemos visto su relación con los lenguajes

Más detalles

Definición formal de autómatas finitos deterministas AFD

Definición formal de autómatas finitos deterministas AFD inicial. Ejemplo, supóngase que tenemos el autómata de la figura 2.4 y la palabra de entrada bb. El autómata inicia su operación en el estado q 0 (que es el estado inicial). Al recibir la primera b pasa

Más detalles

Repaso. Lenguajes formales

Repaso. Lenguajes formales Repaso. Lenguajes formales Profesor Federico Peinado Elaboración del material José Luis Sierra Federico Peinado Ingeniería en Informática Facultad de Informática Universidad Complutense de Madrid Curso

Más detalles

Sucesiones y series de números reales

Sucesiones y series de números reales Capítulo 2 Sucesiones y series de números reales 2.. Sucesiones de números reales 2... Introducción Definición 2... Llamamos sucesión de números reales a una función f : N R, n f(n) = x n. Habitualmente

Más detalles

Tema 2. Grupos. 3. El conjunto de matrices de orden 2 con coeficientes enteros (o reales) con la suma es un grupo conmutativo.

Tema 2. Grupos. 3. El conjunto de matrices de orden 2 con coeficientes enteros (o reales) con la suma es un grupo conmutativo. Tema 2. Grupos. 1 Grupos Definición 1 Un grupo es una estructura algebraica (G, ) tal que la operación binaria verifica: 1. * es asociativa 2. * tiene elemento neutro 3. todo elemento de G tiene simétrico.

Más detalles

Teoría de conjuntos. Tema 1: Teoría de Conjuntos.

Teoría de conjuntos. Tema 1: Teoría de Conjuntos. Tema 1: Teoría de Conjuntos. La teoría de Conjuntos es actualmente una de las más importantes dentro de la matemática. Muchos de los problemas que se le han presentado a esta disciplina en los últimos

Más detalles

Tema 1: Matrices y Determinantes

Tema 1: Matrices y Determinantes Tema 1: Matrices y Determinantes September 14, 2009 1 Matrices Definición 11 Una matriz es un arreglo rectangular de números reales a 11 a 12 a 1m a 21 a 22 a 2m A = a n1 a n2 a nm Se dice que una matriz

Más detalles

TEORÍA DE AUTÓMATAS I Informática de Sistemas

TEORÍA DE AUTÓMATAS I Informática de Sistemas TEORÍA DE AUTÓMATAS I Informática de Sistemas Soluciones a las cuestiones de examen del curso 22/3 Febrero 23, ª semana. Considere los lenguajes del alfabeto Σ={,}: L = { n n, n } y L 2 = {cadenas con

Más detalles

1. Si están situados en rectas paralelas: la recta que une los orígenes, deja sus extremos en un mismo semiplano.

1. Si están situados en rectas paralelas: la recta que une los orígenes, deja sus extremos en un mismo semiplano. CAPÍTULO El plano vectorial Consideremos P como el plano intuitivo de puntos: A,,C..... El espacio vectorial de los vectores Definición. Vectores fijos Dado dos puntos cualesquiera A e del espacio nos

Más detalles

En este capítulo obtendremos los resultados básicos del cálculo diferencial para funciones reales definidas sobre R o sobre intervalos.

En este capítulo obtendremos los resultados básicos del cálculo diferencial para funciones reales definidas sobre R o sobre intervalos. Capítulo 6 Derivadas 61 Introducción En este capítulo obtendremos los resultados básicos del cálculo diferencial para funciones reales definidas sobre R o sobre intervalos Definición 61 Sea I R, I, f :

Más detalles

SISTEMAS DE ECUACIONES LINEALES

SISTEMAS DE ECUACIONES LINEALES 1 SISTEMAS DE ECUACIONES LINEALES Una ecuación es un enunciado o proposición que plantea la igualdad de dos expresiones, donde al menos una de ellas contiene cantidades desconocidas llamadas variables

Más detalles

A partir de la definición obtenemos las siguientes propiedades para estas funciones:

A partir de la definición obtenemos las siguientes propiedades para estas funciones: Capítulo 1 Conjuntos Supondremos conocidas las nociones básicas sobre teoría de conjuntos, tales como subconjuntos, elementos, unión, intersección, complemento, diferencia, diferencia simétrica, propiedades

Más detalles

Hacia las Gramáticas Propias

Hacia las Gramáticas Propias Hacia las Gramáticas sin Ciclos Universidad de Cantabria Esquema 1 Introducción 2 3 Introducción Las gramáticas libres de contexto pueden presentar diferentes problemas. Ya hemos visto como eliminar los

Más detalles

2.Teoría de Autómatas

2.Teoría de Autómatas 2.Teoría de Autómatas Araceli Sanchis de Miguel Agapito Ledezma Espino José A. Iglesias Mar

Más detalles

Tema II: Aplicaciones lineales

Tema II: Aplicaciones lineales Definiciones y ejemplos. Matriz asociada a una aplicación lineal. Núcleo e imagen. Cambios de base. Espacio vectorial cociente.teoremas de isomorfía. El espacio de las aplicaciones lineales. Ejemplos de

Más detalles

Fundamentos de Cinética Química: ecuación diferencial de velocidad

Fundamentos de Cinética Química: ecuación diferencial de velocidad Fundamentos de Cinética Química: ecuación diferencial de velocidad Apellidos, nombre Atarés Huerta, Lorena (loathue@tal.upv.es) Departamento Centro Departamento de Tecnología de Alimentos ETSIAMN (Universidad

Más detalles

Sucesiones y funciones divergentes

Sucesiones y funciones divergentes Tema 2 Sucesiones y funciones divergentes Nuestro próximo objetivo es ampliar el estudio de los dos tipos de convergencia, o de las dos nociones de límite, que hasta ahora conocemos: el límite de una sucesión

Más detalles

COLEGIO UNIVERSITARIO CARDENAL CISNEROS. Libro de Ejercicios de Matemáticas Empresariales II

COLEGIO UNIVERSITARIO CARDENAL CISNEROS. Libro de Ejercicios de Matemáticas Empresariales II COLEGIO UNIVERSITARIO CARDENAL CISNEROS Libro de Ejercicios de Matemáticas Empresariales II Manuel León Navarro 2 Capítulo 1 Ejercicios lección 1 1. Sea el conjunto de las matrices cuadradas de orden 2

Más detalles

1. Año 2011 Ejercicios para entregar

1. Año 2011 Ejercicios para entregar Grupos de Lie y Álgebras de Lie 1. Año 2011 Ejercicios para entregar Ejercicio 1.1. Sea ρ : R Aut(C) = C la representación dada por ρ(t)z = e it z. (a) Probar que G = C ρ R es un grupo de Lie simplemente

Más detalles

I PRELIMINARES 3 1 Identidades notables... 3 1.1 Productos y potencias notables... 3 2 Uso del símbolo de sumatoria... 6 2.1 Símbolo de sumatoria:

I PRELIMINARES 3 1 Identidades notables... 3 1.1 Productos y potencias notables... 3 2 Uso del símbolo de sumatoria... 6 2.1 Símbolo de sumatoria: ÍNDICE I PRELIMINARES Identidades notables............................... Productos y potencias notables...................... Uso del símbolo de sumatoria........................ 6. Símbolo de sumatoria:

Más detalles

2. Ortogonalidad. En todo el capítulo trabajaremos sobre un espacio vectorial euclídeo U.

2. Ortogonalidad. En todo el capítulo trabajaremos sobre un espacio vectorial euclídeo U. 2 Ortogonalidad En todo el capítulo trabajaremos sobre un espacio vectorial euclídeo U 1 Vectores ortogonales Definición 11 Dos vectores x, ȳ U se dicen ortogonales si: x ȳ = 0 Veamos algunas propiedades

Más detalles

Descripción de los Lenguajes Aceptados por Autómatas

Descripción de los Lenguajes Aceptados por Autómatas Descripción de los Lenguajes Aceptados por Autómatas Los Teoremas de Kleene Universidad de Cantabria Esquema 1 2 3 Lenguajes Aceptados por Autómatas Como repaso, tenemos un problema de respuesta Si/No

Más detalles

Derivadas. Contenido Introducción. ( α) Definición de Derivada. (α) Pendiente de la recta tangente. (α) Funciones diferenciables.

Derivadas. Contenido Introducción. ( α) Definición de Derivada. (α) Pendiente de la recta tangente. (α) Funciones diferenciables. Derivadas. Contenido 1. Introducción. (α) 2. Definición de Derivada. (α) 3. Pendiente de la recta tangente. (α) 4. Funciones diferenciables. (α) 5. Función derivada. (α) 6. Propiedades de la derivada.

Más detalles

Ingeniería en Computación. Autómatas y Lenguajes Formales. Unidad de competencia III: Conocer, utilizar y manipular expresiones regulares

Ingeniería en Computación. Autómatas y Lenguajes Formales. Unidad de competencia III: Conocer, utilizar y manipular expresiones regulares Universidad Autónoma del Estado de México Centro Universitario UAEM Texcoco Departamento de Ciencias Aplicadas. Ingeniería en Computación. Autómatas y Lenguajes Formales. Unidad de competencia III: Conocer,

Más detalles

Serafín Moral Departamento de Ciencias de la Computación. Modelos de Computación ITema 2: Autómatas Finitos p.1/88

Serafín Moral Departamento de Ciencias de la Computación. Modelos de Computación ITema 2: Autómatas Finitos p.1/88 Modelos de Computación I Tema 2: Autómatas Finitos Serafín Moral Departamento de Ciencias de la Computación Modelos de Computación ITema 2: Autómatas Finitos p./88 Contenido Autómata Finito Determinista

Más detalles

Edición general: Editores:

Edición general: Editores: Álgebra Lineal Ruth Cueva - Felipe Navas - José Luis Toro Profesores de la Escuela Politécnica Nacional Edición general: Juan Carlos Trujillo Editores: Fabián Barba, Juan Carlos Trujillo Profesores de

Más detalles

x z - Fernando Sánchez - Departamento de Matemáticas - Universidad de Extremadura Cálculo I 1Tales, Pitágoras, Euclides,...

x z - Fernando Sánchez - Departamento de Matemáticas - Universidad de Extremadura Cálculo I 1Tales, Pitágoras, Euclides,... - Fernando Sánchez - - Cálculo I 1Tales, Pitágoras, Euclides,... Si se consideran ciertas magnitudes a y, no es difícil imaginar cómo son algunas operaciones entre ellas, como la suma y la resta. Basta

Más detalles

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

Autómatas Mínimos. Encontrar el autómata mínimo. Universidad de Cantabria. Introducción Minimización de Autómatas Deterministas Resultados Algoritmo Autómatas Mínimos Encontrar el autómata mínimo. Universidad de Cantabria Introducción Dado un lenguaje regular sabemos encontrar un autómata finito. Pero, hay autómatas más sencillos que aceptan el mismo

Más detalles

RESUMEN Y EJERCICIOS DE TRIGONOMETRÍA II

RESUMEN Y EJERCICIOS DE TRIGONOMETRÍA II RESUMEN Y EJERCICIOS DE TRIGONOMETRÍA II Como ya sabemos, uno de los objetivos es que, conocidas las razones trigonométricas (a partir de ahora RT) de unos pocos ángulos, obtener las RT de una gran cantidad

Más detalles

Resumen Tema 3: Derivadas. Concepto. Propiedades. Cálculo de derivadas. Aplicaciones.

Resumen Tema 3: Derivadas. Concepto. Propiedades. Cálculo de derivadas. Aplicaciones. Resumen Tema 3: Derivadas. Concepto. Propiedades. Cálculo de derivadas. Aplicaciones. 0.. Concepto de derivada. Definición. Sea f : S R R, a (b, c) S. Decimos que f es derivable en a si existe: f(x) f(a)

Más detalles

Tema 5: Sistemas de Ecuaciones Lineales

Tema 5: Sistemas de Ecuaciones Lineales Tema 5: Sistemas de Ecuaciones Lineales Eva Ascarza-Mondragón Helio Catalán-Mogorrón Manuel Vega-Gordillo Índice 1 Definición 3 2 Solución de un sistema de ecuaciones lineales 4 21 Tipos de sistemas ecuaciones

Más detalles

Teoría de Automatas, Lenguajes Formales y Gramáticas. D. Castro Esteban

Teoría de Automatas, Lenguajes Formales y Gramáticas. D. Castro Esteban Teoría de Automatas, Lenguajes Formales y Gramáticas D. Castro Esteban T E X & LAT E X Contenidos 1 Autómatas finitos Autómatas finitos deterministas Autómatas finitos no deterministas Autómatas finitos

Más detalles

Tema 5. Muestreo y distribuciones muestrales

Tema 5. Muestreo y distribuciones muestrales Tema 5. Muestreo y distribuciones muestrales Contenidos Muestreo y muestras aleatorias simples La distribución de la media en el muestreo La distribución de la varianza muestral Lecturas recomendadas:

Más detalles

1. Cadenas EJERCICIO 1

1. Cadenas EJERCICIO 1 LENGUAJES FORMALES Y AUTÓMATAS CURSO 2006/2007 - BOLETÍN DE EJERCICIOS Víctor J. Díaz Madrigal y José Miguel Cañete Departamento de Lenguajes y Sistemas Informáticos 1. Cadenas La operación reversa aplicada

Más detalles

EJERCICIOS del TEMA 3: Lenguajes independientes del contexto

EJERCICIOS del TEMA 3: Lenguajes independientes del contexto EJERCICIOS del TEMA 3: Lenguajes independientes del contexto Sobre GICs (gramáticas independientes del contexto) 1. Sea G una gramática con las siguientes producciones: S ASB ε A aab ε B bba ba c ) d )

Más detalles

Una sucesión infinita es una función cuyo dominio es el conjunto de los enteros positivos. Podemos denotar una sucesión como una lista

Una sucesión infinita es una función cuyo dominio es el conjunto de los enteros positivos. Podemos denotar una sucesión como una lista Cap 9 Sec 9.1 9.3 Una sucesión infinita es una función cuyo dominio es el conjunto de los enteros positivos. Podemos denotar una sucesión como una lista a 1, a 2, a 3, a n, Donde cada a k es un término

Más detalles

Las Gramáticas Formales

Las Gramáticas Formales Definición de Las Como definir un Lenguaje Formal Universidad de Cantabria Esquema Motivación Definición de 1 Motivación 2 Definición de 3 Problema Motivación Definición de Dado un lenguaje L, se nos presenta

Más detalles

1 er Parcial Febrero 2009

1 er Parcial Febrero 2009 Autómatas y Lenguajes Formales 3 o Ingeniería Informática 1 er Parcial Febrero 2009 Normas : La duración de esta parte del examen es de 2,5 horas. Todos los ejercicios se entregarán en hojas separadas.

Más detalles

Capítulo 1. El Conjunto de los números Reales

Capítulo 1. El Conjunto de los números Reales Capítulo El Conjunto de los números Reales Contenido. El conjunto de los números Naturales................................. 4. El conjunto de los números Enteros................................... 4. El

Más detalles

Espacio de Funciones Medibles

Espacio de Funciones Medibles Capítulo 22 Espacio de Funciones Medibles Igual que la σ-álgebra de los conjuntos medibles, la familia de funciones medibles, además de contener a todas las funciones razonables (por supuesto son medibles

Más detalles

APUNTES DE MATEMÁTICAS 1º BACHILLERATO TEMA 5: GEOMETRÍA AFÍN PROBLEMAS MÉTRICOS

APUNTES DE MATEMÁTICAS 1º BACHILLERATO TEMA 5: GEOMETRÍA AFÍN PROBLEMAS MÉTRICOS APUNTES DE MATEMÁTICAS TEMA 5: GEOMETRÍA AFÍN PROBLEMAS MÉTRICOS º BACHILLERATO ÍNDICE. ECUACIONES DE LA RECTA EN EL PLANO.... 4.. SISTEMAS DE REFERENCIA... 4.. COORDENADAS DE UN PUNTO... 4.3. COORDENADAS

Más detalles

Topología de la Recta

Topología de la Recta Capítulo 2 Topología de la Recta 21 Introducción En este capítulo introducimos algunas nociones sobre topología de los espacios métricos Nuestro interés se limitará en el futuro al caso real o a los espacios

Más detalles

UNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA SUR. Ciencias de la ingeniería

UNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA SUR. Ciencias de la ingeniería UNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA SUR DEPARTAMENTO ACADÉMICO DE SIS COMPUTACIONALES INGENIERÍA EN TECNOLOGÍA COMPUTACIONAL ASIGNATURA Teoría de la computación ÁREA DE Ciencias de la ingeniería CONOCIMIENTO

Más detalles

Clase 08: Autómatas finitos

Clase 08: Autómatas finitos Solicitado: Ejercicios 06: Autómatas finitos M. en C. Edgardo Adrián Franco Martínez http://computacion.cs.cinvestav.mx/~efranco @efranco_escom edfrancom@ipn.mx 1 Contenido Autómata finito Definición formal

Más detalles

El cuerpo de los números reales

El cuerpo de los números reales Capítulo 1 El cuerpo de los números reales 1.1. Introducción Existen diversos enfoques para introducir los números reales: uno de ellos parte de los números naturales 1, 2, 3,... utilizándolos para construir

Más detalles

Algebra de Boole. Algebra de Boole. Ing. José Alberto Díaz García. EL - 3307 Diseño Lógico. Página 1

Algebra de Boole. Algebra de Boole. Ing. José Alberto Díaz García. EL - 3307 Diseño Lógico. Página 1 Página 1 Simplificación de circuitos Como los circuitos lógicos son representaciones de funciones lógicas, se pueden utilizar los recursos disponibles para simplificarlos y así reducir la cantidad de componentes

Más detalles

1. Lenguajes formales.

1. Lenguajes formales. Tema 4: Aplicación de los autómatas: Lenguajes formales 1 Tema 4: Aplicación de los autómatas: Lenguajes formales 1. Lenguajes formales. Como se ha indicado en la introducción del tema, el concepto de

Más detalles

Una matriz es una tabla ordenada (por filas y columnas) de escalares a i j de la forma: ... ... a... ...

Una matriz es una tabla ordenada (por filas y columnas) de escalares a i j de la forma: ... ... a... ... MATRICES Las matrices se utilizan en el cálculo numérico, en la resolución de sistemas de ecuaciones lineales, de las ecuaciones diferenciales y de las derivadas parciales. Tienen también muchas aplicaciones

Más detalles

Cuatro Problemas de Álgebra en la Olimpiada Internacional de Matemáticas.

Cuatro Problemas de Álgebra en la Olimpiada Internacional de Matemáticas. Boletín de la Asociación Matemática Venezolana, Vol. XV, No. 1 (2008) 131 Cuatro Problemas de Álgebra en la Olimpiada Internacional de Matemáticas. Rafael Sánchez Lamoneda Introducción. El presente artículo

Más detalles

Determinantes. Primera definición. Consecuencias inmediatas de la definición

Determinantes. Primera definición. Consecuencias inmediatas de la definición Determinantes Primera definición Para calcular el determinante de una matriz cuadrada de orden n tenemos que saber elegir n elementos de la matriz de forma que tomemos solo un elemento de cada fila y de

Más detalles

Vectores y Matrices. Tema 3: Repaso de Álgebra Lineal Parte I. Contenidos

Vectores y Matrices. Tema 3: Repaso de Álgebra Lineal Parte I. Contenidos Tema 3: Repaso de Álgebra Lineal Parte I Virginia Mazzone Contenidos Vectores y Matrices Bases y Ortonormailizaciòn Norma de Vectores Ecuaciones Lineales Algenraicas Ejercicios Vectores y Matrices Los

Más detalles

Combinación Lineal. Departamento de Matemáticas, CCIR/ITESM. 10 de enero de 2011

Combinación Lineal. Departamento de Matemáticas, CCIR/ITESM. 10 de enero de 2011 Combinación Lineal Departamento de Matemáticas, CCIR/ITESM 10 de enero de 011 Índice.1. Introducción............................................... 1.. Combinación lineal entre vectores...................................

Más detalles

Un conjunto se considera como una colección de objetos, llamados miembros o elementos del conjunto. Existen dos formas de expresar un conjunto:

Un conjunto se considera como una colección de objetos, llamados miembros o elementos del conjunto. Existen dos formas de expresar un conjunto: I.- Teoría de conjuntos Definición de conjunto Un conjunto se considera como una colección de objetos, llamados miembros o elementos del conjunto. Existen dos formas de expresar un conjunto: a) Por extensión

Más detalles

Notación de Conjuntos

Notación de Conjuntos 1 A. Introducción UNIVERSIDAD INTERAMERICANA DE PUERTO RICO DEPARTAMENTO DE ADMINISTRACIÓN DE EMPRESAS MAEC 2140: Métodos Cuantitativos Prof. J.L.Cotto Conferencia: Conceptos Matemáticos Básicos Notación

Más detalles

Tema 4 Probabilidad condicionada: teoremas básicos. Independencia de sucesos

Tema 4 Probabilidad condicionada: teoremas básicos. Independencia de sucesos Tema 4 Probabilidad condicionada: teoremas básicos. Independencia de sucesos 1. Probabilidad condicionada. Espacio de probabilidad condicionado La probabilidad condicionada es uno de los conceptos clave

Más detalles

SSL Guia de Ejercicios

SSL Guia de Ejercicios 1 SSL Guia de Ejercicios INTRODUCCIÓN A LENGUAJES FORMALES 1. Dado el alfabeto = {a, b, c}, escriba las palabras del lenguaje L = {x / x }. 2. Cuál es la cardinalidad del lenguaje L = {, a, aa, aaa}? 3.

Más detalles

Definición de Funciones MATE 3171

Definición de Funciones MATE 3171 Definición de Funciones MATE 3171 Función Una función, f, es una regla de correspondencia entre dos conjuntos, que asigna a cada elemento x de D exactamente un elemento de E : x 1 x 2 x 3 y 2 y 1 Terminología

Más detalles

Tema 3.- Gramáticas formales

Tema 3.- Gramáticas formales UNIVERSIDAD DE CÓRDOBA ESCUELA POLITÉCNICA SUPERIOR DEPARTAMENTO DE INFORMÁTICA Y ANÁLISIS NUMÉRICO INGENIERÍA TÉCNICA EN INFORMÁTICA DE SISTEMAS SEGUNDO CURSO, SEGUNDO CUATRIMESTRE TEORÍA DE AUTÓMATAS

Más detalles

Explorando la ecuación de la recta pendiente intercepto

Explorando la ecuación de la recta pendiente intercepto Explorando la ecuación de la recta pendiente intercepto Realiza las siguientes actividades, mientras trabajas con el tutorial. 1. Los puntos que están en la misma recta se dice que son. 2. Describe el

Más detalles

Práctica 2 - Hay diferentes infinitos?- A. Propiedades básicas de los Conjuntos

Práctica 2 - Hay diferentes infinitos?- A. Propiedades básicas de los Conjuntos Cálculo Avanzado Primer Cuatrimestre de 2011 Práctica 2 - Hay diferentes infinitos?- Llamaremos número cardinal de M al concepto general que, por medio de nuestra activa capacidad de pensar, surge del

Más detalles

CIRCUITOS DE POLARIZACIÓN DEL TRANSISTOR EN EMISOR COMÚN

CIRCUITOS DE POLARIZACIÓN DEL TRANSISTOR EN EMISOR COMÚN 1) POLARIZACIÓN FIJA El circuito estará formado por un transistor NPN, dos resistencias fijas: una en la base R B (podría ser variable) y otra en el colector R C, y una batería o fuente de alimentación

Más detalles

UNIVERSIDAD SAN MARCOS

UNIVERSIDAD SAN MARCOS Prof. Edwin Gerardo Acuña Acuña UNIVERSIDAD SAN MARCOS ALGEBRA Este capítulo estudia los conceptos básicos del álgebra, una de las disciplinas de la matemática que tiene más aplicaciones en diversos campos.

Más detalles

V 2 : vectores libres en el plano

V 2 : vectores libres en el plano V 2 : vectores libres en el plano Egor Maximenko ESFM del IPN 8 de agosto de 2009 Egor Maximenko (ESFM del IPN) V 2 : Vectores libres en el plano 8 de agosto de 2009 1 / 13 Contenido 1 Conjunto V 2 2 Operaciones

Más detalles

GRAMÁTICAS y LENGUAJES INDEPENDIENTES DEL CONTEXTO

GRAMÁTICAS y LENGUAJES INDEPENDIENTES DEL CONTEXTO Dpto. de Informática (ATC, CCIA y LSI). Universidad de Valladolid. TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES I Ingeniería Técnica en Informática de Sistemas. Curso 2011-12 GRAMÁTICAS y LENGUAJES INDEPENDIENTES

Más detalles

TEMA 4: CONTRASTES DE HIPÓTESIS. CONCEPTOS BÁSICOS

TEMA 4: CONTRASTES DE HIPÓTESIS. CONCEPTOS BÁSICOS ASIGNATURA: ESTADÍSTICA II (Grado ADE,MIM,FBS) TEMA 4: CONTRASTES DE HIPÓTESIS. CONCEPTOS BÁSICOS 4.1. Hipótesis estadística. Tipos de hipótesis 4.2. Región crítica y región de aceptación 4.3. Errores

Más detalles

Hacia las Gramáticas Propias II

Hacia las Gramáticas Propias II Hacia las Hacia las II Gramáticas sin Ciclos Universidad de Cantabria Outline Hacia las 1 Hacia las 2 3 Definición Hacia las Definición Diremos que una gramática libre de contexto G := (V, Σ, Q 0, P) es

Más detalles

Transformada Z. Jose Salvador Cánovas Peña

Transformada Z. Jose Salvador Cánovas Peña Transformada Z Jose Salvador Cánovas Peña November 3, 2007 2 Contents 0. Ecuaciones en diferencias finitas... 3 0.2 Definiciónypropiedadesbásicas... 4 0.3 TransformadaZinversa... 6 0.4 Aplicaciónalaresolucióndelaecuaciónendiferencias...

Más detalles

25/10/2010. Tema 2. Aritmética

25/10/2010. Tema 2. Aritmética Tema 2. Aritmética 1 Resumen de lo trabajado Estudio conceptual de las operaciones: - Qué es sumar, restar, multiplicar y dividir. - Tipos de problemas aditivos. - Tipos de problemas multiplicativos -

Más detalles

INSTITUTO TECNOLÓGICO DE APIZACO TEORÍA DE CONJUNTOS CONJUNTOS Y TÉCNICAS DE CONTEO

INSTITUTO TECNOLÓGICO DE APIZACO TEORÍA DE CONJUNTOS CONJUNTOS Y TÉCNICAS DE CONTEO TEORÍA DE CONJUNTOS CONJUNTOS Y TÉCNICAS DE CONTEO DEFINICIÓN Y NOTACIÓN DE CONJUNTOS El término conjunto juega un papel fundamental en el desarrollo de las matemáticas modernas; Además de proporcionar

Más detalles

Apuntes de Matemática Discreta 2. Operaciones con Conjuntos

Apuntes de Matemática Discreta 2. Operaciones con Conjuntos Apuntes de Matemática Discreta 2. Operaciones con Conjuntos Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 2 Operaciones con Conjuntos

Más detalles

Ejercicios resueltos del capítulo 1

Ejercicios resueltos del capítulo 1 Ejercicios resueltos del capítulo Ejercicios impares resueltos..b Resolver por el método de Gauss el sistema x +x x +x 4 +x = x x +x 4 = x +x +x = x +x x 4 = F, ( ) F 4, () F, ( ) F, () 8 6 8 6 8 7 4 Como

Más detalles

TEMA 4 El tipo conjunto

TEMA 4 El tipo conjunto TEMA El tipo conjunto PROGRAMACIÓN Y ESTRUCTURAS DE DATOS Tipo conjunto. Definiciones generales. Diccionario.. Tabla de dispersión.. Trie.. Árboles de búsqueda digitales. Cola de prioridad.. Montículo..

Más detalles