Gramáticas tipo 0 o Estructura de frase En este tipo de gramáticas no hay restricción en su producciones y tienen la forma siguiente.

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

Download "Gramáticas tipo 0 o Estructura de frase En este tipo de gramáticas no hay restricción en su producciones y tienen la forma siguiente."

Transcripción

1 Gramáticas Libres de Contexto 1. Gramáticas. Como vimos en el capítulo anterior una gramática es un conjunto finito de reglas que describen todas las secuencias de símbolos que pertenecen a un lenguaje Clasificación de las gramáticas. Chomsky clasificó las gramáticas en cuatro grandes grupos(g 0, G 1, G 2, G 3 ), cada uno de los cuales incluye a los siguientes de acuerdo a la siguiente regla G 3 G 2 G 1 G Gramáticas tipo 0 o Estructura de frase En este tipo de gramáticas no hay restricción en su producciones y tienen la forma siguiente. Donde: α (Σ N) + β (Σ N)* α β Es decir, que la parte izquierda de una regla pude ser una cadena de símbolos cualesquiera de N y Σ, y la parte derecha lo mismo y además puede ser nula Gramáticas tipo 1 o Dependientes del contexto Las reglas de este tipo de gramática presentan la siguiente forma: Donde: α y β (Σ N) A N γ (Σ N) + αaβ αγβ El contexto de la gramática esta definido por α y β Gramáticas del tipo 2 o Libres de contexto. La forma de las producciones para este tipo de gramática es: Donde: A N α (Σ )N A α Es decir, el conjunto P es un subconjunto del producto cartesiano N x (N Σ) 1

2 Gramáticas del Tipo 3 o Regulares. Este tipo de gramáticas son las mas sencillas y sus reglas de producción solo pueden tener una de las dos siguientes formas. Donde: A y B N a Σ A ab A a Gramáticas Libres de Contexto(GLC) A través de las Gramáticas Libres de Contexto podemos describir la sintaxis de los lenguajes de programación, por ello es importante comprender en que consiste y como podemos usarla, teniendo claros los conceptos básicos será más fácil comprender el desarrollo de analizadores sintácticos. Formalmente una gramática libre de contexto (GLC) es una cuadrupla Donde: G = (N, Σ, P, S) N es un conjunto finito de símbolos no terminales. Σ es un conjunto de símbolos terminales; es decir N Σ= Φ. P es un subconjunto finito de Nx(N Σ). Las reglas de producción de la gramática. S es el símbolo inicial de la gramática y pertenece a N. En general se usan letras mayúsculas para representar los símbolos no terminales, letras minúsculas para los símbolos terminales y las letras griegas minúsculas describen secuencias de terminales y no terminales. 2. Producciones de una gramática Una producción de una GLC la escribimos como A α Utilizamos una barra vertical para indicar una abreviación en las producciones de la gramática, por ejemplo podemos reescribirlas como: A α 1 A α 2 A α 3 A α 1 α 2 α 3 2

3 2.1. Partes de una producción Llamamos encabezado a la parte que se encuentra del lado izquierdo de la flecha, y cuerpo de la producción a todo lo que se encuentra del lado derecho, la flecha la leemos como produce. Ejemplo: Gramática libre de contexto (GLC). Sea G una gramática libre de contexto representada como sigue Las partes de la gramática son: N = {E,T,F} Σ = {+,-,*,/,(,),i} E E + T E T T T T F T/F F F (E) i P = { E E + T, E E T, E T, T T F, T T/F, T F, F (E), F i } S = S 3. Derivaciones Antes de definir lo que es una derivación necesitamos dos conceptos importantes: sentencia es una cadena formada únicamente por símbolos terminales, y una forma sentencial es una cadena compuesta por símbolos terminales y no terminales. Llamamos derivación al proceso de obtener una sentencia a partir del símbolo inicial de una gramática; en cada paso de la derivación sólo se puede substituir un símbolo no terminal por el cuerpo de una de sus producciones. Sean α y β dos formas sentenciales, decimos que β es derivable de α en un solo paso y lo denotamos de la siguiente manera α β Si β se puede obtener de α en cero o más pasos de derivación, lo denotamos de la siguiente manera. α β También si β se obtiene de α en uno o más pasos de derivación, lo denotamos de la siguiente manera Ejemplo Sea gramática α + β S asb ε derivar aaabbb. Comenzamos a partir del símbolo inicial. S asb aasbb aaasbbb aaabbb En los tres primeros pasos aplicamos S asb y en último de los pasos S ɛ. Decimos que la sentencia es derivable en cuatro pasos.podemos generalizar que para derivar a n b n se requieren n+1 pasos. 3

4 Ejemplo La gramática siguiente describe el lenguaje de todas las cadenas que son palíndromos, sobre el alfabeto {a,b} S asa bsb a b ε Las primeras dos producciones generan cualquier número balanceado de a o b, las siguientes tres producciones son usadas para terminar las derivaciones. Además S a o S b son usadas para generar las cadenas impares de a o b como palíndromos. N = { S } Σ = { a, b } P = { S asa, S bsb, S a, S b, S ε } S=S Derivar la sentencia aabaabaa. S asa aasaa aabsbaa aabasabaa aabaabaa 3.1. Ejercicios 1. Derivar las siguientes cadenas usando la gramática S asb ε a. aaaaabbbb b. aabbb 2. Derivar las siguientes sentencias usando la gramática S asa bsb a b ε a. ababbaba b. babbbbab c. abb 3.2. Derivaciones por la izquierda Decimos que una derivación es por la izquierda cuando en cada paso de la derivación seleccionamos sustituir el no terminal que se encuentra más a la izquierda Ejemplo: Sea la gramática G A (A)A ε Derivar por la izquierda ((())) A (A)A ((A)A)A (((A)A)A)A ((()A)A)A ((())A)A ((()))A ((())) 4

5 Ejemplo: Sea la gramática G E E + E E E (E) a Derivar a*a+(a*a) por la izquierda. E E + E E E + E a E + E a a + E a a + (E) a a + (E E) a a + (a E) a a + (a a) 3.3. Derivaciones por la derecha Una derivación es por la derecha cuando en cada uno de los pasos de la derivación siempre se sustituye el no terminal que se encuentra más a la derecha Ejemplo: Sea la gramática G A (A)A ε Derivar por la derecha la sentencia ((())). A (A)A (A) ((A)A) ((A)) (((A)A)) (((A))) ((())) Ejemplo: Sea la gramática G E E + E E E (E) a Derivar a*a+(a*a) por la derecha. E E + E E + (E) E + (E E) E + (E a) E + (a a) E E + (a a) E a + (a a) a a + (a a) 4. Obtención de una gramática bien formada o propia. Por lo regular al construir la gramática que describe la sintaxis de un lenguaje de programación se obtiene una gramática que no es la adecuada, debido que puede tener ciclos innecesarios o símbolos que no son útiles, por esta razón se presentan una serie de algoritmos que nos conducirán a través del camino para obtener una gramática bien formada o propia y que pueda ser utilizada para aplicar los algoritmos necesarios en la programación de compiladores. 5. Eliminación de reglas innecesarias Toda regla de producción de la forma A A es una regla innecesaria que puede ser fácilmente eliminada sin que afecte a la gramática. 5

6 6. Eliminación de símbolos muertos Un símbolo muerto es aquel símbolo no terminal tal que no exista A α, donde α Σ En otras palabras un símbolo muerto es aquel símbolo no terminal que no tiene producciones en donde el cuerpo de la producción sólo contenga símbolos terminales. Algoritmo 1 Algoritmo de Eliminación de símbolos muertos Entrada: Una gramática G con símbolos muertos Salida: Una gramática G equivalente sin símbolos muertos. 1: Iniciar N = {} y P ={} 2: repetir 3: Agregar a N todo no terminal A tal que A α, y α (Σ N ) 4: hasta que Ya no se puedan agregar más símbolos a N 5: Agregar a P todas las reglas de P cuyos símbolos Σ N 6: si S N entonces 7: añadirlo. 8: fin si Ejemplo Sea la siguiente gramática: Paso 1. N ={} y P ={} Repetir S Aa B D A Aa ba B ce B b C abd E ε D Db N ={B} por la regla B b puesto que b Σ N = {B, C}, C por la regla C abd N = {B,C,E}. E por E ε N = {B,C,E, S}. S por S B N = {B,C,E,S,A}. A por A B y A ce Agregar las reglas a P P = { S Ab B, A Aa ba B ce,b b,c abd, E ε } 6

7 7. Eliminación de símbolos inaccesibles. Un símbolo X(terminal o no terminal) es inaccesible si no existe ninguna derivación tal que S αxβ con α, β (Σ N )* Algoritmo 2 Algoritmo para eliminar símbolos inaccesibles Entrada: Una Gramática G Salida: Una gramática G equivalente sin símbolos inaccesibles 1: Iniciar N = {S}, P y Σ vacíos. 2: repetir 3: para todo ( A y A α) hacer 4: Agregar A α en P 5: Agregar todos los no terminales B en α a N 6: Agregar todos los terminales en α a Σ 7: fin para 8: hasta que No se agreguen más reglas de producción a P Ejemplo: Sea la siguiente gramática Iniciar N ={S} P = {} y Σ ={} Agregar símbolos y reglas S Aa B A Aa ba B ce B b C abd E ε P = { S Aa B}, N ={S,A,B}, Σ ={a} P = { S Aa B, A Aa ba B ce}, N ={S,A,B,E}, Σ ={a,b,c} P = { S Aa B, A Aa ba B ce, B b }, N ={S,A,B,E}, Σ ={a,b,c} P = { S Aa B, A Aa ba B ce, B b, E ɛ }, N ={S,A,B,E}, Σ ={a,b,c} 7

8 Algoritmo 3 Detección de no terminales anulables Entrada: Una Gramática G Salida: Un conjunto H con los símbolos anulables 1: H = {} 2: para todo (producción A ɛ) hacer 3: H = H {A} 4: fin para 5: mientras (H no cambie) hacer 6: para todo (producción B A 1 A 2...A n, A i H) hacer 7: H= H {B} 8: fin para 9: fin mientras 8. Eliminación de producciones ε o vacías Las reglas de la forma A ε se conocen como producciones-ε. Los símbolos no terminales tal que A ε, se conocen como símbolos anulables. Este es el algoritmo para encontrar los no terminales anulables. Cuando ya hemos calculado todos los símbolos anulables, podemos ahora aplicar el algoritmo para eliminar las producciones ε. Algoritmo 4 Eliminación de producciones-ε 1: Eliminar todas las producciones vacías (A ɛ) 2: para todo (Producción de la forma B x 1 x 2...x n )) hacer 3: Agregar B y 1 y 2...y n donde las y i satisfacen 4: y i = x i si x i no es anulable 5: y i = x i o ε si x i es anulable. 6: fin para Ejemplo: Sea la gramática siguiente Obtención de los anulables S Aa B A Aa ba BEE B bb b ε E ε H= {B, E} por las producciones vacías que tienen. Ahora por la línea 6 del algoritmo 6 agregamos a H H={B, E, A, S} por las producciones A BEE y S B 8

9 Eliminación de las producciones-ε Quitamos las producciones vacías. S Aa B A Aa ba BEE B bb b Sustituimos las reglas S Aa B A Aa a ba b BEE EE BE B E B bb b Si la gramática genera la cadena vacía también es necesario agregar una producción-ɛ, esta producción ε solo puede estar relacionada con el símbolo inicial de la gramática, si y solo si, el símbolo inicial no aparece en el cuerpo de ninguna de las producciones. Ejemplo: Dada la siguiente gramática vamos a eliminar las producciones-ε S (A), A (A), A AA, A ε Cálculo de H Para este ejemplo H ={A} Sustituir las reglas. S (A), S (), A (A), A (), A AA, A A Sabemos que A A se elimina de la gramática porque es una regla innecesaria Ejercicios. Eliminar las producciones-ε de las siguientes gramáticas 1. S U V, U T au T at, V T bv T bt, T at bt bt at ε 2. S as aa, A b ε 3. S as A, A b ε 4. S asc B, B bbc ε 9

10 Algoritmo 5 Elimnación de ciclos Entrada: Una gramática G sin producciones-ε Salida: Una gramática G sin ciclos. 1: para todo A N hacer 2: U(A) = {B N A B solo con producciones unitarias} 3: fin para 4: Iniciar P ={} 5: para (cada A N y cada B U(A) hacer 6: para (cada regla B α no unitaria) hacer 7: añadir A α a P 8: fin para 9: fin para 9. Eliminación de ciclos y reglas unitarias Una regla unitaria o de ciclo es una regla de tipo A B con A y B N, este tipo de reglas es necesario eliminarlas ya que pueden generar ciclos indefinidos. El siguiente algoritmo muestra como eliminarlas. Ejemplo: Dada la gramática siguiente aplicar el algoritmo de eliminación de ciclos y reglas unitarias. Cálculo de los conjuntos U S Aa a C E BE A Aa a B bb b S C B E c Siempre un No terminal estará en su propio conjunto U U(S) ={ S, C, E, B} U(A) = { A } U(B) = {B, S, C, E} U(C) = { C, B, S, E} U(E) = {E} Creación de P Para S: S Aa a BE por S nada por C S c por E S bb b por B 10

11 Para A: A Aa a por A Para B: B bb b por B B Aa a BE por S nada por C B c por E Para C: nada por C C bb b por B C Aa a BE por S C c por E Para E: E c por E Finalmente G queda de la siguiente manera. S Aa a BE c bb b A Aa a B Aa a BE c bb b C Aa a BE c bb b E c Claramente se puede ver que el no termina C es un símbolo inaccesible por lo cuál se puede eliminar y la gramática resultante es la siguiente. S Aa a BE c bb b A Aa a B Aa a BE c bb b E c 10. Gramática bien formada o propia Una gramática G= (N, Σ, S, P) se dice bien formada si: 1. No tiene símbolos inaccesibles. 2. No tiene símbolos muertos. 3. No tiene reglas innecesarias. 4. No contiene reglas de producciones-ε. 11

12 5. No contiene reglas unitarias. 6. En caso de que contenga la regla S ɛ, también la gramática G = (N,Σ, S, P ) con P = P- {S ε} es una gramática bien formada. 11. Algoritmo para obtener una gramática bien formada Algoritmo 6 Algoritmo para una gramática bien formada Entrada: Una gramática G Salida: Una gramática G bien formada. Eliminar reglas innecesarias. Eliminar reglas de producciones-ε. Si G contiene S ɛ, aplicar el algoritmo sin esta regla y agregarla al final del proceso. Eliminar las reglas unitarias. Eliminar los símbolos muertos. Eliminar los símbolos inaccesibles. 12

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

Compiladores: Análisis Sintáctico. Pontificia Universidad Javeriana Cali Ingenieria de Sistemas y Computación Prof. Gloria Inés Alvarez V. Compiladores: Análisis Sintáctico Pontificia Universidad Javeriana Cali Ingenieria de Sistemas y Computación Prof. Gloria Inés Alvarez V. Sintaxis Define la estructura del lenguaje Ejemplo: Jerarquía en

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

Lenguajes y Gramáticas

Lenguajes y Gramáticas Lenguajes y Gramáticas Teoría de Lenguajes Fernando Naranjo Introduccion Se desarrollan lenguajes de programación basados en el principio de gramática formal. Se crean maquinas cada vez mas sofisticadas

Más detalles

GRAMATICAS LIBRES DEL CONTEXTO

GRAMATICAS LIBRES DEL CONTEXTO GRMTICS LIBRES DEL CONTEXTO Estas gramáticas, conocidas también como gramáticas de tipo 2 o gramáticas independientes del contexto, son las que generan los lenguajes libres o independientes del contexto.

Más detalles

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

Fundamentos de Ciencias de la Computación Trabajo Práctico N 2 Lenguajes Libres del Contexto y Sensibles al Contexto Segundo Cuatrimestre de 2002 Departamento de Cs. e Ingeniería de la Computación Universidad Nacional del Sur Ejercicios Fundamentos de Ciencias de la Computación Trabajo Práctico N 2 Lenguajes Libres del Contexto y Sensibles al Contexto

Más detalles

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

Ingeniería en Computación. Autómatas y Lenguajes Formales. Unidad de competencia IV: Conocer, utilizar y diseñar gramáticas de libre contexto 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 IV: Conocer,

Más detalles

MODELOS DE COMPUTACION I Preguntas Tipo Test. 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular.

MODELOS DE COMPUTACION I Preguntas Tipo Test. 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular. MODELOS DE COMPUTACION I Preguntas Tipo Test Indicar si son verdaderas o falsas las siguientes afirmaciones: 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular. 2.

Más detalles

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

Teoría de Autómatas y Lenguajes Formales. Introducción a las Gramáticas. Gramáticas incontextuales Teoría de utómatas y Lenguajes Formales Introducción a las ramáticas. ramáticas incontextuales José M. Sempere Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Introducción

Más detalles

5 Autómatas de pila 5.1 Descripción informal. 5.2 Definiciones

5 Autómatas de pila 5.1 Descripción informal. 5.2 Definiciones 1 Curso Básico de Computación 5 Autómatas de pila 5.1 Descripción informal Un autómata de pila es esencialmente un autómata finito que controla una cinta de entrada provista de una cabeza de lectura y

Más detalles

Nivel del ejercicio : ( ) básico, ( ) medio, ( ) avanzado.

Nivel del ejercicio : ( ) básico, ( ) medio, ( ) avanzado. Universidad Rey Juan Carlos Curso 2010 2011 Teoría de Autómatas y Lenguajes Formales Ingeniería Técnica en Informática de Sistemas Hoja de Problemas 10 Gramaticas Independientes del Contexto Nivel del

Más detalles

El análisis descendente LL(1) 6, 7 y 13 de abril de 2011

El análisis descendente LL(1) 6, 7 y 13 de abril de 2011 6, 7 y 13 de abril de 2011 Analizadores sintácticos (repaso) Los analizadores descendentes: Corresponden a un autómata de pila determinista. Construyen un árbol sintáctico de la raíz hacia las hojas (del

Más detalles

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

Interrogación 2. Pontificia Universidad Católica de Chile Escuela de Ingeniería Departamento de Ciencia de la Computación. Segundo Semestre, 2003 Pontificia Universidad Católica de Chile Escuela de Ingeniería Departamento de Ciencia de la Computación Interrogación 2 IIC 2222 Teoría de Autómatas y Lenguajes Formales Segundo Semestre, 2003 Esta interrogación

Más detalles

Expresiones regulares, gramáticas regulares

Expresiones regulares, gramáticas regulares Expresiones regulares, gramáticas regulares Los LR en la jerarquía de Chomsky La clasificación de lenguajes en clases de lenguajes se debe a N. Chomsky, quien propuso una jerarquía de lenguajes, donde

Más detalles

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

INAOE. Gramáticas Libres de Contexto. Definición formal de CFGs. Derivaciones usando. Derivaciones. izquierda y. derecha. s s INAOE en s (INAOE) 1 / 67 Contenido s en s 1 s 2 3 4 5 6 7 8 en s (INAOE) 2 / 67 s s s Hemos visto que muchos lenguajes no son regulares. Por lo que necesitamos una clase más grande de lenguages Las

Más detalles

Autómatas de Pila y Lenguajes Incontextuales

Autómatas de Pila y Lenguajes Incontextuales Autómatas de Pila y Lenguajes Incontextuales Elvira Mayordomo Universidad de Zaragoza 5 de noviembre de 2012 Contenido de este tema 1. Introducción a los autómatas de pila 2. Definiciones 3. Equivalencia

Más detalles

No todos los LRs finitos se representan mejor con ERs. Observe el siguiente ejemplo:

No todos los LRs finitos se representan mejor con ERs. Observe el siguiente ejemplo: 1 Clase 3 SSL EXPRESIONES REGULARES Para REPRESENTAR a los Lenguajes Regulares. Se construyen utilizando los caracteres del alfabeto sobre el cual se define el lenguaje, el símbolo y operadores especiales.

Más detalles

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

Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS. Números naturales. Inducción matemática Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx

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

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

Gramáticas independientes del contexto AUTÓMATAS Y LENGUAJES FORMALES LENGUAJES INDEPENDIENTES DEL CONTEXTO Y AUTÓMATAS DE PILA. Otras definiciones I Gramáticas independientes del contexto UTÓMTS Y LENGUJES FORMLES LENGUJES INDEPENDIENTES DEL CONTEXTO Y UTÓMTS DE PIL Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNM E-mail:

Más detalles

Autómatas de Pila. Descripciones instantáneas o IDs. El Lenguaje de PDA. Equivalencia entre PDAs y CFGs INAOE (INAOE) 1 / 50

Autómatas de Pila. Descripciones instantáneas o IDs. El Lenguaje de PDA. Equivalencia entre PDAs y CFGs INAOE (INAOE) 1 / 50 INAOE (INAOE) 1 / 50 Contenido 1 2 3 4 (INAOE) 2 / 50 Pushdown Automata Las gramáticas libres de contexto tienen un tipo de autómata que las define llamado pushdown automata. Un pushdown automata (PDA)

Más detalles

Teoría de Lenguajes. Gramáticas incontextuales

Teoría de Lenguajes. Gramáticas incontextuales Teoría de Lenguajes Gramáticas incontextuales José M. Sempere Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Gramáticas incontextuales 1. Definiciones básicas.

Más detalles

Procesadores de Lenguaje

Procesadores de Lenguaje Procesadores de Lenguaje Repaso TALF Cristina Tîrnăucă Dept. Matesco, Universidad de Cantabria Fac. Ciencias Ing. Informática Primavera de 2013 La Jerarquía de Chomsky Cuatro niveles de lenguajes formales

Más detalles

Tema: Autómata de Pila

Tema: Autómata de Pila Facultad: Ingeniería Escuela: Computación Asignatura: Compiladores 1 Tema: Autómata de Pila Contenido La presente guía aborda los autómatas de pila, y se enfoca en la aplicación que se le puede dar a estas

Más detalles

Unidad 4. Autómatas de Pila

Unidad 4. Autómatas de Pila Unidad 4. Autómatas de Pila Una de las limitaciones de los AF es que no pueden reconocer el lenguaje {0 n 1 n } debido a que no se puede registrar para todo n con un número finito de estados. Otro lenguaje

Más detalles

06 Análisis léxico II

06 Análisis léxico II 2 Contenido Alfabetos, símbolos y cadenas Operaciones con cadenas Concatenación de dos cadenas Prefijos y sufijos de una cadena Subcadena y subsecuencia Inversión de una cadena Potencia de una cadena Ejercicios

Más detalles

3. Ecuaciones, parte I

3. Ecuaciones, parte I Matemáticas I, 2012-I La ecuación es como una balanza Una ecuación es como una balanza en equilibrio: en la balanza se exhiben dos objetos del mismo peso en ambos lados mientras que en la ecuación se exhiben

Más detalles

Construcción de tablas de análisis sintáctico LL(1)

Construcción de tablas de análisis sintáctico LL(1) Construcción de tablas de análisis sintáctico LL(1) Universidad de Costa Rica Escuela de Ciencias de la Computación e Informática Diego Centeno Gerardo Cortés Juan Diego Alfaro Resumen. A la medida en

Más detalles

TEORÍA DE CONJUNTOS.

TEORÍA DE CONJUNTOS. TEORÍA DE CONJUNTOS. NOCIÓN DE CONJUNTO: Concepto no definido del cual se tiene una idea subjetiva y se le asocian ciertos sinónimos tales como colección, agrupación o reunión de objetos abstractos o concretos.

Más detalles

Gramáticas Independientes del Contexto (GIC)

Gramáticas Independientes del Contexto (GIC) Asignatura: Teoría de la Computación Tema 4: Gramáticas independientes del contexto Definiciones y propiedades Gramáticas Independientes del Contexto (GIC) Qué es una gramática? Modelo de estructuras recursivas.

Más detalles

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

TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Grado en Ingeniería Informática Online, Curso Universidad Rey Juan Carlos TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Grado en Ingeniería Informática Online, Curso 202-203 Universidad Rey Juan Carlos GUÍA PARA LA REALIZACIÓN DE LA HOJA DE PROBLEMAS No 3 (Tema 3: Expresiones Regulares)

Más detalles

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

Temas. Objetivo. Que el estudiante logre: 1) Identificar conceptos constructivos de la Teoría de la Computabilidad. 2) Definir autómatas de pila. 0 Temas Definición de autómata de pila Autómata de pila determinístico y no determinístico Objetivo Que el estudiante logre: 1) Identificar conceptos constructivos de la Teoría de la Computabilidad. 2)

Más detalles

Clase 17: Autómatas de pila

Clase 17: Autómatas de pila Solicitado: Ejercicios 14: Autómatas de pila de GLC M. en C. Edgardo Adrián Franco Martínez http://computacion.cs.cinvestav.mx/~efranco @efranco_escom edfrancom@ipn.mx 1 Contenido Autómata de pila Definición

Más detalles

Conjuntos. Un conjunto es una colección de objetos. Si a es un objeto y R es un conjunto entonces por. a R. se entiende que a pertenece a R.

Conjuntos. Un conjunto es una colección de objetos. Si a es un objeto y R es un conjunto entonces por. a R. se entiende que a pertenece a R. Conjuntos Un conjunto es una colección de objetos. Si a es un objeto y R es un conjunto entonces por se entiende que a pertenece a R. a R Normalmente, podremos definir a un conjunto de dos maneras: Por

Más detalles

ARITMÉTICA MODULAR. Unidad 1

ARITMÉTICA MODULAR. Unidad 1 Unidad 1 ARITMÉTICA MODULAR 9 Capítulo 1 DE LA TEORÍA DE CONJUNTOS Objetivo general Presentar y afianzar algunos conceptos de la Teoría de Conjuntos relacionados con el estudio de la matemática discreta.

Más detalles

Cualquier lenguaje de contexto libre, L, puede ser generado por medio de una GCL, G, que cumpla las siguientes condiciones:

Cualquier lenguaje de contexto libre, L, puede ser generado por medio de una GCL, G, que cumpla las siguientes condiciones: Teoría de Autómatas y Lenguajes Formales Boletín de Autoevaluación 5: Cómo se simplifica una Gramática de Contexto Libre?. 1. Objetivos. El objetivo de este boletín es ilustrar cómo proceder para simplificar

Más detalles

Algebra lineal y conjuntos convexos

Algebra lineal y conjuntos convexos Apéndice A Algebra lineal y conjuntos convexos El método simplex que se describirá en el Tema 2 es de naturaleza algebraica y consiste en calcular soluciones de sistemas de ecuaciones lineales y determinar

Más detalles

Lenguajes, Gramáticas y Autómatas Conceptos

Lenguajes, Gramáticas y Autómatas Conceptos Lenguajes, Gramáticas y Autómatas Conceptos Departamento de Informática e Ingeniería de Sistemas C.P.S. Universidad de Zaragoza Última revisión: Febrero. 2004 11/02/2004 1 Índice Alfabetos, palabras y

Más detalles

Procesadores de Lenguaje

Procesadores de Lenguaje Procesadores de Lenguaje Analizadores sintácticos descendentes: LL(1) Cristina Tîrnăucă Dept. Matesco, Universidad de Cantabria Fac. Ciencias Ing. Informática Primavera de 2013 Analizadores sintácticos

Más detalles

Máquinas Secuenciales, Autómatas y Lenguajes. Tema 3.1: Autómatas Finitos Deterministas

Máquinas Secuenciales, Autómatas y Lenguajes. Tema 3.1: Autómatas Finitos Deterministas Tema 3.1: Autómatas Finitos Deterministas Luis Peña luis.pena@urjc.es http://www.ia.urjc.es/cms/es/docencia/ic-msal Sumario Tema 3.1: Autómatas Finitos Deterministas. 1. Concepto de AFD 2. Equivalencia

Más detalles

Relaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad

Relaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad Estructuras Discretas Relaciones Definición: relación Relaciones Claudio Lobos, Jocelyn Simmonds clobos,jsimmond@inf.utfsm.cl Universidad Técnica Federico Santa María Estructuras Discretas INF 152 Sean

Más detalles

AUTÓMATAS DE PILA Y LENGUAJES INDEPENDIENTES DEL CONTEXTO

AUTÓMATAS DE PILA Y LENGUAJES INDEPENDIENTES DEL CONTEXTO Autómatas de pila y lenguajes independientes del contexto -1- AUTÓMATAS DE PILA Y LENGUAJES INDEPENDIENTES DEL CONTEXTO AUTÓMATAS DE PILA - Son autómatas finitos con una memoria en forma de pila. - Símbolos

Más detalles

Eliminación de cuantificadores

Eliminación de cuantificadores Eliminación de cuantificadores Teorema Si una teoría admite eliminación de cuantificadores, y existe un algoritmo que construye ϕ sc a partir de ϕ, entonces es decidible. Cómo se demuestra este teorema?

Más detalles

TEMA 2: TEORÍA DE CONJUNTOS Y CONJUNTOS NUMÉRICOS.

TEMA 2: TEORÍA DE CONJUNTOS Y CONJUNTOS NUMÉRICOS. TEMA 2: TEORÍA DE CONJUNTOS Y CONJUNTOS NUMÉRICOS. TEORÍA DE CONJUNTOS. Definiciones. Se define un conjunto como una colección de objetos o cosas, se nombran con letras mayúsculas (A, B...). Cada uno de

Más detalles

Un autómata con pila no determinista (APND) es una septupla Q A B F en la que

Un autómata con pila no determinista (APND) es una septupla Q A B F en la que AUTÓMATAS CON PILA Un autómata con pila no determinista (APND) es una septupla Q A F en la que δ q 0 Q es un conjunto finito de estados A es un alfabeto de entrada es un alfabeto para la pila δ es la función

Más detalles

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

Tema 2. Fundamentos de la Teoría de Lenguajes Formales Departamento de Tecnologías de la Información Tema 2. Fundamentos de la Teoría de Lenguajes Formales Ciencias de la Computación e Inteligencia Artificial Índice 2.1. Alfabeto 2.2. Palabra 2.3. Operaciones

Más detalles

1 NOCIONES BÁSICAS SOBRE CONJUNTOS. SÍMBOLOS.

1 NOCIONES BÁSICAS SOBRE CONJUNTOS. SÍMBOLOS. UNIDAD 1.- CONCEPTOS REQUERIDOS CONJUNTOS. AXIOMAS DE PERTENENCIA, PARALELISMO, ORDEN Y PARTICIÓN. 1 NOCIONES BÁSICAS SOBRE CONJUNTOS. SÍMBOLOS. 1.1 Determinaciones de un conjunto. Un conjunto queda determinado

Más detalles

Autómatas Finitos Deterministicos (DFA)

Autómatas Finitos Deterministicos (DFA) Autómatas Finitos Deterministicos (DFA) Introducción a la Lógica y la Computación Fa.M.A.F., Universidad Nacional de Córdoba 26/0/6 Info útil Bibliografía: Introducción a la teoría de autómatas, lenguajes

Más detalles

Clase 03: Alfabetos, símbolos y cadenas

Clase 03: Alfabetos, símbolos y cadenas Solicitado: Ejercicios 01: Cadenas M. en C. Edgardo Adrián Franco Martínez http://computacion.cs.cinvestav.mx/~efranco @efranco_escom edfranco@ipn.mx 1 Contenido Alfabetos, símbolos y cadenas Operaciones

Más detalles

Análisis y síntesis de sistemas digitales combinacionales

Análisis y síntesis de sistemas digitales combinacionales Análisis Algoritmo de análisis, para un circuito lógico combinacional Síntesis. Conceptos Circuitos combinacionales bien construidos Circuitos combinacionales mal construidos Criterios de optimización

Más detalles

UNIDAD DE APRENDIZAJE I

UNIDAD DE APRENDIZAJE I UNIDAD DE APRENDIZAJE I Saberes procedimentales Interpreta y utiliza correctamente el lenguaje simbólico para el manejo de expresiones algebraicas. 2. Identifica operaciones básicas con expresiones algebraicas.

Más detalles

Tema 5 Lenguajes independientes del contexto. Sintaxis

Tema 5 Lenguajes independientes del contexto. Sintaxis Tema 5 Lenguajes independientes del contexto. Sintaxis 1 Gramáticas independientes del contexto Transformación de gramáticas independientes del contexto Autómatas de pila Obtención de un autómata de pila

Más detalles

Sistemas de ecuaciones lineales

Sistemas de ecuaciones lineales Tema 1 Sistemas de ecuaciones lineales 11 Definiciones Sea K un cuerpo Una ECUACIÓN LINEAL CON COEFICIENTES EN K es una expresión del tipo a 1 x 1 + + a n x n = b, en la que n es un número natural y a

Más detalles

SISTEMAS INFORMÁTICOS PROGRAMACION I - Contenidos Analíticos Ing. Alejandro Guzmán M. TEMA 2. Diseño de Algoritmos

SISTEMAS INFORMÁTICOS PROGRAMACION I - Contenidos Analíticos Ing. Alejandro Guzmán M. TEMA 2. Diseño de Algoritmos TEMA 2 Diseño de Algoritmos 7 2. DISEÑO DE ALGORITMOS 2.1. Concepto de Algoritmo En matemáticas, ciencias de la computación y disciplinas relacionadas, un algoritmo (del griego y latín, dixit algorithmus

Más detalles

PROCESADORES DE LENGUAJE EXAMEN FINAL 8-JUNIO-07

PROCESADORES DE LENGUAJE EXAMEN FINAL 8-JUNIO-07 PROCESADORES DE LENGUAJE EXAMEN FINAL 8-JUNIO-07 1. En qué método de análisis sintáctico puede suceder que en la construcción del árbol de derivación de las posibles expansiones de un símbolo no terminal

Más detalles

33. SISTEMA PLANOS ACOTADOS

33. SISTEMA PLANOS ACOTADOS 33. SISTEMA PLANOS ACOTADOS 33.1. Elementos del sistema. En el sistema de planos acotados o sistema acotado solo interviene un solo elemento el plano de proyección π. Como en los otros sistemas de representación

Más detalles

En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse

En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse lógicamente como un término no definido. Un conjunto se

Más detalles

1 Conjuntos y propiedades de los números naturales

1 Conjuntos y propiedades de los números naturales Programa Inmersión, Verano 2016 Notas escritas por Dr. M Notas del cursos. Basadas en los prontuarios de MATE 3001 y MATE 3023 Clase #1: martes, 31 de mayo de 2016. 1 Conjuntos y propiedades de los números

Más detalles

Computabilidad y Lenguajes Formales: Autómatas de Pila

Computabilidad y Lenguajes Formales: Autómatas de Pila 300CIG007 Computabilidad y Lenguajes Formales: Autómatas de Pila Pontificia Universidad Javeriana Cali Ingeniería de Sistemas y Computación Prof. Gloria Inés Alvarez V. Basado en [SIPSER, Chapter 2] Autómatas

Más detalles

MANEJO DE EXPRESIONES REGULARES

MANEJO DE EXPRESIONES REGULARES Procesadores de lenguajes Ejercicios del Tema 2 MANEJO DE EXPRESIONES REGULARES Ejercicio 2. Escriba expresiones regulares para los siguientes lenguajes: a) Comentarios que comiencen por

Más detalles

Procesadores de Lenguaje

Procesadores de Lenguaje Procesadores de Lenguaje Analizadores LALR Cris%na Tirnauca Domingo Gómez Pérez DPTO. DE MATEMÁTICAS, ESTADÍSTICA Y COMPUTACIÓN Este tema se publica bajo Licencia: CreaIve Commons BY NC SA 3.0 El Analizador

Más detalles

Autómatas Deterministas. Ivan Olmos Pineda

Autómatas Deterministas. Ivan Olmos Pineda Autómatas Deterministas Ivan Olmos Pineda Introducción Los autómatas son una representación formal muy útil, que permite modelar el comportamiento de diferentes dispositivos, máquinas, programas, etc.

Más detalles

Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación.

Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación. NÚMEROS REALES Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación. Un conjunto es una colección bien definida

Más detalles

SISTEMA DE NUMEROS REALES

SISTEMA DE NUMEROS REALES SISTEMA DE NUMEROS REALES 1.1 Conjuntos Es una agrupación de objetos distintos (pero con algunas características en común), los que reciben el nombre de elementos. Generalmente se nombra a un conjunto

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

Gramáticas independientes del contexto. Tema 3: Lenguajes independientes del contexto. Derivaciones. Árbol de derivación

Gramáticas independientes del contexto. Tema 3: Lenguajes independientes del contexto. Derivaciones. Árbol de derivación Tema 3: Lenguajes independientes del contexto Gramáticas independientes de contexto (GIC) Conceptos básicos Ambigüedad Ejemplos de GICs Autómatas con pila (AP) Definición de autómata con pila Determinismo

Más detalles

Autora: Jeanneth Galeano Peñaloza. 3 de febrero de Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 1/ 45

Autora: Jeanneth Galeano Peñaloza. 3 de febrero de Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 1/ 45 Autora: Jeanneth Galeano Peñaloza Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 3 de febrero de 2013 1/ 45 Parte I 2/ 45 Definición intuitiva de conjunto Definición Un conjunto

Más detalles

Matemáticas. ticas Discretas. Lenguajes y Gramáticas. Tenemos dos clases de lenguaje: Lenguaje Formal

Matemáticas. ticas Discretas. Lenguajes y Gramáticas. Tenemos dos clases de lenguaje: Lenguaje Formal Matemáticas ticas Discretas y Gramáticas y Gramáticas Tenemos dos clases de lenguaje: Lenguaje Natural Lenguaje Formal Lenguaje Formal De acuerdo al diccionario Webster, un lenguaje es un cuerpo de palabras

Más detalles

El Autómata con Pila: Transiciones

El Autómata con Pila: Transiciones El Autómata con Pila: Transiciones El Espacio de Configuraciones Universidad de Cantabria Esquema Introducción 1 Introducción 2 3 Transiciones Necesitamos ahora definir, paso por paso, como se comporta

Más detalles

CONJUNTOS TEORIA BASICA DE CONJUNTOS

CONJUNTOS TEORIA BASICA DE CONJUNTOS Repasamos CONJUNTOS TEORIA BASICA DE CONJUNTOS Cualquier colección de objetos o individuos se denomina conjunto. El termino conjunto no tiene una definición matemática, sino que es un concepto primitivo.

Más detalles

Ejercicios del Tema 2: Estructuras algebraicas básicas

Ejercicios del Tema 2: Estructuras algebraicas básicas Ejercicios del Tema 2: Estructuras algebraicas básicas En los ejercicios 1, 2, 8 y 9 se utilizará que si G = {g 1,...,g n } es un conjunto finito y * una operación interna definida en G, podemos utilizar

Más detalles

Introducción al Álgebra

Introducción al Álgebra Capítulo 3 Introducción al Álgebra L a palabra álgebra deriva del nombre del libro Al-jebr Al-muqābāla escrito en el año 825 D.C. por el matemático y astrónomo musulman Mohamad ibn Mūsa Al-Khwārizmī. El

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

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

Espacios Vectoriales www.math.com.mx

Espacios Vectoriales www.math.com.mx Espacios Vectoriales Definiciones básicas de Espacios Vectoriales www.math.com.mx José de Jesús Angel Angel jjaa@math.com.mx MathCon c 007-009 Contenido. Espacios Vectoriales.. Idea Básica de Espacio Vectorial.................................

Más detalles

Sistemas de ecuaciones.

Sistemas de ecuaciones. 1 CONOCIMIENTOS PREVIOS. 1 Sistemas de ecuaciones. 1. Conocimientos previos. Antes de iniciar el tema se deben de tener los siguientes conocimientos básicos: Operaciones básicas con polinomios. Resolución

Más detalles

SESIÓN 14 DERIVADAS SUCESIVAS DE UNA FUNCION, DE MÁXIMOS Y MÍNIMOS Y LA CONCAVIDAD DE UNA CURVA APLICANDO EL CRITERIO DE LA SEGUNDA DERIVADA

SESIÓN 14 DERIVADAS SUCESIVAS DE UNA FUNCION, DE MÁXIMOS Y MÍNIMOS Y LA CONCAVIDAD DE UNA CURVA APLICANDO EL CRITERIO DE LA SEGUNDA DERIVADA SESIÓN 14 DERIVADAS SUCESIVAS DE UNA FUNCION, DE MÁXIMOS Y MÍNIMOS Y LA CONCAVIDAD DE UNA CURVA APLICANDO EL CRITERIO DE LA SEGUNDA DERIVADA I. CONTENIDOS: 1. Derivadas sucesivas de una función 2. Concavidad

Más detalles

Grupos libres. Presentaciones.

Grupos libres. Presentaciones. S _ Tema 12.- Grupos libres. Presentaciones. 12.1 Grupos libres. En el grupo Z de los enteros vimos una propiedad (cf. ejemplos.5), que lo caracteriza como grupo libre. Lo enunciamos al modo de una Propiedad

Más detalles

Equivalencia Entre PDA y CFL

Equivalencia Entre PDA y CFL Equivalencia Entre PDA y CFL El Lenguaje aceptado por un Autómata con Pila Universidad de Cantabria Esquema 1 Introducción 2 3 Lenguaje Aceptado por un Autómata Como en los autómatas finitos, se puede

Más detalles

Capítulo 1 Lenguajes formales 6

Capítulo 1 Lenguajes formales 6 Capítulo 1 Lenguajes formales 6 1.8. Operaciones entre lenguajes Puesto que los lenguajes sobre Σ son subconjuntos de Σ, las operaciones usuales entre conjuntos son también operaciones válidas entre lenguajes.

Más detalles

(CR) Prof. Manuel López Mateos Curso de Cálculo I,

(CR) Prof. Manuel López Mateos Curso de Cálculo I, (página 81) CAPÍTULO 3 FUNCIONES REALES Función es dependencia. A velocidad fija, la distancia recorrida depende del tiempo transcurrido. El tiempo que tarda en caer una piedra depende de la altura que

Más detalles

CONJUNTOS UNIDAD II. a A. En caso I.1 CONCEPTOS BÁSICOS DE CONJUNTOS

CONJUNTOS UNIDAD II. a A. En caso I.1 CONCEPTOS BÁSICOS DE CONJUNTOS CONJUNTOS UNIDAD II I.1 CONCEPTOS BÁSICOS DE CONJUNTOS Un conjunto es la agrupación en un todo de objetos bien definidos y diferenciables entre si, que se llaman elementos del mismo. Los conjuntos se denotan

Más detalles

MATEMÁTICAS BÁSICAS UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE MEDELLÍN ANGULOS Y TRIANGULOS

MATEMÁTICAS BÁSICAS UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE MEDELLÍN ANGULOS Y TRIANGULOS MATEMÁTICAS BÁSICAS UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE MEDELLÍN ANGULOS Y TRIANGULOS CONCEPTOS BÁSICOS Punto, línea recta y plano: son conceptos que no de nimos pero utilizamos su representación grá

Más detalles

{ } Listado de elementos del conjunto

{ } Listado de elementos del conjunto CONJUNTOS Qué es un conjunto? Un conjunto es un grupo no ordenado de elementos que comparte una o más características. Nomenclatura en los conjuntos Los conjuntos siempre se nombran con letras mayúsculas,

Más detalles

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

Recordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de números que son básicos. Capítulo 1 Preliminares Vamos a ver en este primer capítulo de preliminares algunos conceptos, ideas y propiedades que serán muy útiles para el desarrollo de la asignatura. Se trata de resultados sobre

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

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

Sumario: Teoría de Autómatas y Lenguajes Formales. Capítulo 2: Lenguajes Formales. Capítulo 2: Lenguajes Formales Teoría de Autómatas y Lenguajes Formales Capítulo 2: Lenguajes Formales Holger Billhardt holger.billhardt@urjc.es Sumario: Capítulo 2: Lenguajes Formales 1. Concepto de Lenguaje Formal 2. Operaciones sobre

Más detalles

Espacios Vectoriales Asturias: Red de Universidades Virtuales Iberoamericanas 1

Espacios Vectoriales Asturias: Red de Universidades Virtuales Iberoamericanas 1 Espacios Vectoriales 201 6Asturias: Red de Universidades Virtuales Iberoamericanas 1 Índice 1 Espacios Vectoriales... 4 1.1 Definición de espacio vectorial... 4 1.2 Definición de subespacio vectorial...

Más detalles

Espacios Vectoriales

Espacios Vectoriales Espacios Vectoriales Espacios Vectoriales Verónica Briceño V. noviembre 2013 Verónica Briceño V. () Espacios Vectoriales noviembre 2013 1 / 47 En esta Presentación... En esta Presentación veremos: Espacios

Más detalles

Ecuaciones Lineales en Dos Variables

Ecuaciones Lineales en Dos Variables Ecuaciones Lineales en Dos Variables Una ecuación lineal en dos variables tiene la forma general a + b + c = 0; donde a, b, c representan números reales las tres no pueden ser iguales a cero a la misma

Más detalles

Problemas de Espacios Vectoriales

Problemas de Espacios Vectoriales Problemas de Espacios Vectoriales 1. Qué condiciones tiene que cumplir un súbconjunto no vacío de un espacio vectorial para que sea un subespacio vectorial de este? Pon un ejemplo. Sean E un espacio vectorial

Más detalles

Capítulo 7: Expresiones Regulares

Capítulo 7: Expresiones Regulares Capítulo 7: Expresiones Regulares 7.1. Concepto de expresión regular 7.1.1. Definición 7.1.2. Lenguaje descrito 7.1.3. Propiedades 7.2. Teoremas de equivalencia 7.2.1. Obtener un AFND a partir de una expresión

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

Métodos para escribir algoritmos: Diagramas de Flujo y pseudocódigo

Métodos para escribir algoritmos: Diagramas de Flujo y pseudocódigo TEMA 2: CONCEPTOS BÁSICOS DE ALGORÍTMICA 1. Definición de Algoritmo 1.1. Propiedades de los Algoritmos 2. Qué es un Programa? 2.1. Cómo se construye un Programa 3. Definición y uso de herramientas para

Más detalles

Tipos algebraicos y abstractos. Algoritmos y Estructuras de Datos I. Tipos algebraicos

Tipos algebraicos y abstractos. Algoritmos y Estructuras de Datos I. Tipos algebraicos Algoritmos y Estructuras de Datos I 1 cuatrimestre de 009 Departamento de Computación - FCEyN - UBA Programación funcional - clase Tipos algebraicos Tipos algebraicos y abstractos ya vimos los tipos básicos

Más detalles

Estructuras Algebraicas

Estructuras Algebraicas Tema 1 Estructuras Algebraicas Definición 1 Sea A un conjunto no vacío Una operación binaria (u operación interna) en A es una aplicación : A A A Es decir, tenemos una regla que a cada par de elementos

Más detalles

Sistemas de ecuaciones.

Sistemas de ecuaciones. 1 CONOCIMIENTOS PREVIOS. 1 Sistemas de ecuaciones. 1. Conocimientos previos. Antes de iniciar el tema se deben de tener los siguientes conocimientos básicos: Operaciones básicas con polinomios. Resolución

Más detalles

Lenguajes (gramáticas y autómatas)

Lenguajes (gramáticas y autómatas) Lenguajes (gramáticas y autómatas) Elvira Mayordomo Universidad de Zaragoza 19 de septiembre de 2013 Elvira Mayordomo (Universidad de Zaragoza) Lenguajes (gramáticas y autómatas) 19 de septiembre de 2013

Más detalles

Teorema del Valor Medio

Teorema del Valor Medio Tema 6 Teorema del Valor Medio Abordamos en este tema el estudio del resultado más importante del cálculo diferencial en una variable, el Teorema del Valor Medio, debido al matemático italo-francés Joseph

Más detalles

Convertir un AFND a un AFD

Convertir un AFND a un AFD Convertir un AFND a un AFD Existe una equivalencia entre los AFD y AFN, de forma que un autómata M es equivalente a un autómata M' si L(M) ) L(M'). Ejemplo: Los autómatas de la siguiente figura son equivalentes.

Más detalles

Colegio Universitario Boston. Funciones

Colegio Universitario Boston. Funciones 70 Concepto de Función Una función es una correspondencia entre dos conjuntos, tal que relaciona, a cada elemento del conjunto A con un único elemento del conjunto Para indicar que se ha establecido una

Más detalles