Clase 15: GLC s limpias y bien formadas
|
|
- Purificación Castellanos Guzmán
- hace 6 años
- Vistas:
Transcripción
1 Clase 15: GLC s limpias y bien formadas Solicitado: Ejercicios 12: GLC s Limpias y bien formadas M. en C. Edgardo Adrián Franco Martínez edfrancom@ipn.mx 1
2 Contenido Gramáticas limpias y bien formadas Reglas no deseadas Gramáticas sucias Gramáticas bien formadas Eliminación de las reglas no generativas Eliminación de las reglas de redenominación Limpieza de gramáticas Algoritmo para detectar símbolos muertos Algoritmo para detectar símbolos inaccesibles Ejemplo Ejercicios 12: GLC s Limpias y bien formadas 2 Compiladores (Lenguajes y gramáticas - Edgardo A. Franco)
3 Gramáticas limpias y bien formadas Una gramática limpia y bien formada facilita el correcto tratamiento y detección a la hora de ser impuesta en algúnlenguaje. Para poder construir una gramática adecuada se debe verificar la correcta escritura de las reglas de producción de lagramática,asícomosuvalidez. 3
4 Reglas no deseadas Sin Reglas No Generativas: U ε, es una regla no generativa. Si el lenguaje representado por la gramática no contiene la palabra vacía es posible eliminar todas las reglas no generativas, de lo contrario se debe admitir la regla S ε, donde S es el símbolo inicial. Sin Reglas de Redenominación: A B es una regla de redenominación. 4
5 Sin Reglas Innecesarias: A b, es una regla innecesaria si A no hace parte del lado derecho de otra regla. A es un símbolo inaccesible. Sin Reglas con Símbolos No Generativos: Dada la gramática G= (N, Σ, S, P), para cada símbolo A de N se construye la gramática G(A)=(NA, ΣA, A, PA), si L(G(A)) es vacío, entonces A es un símbolo no generativo ya quetodaslasreglasdeasonnogenerativas. 5
6 Sin Reglas Superfluas: Dada la gramática G = ( {a,b}, { S, A, B}, S, {S AB, A Aa a, B Bb} ), la regla B Bb es superflua porque no puede derivar una cadena que solo contenga símbolos terminales, debido a la existencia del símbolo Bnogenerativoenellado derechode la producción. «Identificar las reglas no generativas y de redenominación es tarea fácil, mientras que ubicar las reglas innecesarias, con símbolos no generativos o superfluas puede llegar a ser difícil si el numero de producciones de una gramática es muy grande» 6
7 Para identificar las reglas innecesarias, no generativas o superfluas, puede realizarse la búsqueda de símbolos llamados muertos e inaccesibles en la gramática. Llamamos símbolo vivo al símbolo no terminal a partir del cual se puede derivar una cadena de terminales. G = ( {a,b}, { S, A, B, C}, S, P) P: {S Ab, S AB, A Aa a, B Bb, C aba} ) S, A ycson símbolos vivos 7
8 Llamamos símbolo muerto a los símbolos novivos, no generan una cadena del lenguaje. G = ( {a,b}, { S, A, B, C}, S, P) P: {S Ab, S AB, A Aa a, B Bb, C aba} ) B es un símbolo muerto Como B es un símbolo muerto, las reglas donde B aparecen del lado derecho únicamente son Reglas con Símbolos No Generativos. Las reglas donde B aparece del lado izquierdo, pasan ha ser Reglas Superfluas de la gramática. 8
9 Llamamos símbolo inaccesible si nunca aparece en la parte derecha de una producción. G = ( {a,b}, { S, A, B, C}, S, P) P: {S Ab, S AB, A Aa a, B Bb, C aba} ) C es un símbolo inaccesible Como C es un símbolo inaccesible, las reglas donde B aparecen del lado derecho únicamente son Reglas Innecesarias. 9
10 Gramáticas sucias A las gramáticas que contienen símbolos muertos e inaccesibles se les llama gramáticassúcias. «A las gramáticas que incluyen reglas con símbolos no generativos, reglas superfluas e innecesarias, se les conoce como gramáticas sucias» 10
11 Gramáticas bien formadas Una gramática está bien formada si es limpia y además no contiene produccionesa λoa B. «Las gramáticas bien formadas, además de ser limpias no incluyen reglas no generativas ni reglas de redenominación» 11
12 Eliminación de las reglas no generativas Para eliminar reglas no generativas, se deberá de sustituir las eliminaciones no generativas por aquellas que dejan la gramáticaconelmismosentido. S a AB A b A c B d λ B c B A S a AB a B b A c B d B c B A cb 12
13 Eliminación de las reglas de redenominación Para eliminar reglas de redenominación, se deberá de sustituir las reglas de redenominación por reglas que dejan la gramáticaconelmismosentido S a AB G A A c B d Bc B bbc Abb Ga G gad g S a AB gad g c B d Bc A c B d Bc B bbc Abb Ga G gad g 13
14 Limpieza de gramáticas Pararealizarlalimpieza deunagramática,se consideran los siguiente principios. Teorema 1:si todos los símbolos de la parte derecha de una producción son símbolos vivos, entonces el símbolo de la parte izquierda también lo es. Teorema 2: si el símbolo no-terminal de la parte izquierda de una producción es accesible, entonces todos los símbolos de la parte derecha también lo son. 14
15 Algoritmo para detectar símbolos muertos 1. Hacer una lista de no-terminales que tengan al menos una producción con sólo símbolos terminales en la parte derecha. 2. Dada una producción, si todos los no-terminales de la parte derecha pertenecen a la lista, entonces podemos incluir en la lista al no-terminal de la parte izquierda de la producción. 3. Cuando ya no se puedan incluir más símbolos en la lista mediante la aplicación del paso 2, la lista contendrá los símbolos no-terminales vivos y el resto serán símbolos muertos. 15
16 Algoritmo para detectar símbolos inaccesibles 1. Se inicializa una lista de no-terminales que sabemos que son accesibles con el axioma. 2. Si la parte izquierda de una producción está en la lista, entonces se incluye en la misma al no-terminal que aparece en la parte derecha de la producción. 3. Cuando ya no se pueden incluir más símbolos a la lista mediante la aplicación del paso 2, entonces la lista contendrá todos los símbolos accesibles y el resto de los noterminales serán inaccesibles. 16
17 Ejemplo: Ejemplo: Limpiar y formar de manera correcta la gramática siguiente: S a AB A G A c B d H B e f S λ C g D h D t D x y z E AH cb F AB Ga G FG H Ha bh E 17
18 1. Eliminación de reglas no generativas S a AB A G A c B d H B e f S λ C g D h D t D x y z E AH cb F AB Ga G FG H Ha bh E S a AB aa A G A c B d cd H B e f S C g D h D t D x y z E AH cb c F AB A Ga G FG H Ha bh E 18
19 2. Eliminación de reglas de redenominación S a AB aa A G A c B d cd H B e f S C g D h D t D x y z E AH cb c F AB A Ga G FG H Ha bh E S a AB aa c B d cd Ha bh AH cb c FG A c B d cd Ha bh AH cb c B e f S C g D h D t D x y z E AH cb c F AB c B d cd Ha bh AH cb c Ga G FG H Ha bh AH cb c 19
20 3. Búsqueda de símbolos muertos S a AB aa c B d cd Ha bh AH cb c FG A c B d cd Ha bh AH cb c B e f S C g D h D t D x y z E AH cb c F AB c B d cd Ha bh AH cb c Ga G FG H Ha bh AH cb c Lista inicial {S,A,B,D,E,F,H} Lista final {S,A,B,D,E,F,H,C} Símbolos fuera de la lista {G} 20
21 Símbolos VIVOS B D A C E F H Símbolos MUERTOS El símbolo muerto G aparecen en la parte derecha de las reglas con símbolos no generativos y las reglas donde aparecen G del lado izquierdo son reglas superfluas en la gramática: G Reglas con símbolos no generativos S FG F Ga G FG Reglas superfluas G FG 21
22 4. Eliminación de reglas con símbolos no generativos y reglas superfluas S a AB aa c B d cd Ha bh AH cb c A c B d cd Ha bh AH cb c B e f S C g D h D t D x y z E AH cb c F AB c B d cd Ha bh AH cb c H Ha bh AH cb c 22
23 4. Búsqueda de símbolos inaccesibles S a AB aa c B d cd Ha bh AH cb c A c B d cd Ha bh AH cb c B e f S C g D h D t D x y z E AH cb c F AB c B d cd Ha bh AH cb c H Ha bh AH cb c Lista inicial {S,A,B,H} Lista final {S,A,B,H} Símbolos fuera de la lista {C,D,E,F} 23
24 Símbolos ACCESIBLES SA B G H E Símbolos INACCESIBLES C D F Los símbolos inaccesibles aparecen en la parte izquierda de las reglas innecesarias lo que indica que las siguientes reglas son innecesarias en la gramática: Reglas innecesarias C gd hdt D x y z F AB cbd cd Ha bh AH cb c E AH cb c 24
25 Gramática limpia y bien formada S a AB aa c B d cd Ha bh AH cb c A c B d cd Ha bh AH cb c B e f S H Ha bh AH cb c 25
26 Ejercicios 12 GLC slimpias y bien formada Realice la limpieza de las siguientes gramáticas: 1.- E a F B F C D a A g D h D t λ B e F e J C C b G b J e a c D x y z J a F c G d C a λ G R e a e a R M c F a a B a N M e a J a c N a R C e 2.- <S>::= a <B> <A> <C> <H> <A>::= c <G> d <G> <B>::= <E> f <S> λ <C>::= g <D> h <D> t <D>::= x y z <C> <E>::= <A><H> c<b> λ <F>::= <A><B> <G>a <G>::= <F><G> G>H> <H>::= <H>a <b><h> <E> <J>::= <H>a <B><E> asa *Se entregarán antes del día Martes 22 de Octubre de 2013 (23:59:59 hora limite) *Incluir la redacción de cada ejercicio *Portada y encabezados de pagina 26
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 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 detallesCompiladores: 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 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 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 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 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 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 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 detallesClase 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 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 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 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 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 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 detallesCARACTERIZACIÓN DEL SOFTWARE DE COMPUTADORES Y PERIFÉRICOS
CARACTRIZACIÓN L SOFTWAR COMPUTAORS Y PRIFÉRICOS CASO - FC - Revisión : Página de 8 Fecha de misión : 25/6/8 RSPONSABL: ING. ROGL MIGUZ Copia No Controlada, Impresa el día 25/6/8! CARACTRIZACIÓN L SOFTWAR
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 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 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 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 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 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 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 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 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 detallesLaboratorio 02: Ejercicios de programación en C
olicitado: Ejercicios 02: Soluciones estructuradas en C M. en C. Edgardo Adrián Franco Martínez http://www.eafranco.com edfrancom@ipn.mx @edfrancom edgardoadrianfrancom Estructuras de datos (Prof. Edgardo
Más detallesFactorización ecuación identidad condicional término coeficiente monomio binomio trinomio polinomio grado ax3
Factorización Para entender la operación algebraica llamada factorización es preciso repasar los siguientes conceptos: Cualquier expresión que incluya la relación de igualdad (=) se llama ecuación. Una
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 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 detallesMáquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 45
Máquinas de Turing IIC3242 IIC3242 Máquinas de Turing 1 / 45 Complejidad Computacional Objetivo: Medir la complejidad computacional de un problema. Vale decir: Medir la cantidad de recursos computacionales
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 detallesEJERCICIOS DE GEOMETRÍA PLANA. 1. Hallar las ecuaciones paramétricas de la recta r que pasa por el punto ( 2, 2) tiene como vector director el vector
EJERCICIOS DE GEOMETRÍA PLANA Hallar las ecuaciones paramétricas de la recta r que pasa por el punto (, ) tiene como vector director el vector v i j A y x a + vt La ecuación paramétrica de una recta es
Más detallesSentido de recorrido. q i
Sentido de recorrido σ Cinta Cabeza de lectura γ Pila i Unidad de control de estados Componentes básicos de un autómata con pila. σ i 1 σ i j σ i j+1 σ i p Z (a) γ l 1 γ l 2 γ l σ i 1 σ i j σ i j+1 σ i
Más detallesPlan de clase (1/3) a) Los siguientes triángulos son semejantes. Calcula la medida del lado que falta en cada uno, sin medir:
Plan de clase (1/3) Escuela: Fecha: Prof. (a): Curso: Matemáticas 9 Eje temático: F. E. y M. Contenido: 9.3.3 Resolución de problemas geométricos mediante el teorema de Tales. Intención didáctica. Que
Más detalles2do. Parcial. Todos los ejercicios se entregarán en hojas separadas. El examen tipo test cuenta hasta 2 puntos sobre la nota total.
U.R.J.C. Ingeniera Técnica en Informática de Sistemas Teoría de Autómatas y Lenguajes Formales Junio 2009 2do. Parcial Normas : La duración del examen es de 2 horas. Todos los ejercicios se entregarán
Más detalles13.3. MT para reconocer lenguajes
13.3. MT para reconocer lenguajes Gramática equivalente a una MT Sea M=(Γ,Σ,,Q,q 0,f,F) una Máquina de Turing. L(M) es el lenguaje aceptado por la máquina M. A partir de M se puede crear una gramática
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 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 detallesAlgebra Lineal XIX: Rango de una Matriz y Matriz Inversa.
Algebra Lineal XIX: Rango de una Matriz y Matriz Inversa José María Rico Martínez Departamento de Ingeniería Mecánica Facultad de Ingeniería Mecánica Eléctrica y Electrónica Universidad de Guanajuato email:
Más detallesLaboratorio 03: Ejercicios de Programación con la estructura para (for)
Laboratorio 03: Ejercicios de Programación con la estructura para (for) Solicitado: Ejercicios 03: Ejercicios con for y la función gotoxy() M. en C. Edgardo Adrián Franco Martínez http://www.eafranco.com
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 detallesCompiladores: Parsing ascendente
Compiladores: Parsing ascendente Francisco J Ballesteros LSUB, URJC Page 1 of 64 Parsing ascendente Normalmente utilizaremos parsers descendentes para problemas pequeños cuando podemos escribir uno predictivo
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 detallesEn una recta numérica el punto que representa el cero recibe el nombre de origen.
1. Conjuntos numéricos Los conjuntos numéricos con los que has trabajado tanto en Enseñanza Básica como en Enseñanza Media, se van ampliando a medida que se necesita resolver ciertas problemáticas de la
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 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 detallesTEMA 1: GEOMETRÍA EN EL ESPACIO
MATEMÁTICA 2do año A y B Marzo, 2012 TEMA 1: GEOMETRÍA EN EL ESPACIO Ejercicio 1: Indica si cada una de las siguientes proposiciones es verdadera o falsa: Por un punto pasa una recta y una sola Dos puntos
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 detallesDescomposición en valores singulares de una matriz
Descomposición en valores singulares de una matriz Estas notas están dedicadas a demostrar una extensión del teorema espectral conocida como descomposición en valores singulares (SVD en inglés) de gran
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 detalles4. PROPORCIONALIDAD IGUALDAD Y SEMEJANZA.
4. PROPORCIONALIDAD IGUALDAD Y SEMEJANZA. 4.1. Características generales Consideramos que una variable x puede adquirir los valores a,b,c,d, y otra variable los valores a, b, c, d, x e y son directamente
Más detallesAlgebra de Boole y simplificación de funciones lógicas. Capítulo 4
Algebra de Boole y simplificación de funciones lógicas Capítulo 4 Contenido 1. Expresiones y operaciones Booleanas 2. Propiedades y Reglas del Algebra de Boole 3. Teoremas de DeMorgan 4. Análisis booleano
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 detallesEl Autómata con Pila
El Autómata con Pila Una Generalización del Autómata Finito Universidad de Cantabria Esquema 1 2 3 4 Los autómatas son abstracciones de maquinas de calcular, como hemos visto. Los más sencillos no tienen
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 detallesESTRUCTURA Y TECNOLOGÍA DE LOS COMPUTADORES I. TEMA 4 Algebra booleana y puertas lógicas
ESTRUCTURA Y TECNOLOGÍA DE LOS COMPUTADORES I TEMA 4 Algebra booleana y puertas lógicas TEMA 4. Algebra booleana y puertas lógicas 4.1 Definición de álgebra de Boole 4.2 Teoremas del álgebra de Boole 4.3
Más detallesUNIDAD 4. Álgebra Booleana
UNIDAD 4 Álgebra Booleana ÁLGEBRA BOOLEANA El Álgebra Booleana se define como una retícula: Complementada: existe un elemento mínimo 0 y un elemento máximo I de tal forma que si a esta en la retícula,
Más detallesFundamentos Matemáticos de la Ingeniería. Tema 4: Diagonalización de matrices. Curso
Fundamentos Matemáticos de la Ingeniería Tema 4 Hoja Escuela Técnica Superior de Ingeniería Civil e Industrial Esp en Hidrología Fundamentos Matemáticos de la Ingeniería Tema 4: Diagonaliación de matrices
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 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 detallesb) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A
APENDICE Relaciones y Operaciones Compatibles 1 Definición: a) Sea A un conjunto y una relación entre elementos de A. Decimos que es una relación de equivalencia si es: i Reflexiva: a A, a a. ii Simétrica:
Más detallesESCUELA INTERNACIONAL DE IDIOMAS Avenida Pedro de Heredia, Calle 49a #31-45, barrio el Libano 6600671
Página: Pág: 1 HORARIOS DE CLASES IDIOMAS Jornada: M Sem:01 Curso:01 A.1.1 AA A.1.1 AA A.1.1 AA 11:00AM-12:00PM VIONIS VIONIS Jornada: M Sem:01 Curso:02 A.1.1 AB A.1.1 AB A.1.1 AB VIONIS VIONIS Jornada:
Más detallesConjugados Armónicos
Conjugados Armónicos Sofía Taylor Febrero 2011 1 Puntos Conjugados Armónicos Sean A y B dos puntos en el plano. Sea C un punto en el segmento AB y D uno sobre la prolongación de AB tal que: donde k es
Más detalles0ºK= -273ºC (inicio de la escala absoluta de temperatura)
LÍMITE: muchos fenómenos de la naturaleza tienen un punto límite, que no es posible traspasar con los conocimientos actuales. uno de estos puntos es el cero absoluto de la temperatura. 0ºK= -273ºC (inicio
Más detallesPrimer ejemplo detallado de cálculo de PRIMERO
Cálculo de PRIMERO El conjunto PRIMERO(α), siendo α una forma sentecial, es el conjunto de Terminales que pueden aparecer los primeros en cadenas derivadas de α. El conjunto PRIMERO puede referirse a una
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 detallesINSTITUTO DE PROFESORES ARTIGAS
INSTITUTO DE PROFESORES ARTIGAS ESPECIALIDAD MATEMÁTICA GEOMETRÍA UNIDAD 3 FICHA 2: PARALELISMO 1 Posiciones relativas de rectas. 2 Axioma de Euclides. 3 Paralelismo de recta y plano. 4 Paralelismo de
Más detallesProblema a) En un triángulo rectángulo OAB una recta r paralela a la hipotenusa corta a los catetos OA y OB en los puntos A y B respectivamente.
Problema 717.- a) En un triángulo rectángulo OAB una recta r paralela a la hipotenusa corta a los catetos OA y OB en los puntos A y B respectivamente. Hallar el lugar geométrico de los puntos comunes a
Más detalles1 - Ecuaciones. Sistemas de Ecuaciones Mixtos
Nivelación de Matemática MTHA UNLP 1 1 - Ecuaciones. Sistemas de Ecuaciones Mixtos 1. Conjuntos numéricos Los números mas comunes son los llamados NATURALES O ENTEROS POSI- TIVOS: 1,, 3,... Para designar
Más detallesTeoría de Autómatas y Lenguajes Formales.
Teoría de Autómatas y Lenguajes Formales Prácticas Introducción a JFLAP Autores: Araceli Sanchis de Miguel Agapito Ledezma Espino Jose A. Iglesias Martínez Beatriz García Jiménez Juan Manuel Alonso Weber
Más detallesMATEMÁTICAS 2º ESO SEMEJANZA Y TEOREMA DE THALES
MATEMÁTICAS º ESO SEMEJANZA Y TEOREMA DE THALES S1 SEMEJANZA DE FIGURAS. RAZÓN DE SEMEJANZA O ESCALA. Dos figuras son semejantes si tienen la misma forma, aunque quizá distinto tamaño. La razón de semejanza
Más detallesEjercicios del capítulo I.5 (Tema 5)
Ejercicios del capítulo I.5 (Tema 5) 1) Complétese la demostración del lema I.5.1. 2) Pruébese que si σ es una proyectividad de un plano distinta de la identidad y con toda una recta r de puntos dobles,
Más detalles6. Autómatas a Pila. Grado Ingeniería InformáDca Teoría de Autómatas y Lenguajes Formales
6. Autómatas a Pila Araceli Sanchis de Miguel Agapito Ledezma Espino José A. Iglesias Mar
Más detallesClase 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 detallesIdentificación de inecuaciones lineales en los números reales
Grado Matematicas - Unidad Operando en el conjunto de Tema Identificación de inecuaciones lineales en los números reales Nombre: Curso: A través de la historia han surgido diversos problemas que han implicado
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC13 Matrices: Conceptos y Operaciones Básicas Departamento de Matemáticas ITESM Matrices: Conceptos y Operaciones Básicas Matemáticas Discretas - p. 1/25 Una matriz A m n es un arreglo
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 detallesTeoría de la Computabilidad
Teoría de la Computabilidad Módulo 7: Lenguajes sensibles al contexto 2016 Departamento de Cs. e Ing. de la Computación Universidad Nacional del Sur Bahía Blanca, Argentina Es este programa en Pascal sintácticamente
Más detallesRecopilación de ejercicios sobre expresiones regulares en exámenes de Compiladores e intérpretes
Recopilación de ejercicios sobre expresiones regulares en exámenes de Compiladores e intérpretes IG29: Compiladores e intérpretes Segunda sesión de teoría Bloque 1: Modelado Ejercicio 1 Modela mediante
Más detallesCAPÍTULO II TEORÍA DE CONJUNTOS
TEORÍ DE ONJUNTOS 25 PÍTULO II TEORÍ DE ONJUNTOS 2.2 INTRODUIÓN Denotaremos los conjuntos con letras mayúsculas y sus elementos con letras minúsculas, si un elemento p pertenece a un conjunto escribiremos
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 detallesMáquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 42
Máquinas de Turing IIC3242 IIC3242 Máquinas de Turing 1 / 42 Complejidad Computacional Objetivo: Medir la complejidad computacional de un problema. Vale decir: Medir la cantidad de recursos computacionales
Más detalleses el lugar geométrico de los puntos p tales que p 0 p n o p 0 p o. p x ; y ; z perteneciente a y un vector no
El Plano y la Recta en el Espacio Matemática 4º Año Cód. 145-15 P r o f. M a r í a d e l L u j á n M a r t í n e z P r o f. J u a n C a r l o s B u e P r o f. M i r t a R o s i t o P r o f. V e r ó n i
Más detalles6.1. Anillos de polinomios.
1 Tema 6.-. Anillo de polinomios. División y factorización. Lema de Gauss. 6.1. Anillos de polinomios. Definición 6.1.1. Sea A un anillo. El anillo de polinomios en la indeterminada X con coeficientes
Más detallesActividad Reconociendo lo invariante en figuras simétricas
Actividad 37.1. Reconociendo lo invariante en figuras simétricas Construir figuras simétricas respecto de un eje y describir las propiedades que se conservan. Recuerda que la simetría axial o simetría
Más detallesBLOQUE 1. LOS NÚMEROS
BLOQUE 1. LOS NÚMEROS Números naturales, enteros y racionales. El número real. Intervalos. Valor absoluto. Tanto el Cálculo como el Álgebra que estudiaremos en esta asignatura, descansan en los números
Más detallesClase 8 Matrices Álgebra Lineal
Clase 8 Matrices Álgebra Lineal Código Escuela de Matemáticas - Facultad de Ciencias Universidad Nacional de Colombia Matrices Definición Una matriz es un arreglo rectangular de números denominados entradas
Más detallesEn efecto, todo natural, todo número entero, acepta una escritura en forma de fracción:
Conjuntos Numerícos página 1 Números Racionales domingo, 21 de febrero de 2016 05:33 p.m. En líneas generales, el Conjunto de los Números Racionales, son todos los números que aceptan una escritura en
Más detallesExpresiones Aritméticas. Programación digital I Escuela de Sistemas Facultad de Ingeniería Gilberto Diaz
Expresiones Aritméticas Programación digital I Escuela de Sistemas Facultad de Ingeniería Gilberto Diaz Expresiones Aritméticas El computador puede realizar cálculos además de mostrar datos por pantalla.
Más detallesECUACIONES.
. ECUACIONES... Introducción. Recordemos que el valor numérico de un polinomio (y, en general, de cualquier epresión algebraica) se calcula sustituyendo la/s variable/s por números (que, en principio,
Más detallesPropiedades 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 detalles1. Teoremas válidos para triángulos rectángulos
1. Teoremas válidos para triángulos rectángulos Sea ABC triángulo rectángulo en C, entonces: El lado opuesto al ángulo recto, AB, es llamado HIPOTENUSA, y los lados AC y BC, CATETOS. cateto hipotenusa
Más detallesÁlgebra y Trigonometría Clase 7 Sistemas de ecuaciones, Matrices y Determinantes
Álgebra y Trigonometría Clase 7 Sistemas de ecuaciones, Matrices y Determinantes CNM-108 Departamento de Matemáticas Facultad de Ciencias Exactas y Naturales Universidad de Antioquia Copyleft c 2008. Reproducción
Más detallesSolución Práctico 6 Diseño Relacional. Ejercicio 1: Tecnólogo en Informática Base de Datos 1 Práctico
Tecnólogo en Informática Base de Datos 1 Práctico Solución Práctico 6 Diseño Relacional Ejercicio 1: a. Iteramos en las dependencias funcionales hasta que no existan cambios en la tabla planteada. En
Más detallesRESOLUCIÓN DE SISTEMAS MEDIANTE DETERMINANTES
3 RESOLUCIÓN DE SISTEMAS MEDIANTE DETERMINANTES Página 74 Determinantes de orden 2 Resuelve cada uno de los siguientes sistemas de ecuaciones y calcula el determinante de la matriz de los coeficientes:
Más detallesUNIVERSIDAD ANDINA DEL CUSCO CATÁLOGO DE ASIGNATURAS ESTUDIOS DE FORMACIÓN GENERAL
Sede : CUSCO Semestre : 2016-2 PLAN DE ESTUDIOS DE FORMACION GENERAL 2016 Curso Sec. Ciclo Nombre Lun Mar Mie Jue Vie Sab Aula ANS006 1A 1 ANTROPOLOGIA: HOMBRE, CULTURA Y SOCIEDAD 11-13 11-13 AULA AG-701
Más detallesModelos Computacionales
Análisis y Complejidad de Algoritmos Modelos Computacionales Arturo Díaz Pérez El circuito lógico La máquina de estados finitos La máquina de acceso aleatorio La máquina de Turing Compuertas Lógicas Compuerta
Más detallesLenguajes 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 detallesTema 2 Resolución de EcuacionesNo Lineales
Tema 2 Resolución de Ecuaciones No Lineales E.T.S.I. Informática Indice Introducción 1 Introducción 2 Algoritmo del método de Bisección Análisis del 3 4 5 6 Algoritmo de los métodos iterativos Interpretación
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 detalles