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.
|
|
- Raquel Rivero Mendoza
- hace 6 años
- Vistas:
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. Sintaxis Define la estructura del lenguaje Ejemplo: Jerarquía en
Más detallesEJERCICIOS 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 detallesLenguajes 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 detallesGRAMATICAS 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 detallesFundamentos 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 detallesIngenierí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 detallesMODELOS 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 detallesTeorí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 detalles5 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 detallesNivel 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 detallesEl 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 detallesInterrogació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 detallesExpresiones 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 detallesINAOE. 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 detallesAutó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 detallesNo 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 detallesInducció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 detallesExpresiones 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 detallesGramá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 detallesAutó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 detallesTeorí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 detallesProcesadores 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 detallesTema: 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 detallesUnidad 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 detalles06 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 detalles3. 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 detallesConstrucció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 detallesTEORÍ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 detallesGramá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 detallesTEORÍ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 detallesTemas. 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 detallesClase 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 detallesConjuntos. 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 detallesARITMÉ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 detallesCualquier 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 detallesAlgebra 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 detallesLenguajes, 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 detallesProcesadores 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 detallesMá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 detallesRelaciones. 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 detallesAUTÓ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 detallesEliminació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 detallesTEMA 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 detallesUn 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 detallesTema 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 detalles1 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 detallesAutó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 detallesClase 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 detallesAná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 detallesUNIDAD 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 detallesTema 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 detallesSistemas 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 detallesSISTEMAS 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 detallesPROCESADORES 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 detalles33. 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 detallesEn 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 detalles1 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 detallesComputabilidad 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 detallesMANEJO 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 detallesProcesadores 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 detallesAutó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 detallesConjuntos 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 detallesSISTEMA 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 detallesAutó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 detallesGramá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 detallesAutora: 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 detallesMatemá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 detallesEl 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 detallesCONJUNTOS 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 detallesEjercicios 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 detallesIntroducció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 detallesPropiedades 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 detallesMá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 detallesEspacios 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 detallesSistemas 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 detallesSESIÓ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 detallesGrupos 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 detallesEquivalencia 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 detallesCapí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,
(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 detallesCONJUNTOS 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 detallesMATEMÁ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
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 detallesRecordemos 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 detallesAutó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 detallesSumario: 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 detallesEspacios 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 detallesEspacios 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 detallesEcuaciones 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 detallesProblemas 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 detallesCapí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 detallesTema 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 detallesMé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 detallesTipos 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 detallesEstructuras 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 detallesSistemas 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 detallesLenguajes (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 detallesTeorema 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 detallesConvertir 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 detallesColegio 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