Teoría de Lenguajes. Gramáticas incontextuales
|
|
- Elvira Páez Blázquez
- hace 7 años
- Vistas:
Transcripción
1 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. 2. Simplificación de gramáticas incontextuales. 3. Formas normales. Algoritmos de normalización. 4. Análisis de cadenas en gramáticas incontextuales. 5. Propiedades de decisión. 6. Subclases de gramáticas incontextuales Bibliografía M. A. Harrison. Introduction to Formal Language Theory. Addison-Wesley J. E. Hopcroft, J. D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley G. Rozenberg, A. Salomaa (Eds.). Handbook of Formal Languages (Vol.1) Springer
2 Definiciones básicas Gramática incontextual: G=(N,, P, S) con las producciones de la forma A A N, (N )* S AB A aab B cbd Árboles de derivación A S B a A b c B d Derivaciones directas S AB aabb abb abcbd abcd Derivaciones (por la izquierda, por la derecha, arbitrarias) S * abcd * Lenguaje generado por la gramática G L(G) = { w : S * w } Jerarquía de Chomsky Ambigüedad, lenguaje inherentemente ambiguo L reg L cf L cs Simplificación de gramáticas incontextuales G=(N,, P, S) diremos que está simplificada si (1) Todos sus símbolos son útiles (1.1) Generativos A N : A * w w * (1.2) Alcanzables A ( N): S * A, ( N)* (2) No contiene producciones unitarias (3) No contiene producciones vacías A B A,B N A A N Para toda gramática incontextual G existe una gramática incontextual G simplificada tal que L(G ) = L(G) { }
3 Forma Normal de Chomsky G=(N,, P, S) diremos que está en forma normal de Chomsky si todas sus producciones toman una de las dos siguientes formas (1) A BC A, B, C N (2) A a a Para toda gramática incontextual G existe una gramática incontextual G en forma normal de Chomsky tal que L(G ) = L(G) { } Algoritmo para la obtención de la Forma Normal de Chomsky Entrada G=(N,, P, S) gramática incontextual arbitraria con L(G) Salida G 1 =(N 1, 1, P 1, S) gramática en FNC tal que L(G 1 ) = L(G) { } Método /* Pasos preliminares */ Obtener G 2 =(N 2, 2, P 2, S) simplificada tal que L(G 2 ) = L(G) { } /* Fase 1 */ Para toda producción A X 1 X 2 X n P 2 con n 2 Si X i 2 sustituir X i por C xi en la anterior producción y añadir la producción C xi X i El resto de producciones permanecen igual Se obtiene la gramática G 3 = (N 3, 3, P 3, S) con L(G 3 ) = L(G 2 ) /* Fase 2 */ Para toda producción A X 1 X 2 X n P 3 con n 3 Sustituir la anterior producción por el conjunto de producciones A X 1 D 1 D 1 X 2 D 2 D n-2 X n-1 X n El resto de producciones permanecen igual Se obtiene la gramática G 1 = (N 1, 1, P 1, S) con L(G 1 ) = L(G 2 ) = L(G) { }
4 Ejemplo G=(N,, P, S) (simplificada) S AaBb ABB Aa A aa ab B a BB /* Fase 1 */ G 3 =(N 3, 3, P 3, S) S AC a BC b ABB AC a A C a A C a C b B a BB C a a C b b /* Fase 2 */ G 1 =(N 1, 1, P 1, S) S AD 1 AD 3 AC a D 1 C a D 2 D 2 BC b D 3 BB A C a A C a C b B a BB C a a C b b Forma Normal de Greibach G=(N,, P, S) diremos que está en forma normal de Greibach si todas sus producciones son de la forma A a a N* Para toda gramática incontextual G existe una gramática incontextual G en forma normal de Greibach tal que L(G ) = L(G) { }
5 Algoritmo para la obtención de la Forma Normal de Greibach (1) Entrada G=(N,, P, S) gramática incontextual arbitraria con L(G) Salida G 1 =(N 1, 1, P 1, S) gramática en FNG tal que L(G 1 ) = L(G) { } Método /* Pasos preliminares */ Obtener G 2 =(N 2, 2, P 2, S) simplificada y en FNC tal que L(G 2 ) = L(G) { } /* Fase 1 */ N 2 = { A 1, A 2,, A m } Para k=1 hasta m Para j=1 hasta k-1 Para cada producción A k A j Para cada producción A j Añadir la producción A k Eliminar la producción A k A j Para cada producción A k A k Añadir la producción B k Añadir la producción B k B k Eliminar la producción A k A k Para cada producción A k Si no comieza por A k Añadir la producción A k B k Algoritmo para la obtención de la Forma Normal de Greibach (2) Al final de la Fase 1 las producciones están en una de las tres formas (1) A i A j con j > i (2) A i a (3) B i con a (N { B 1, B 2,, B i-1 })* Las producciones de la forma (2) ya están en FNG Todas las producciones de A m ya están en FNG Las producciones de los nuevos símbolos B i comienzan por símbolos A j /* Fase 2 */ Para k = m-1 hasta 1 Para cada producción A k A j Para cada producción A j Añadir la producción A k Eliminar la producción A k A j Para cada producción B k A j Para cada producción A j Añadir la producción B k Eliminar la producción B k A j
6 Ejemplo G=(N,, P, A 1 ) (simplificada y en FNC) /* Fase 1 */ G 2 =(N 2, 2, P 2, A 1 ) (1) (2) (3) A A 1 A 2 A 1 A 2 A 3 3 A A 2 a a B 2 A 2 A 3 A 2 a 2 A B 2 A 3 A 2 B 2 A 3 A 3 A 1 A 3 b 2 A 3 A 1 A 3 b A 1 A 2 A 3 A 2 A 1 A 2 a A 3 A 1 A 3 b A 1 A 2 A 3 A 2 a a B 2 B 2 A 3 A 2 B 2 A 3 A 2 A 3 A 2 A 3 A 3 b (4) A 1 A 2 A 3 A 2 a ab 2 B 2 A 3 A 2 B 2 A 3 A 2 A 3 a A 3 A 3 a B 2 A 3 A 3 b /* Fase 2 */ G 1 =(N 1, 1, P 1, A 1 ) (1) (2) A 1 a A 3 a B 2 A 3 A 2 a a B 2 B 2 A 3 A 2 B 2 A 3 A 2 A 3 a A 3 A 3 a B 2 A 3 A 3 b A 1 a A 3 a B 2 A 3 A 2 a a B 2 B 2 a A 3 A 3 A 2 B 2 a B 2 A 3 A 3 A 2 B 2 b A 2 B 2 a A 3 A 3 A 2 a B 2 A 3 A 3 A 2 b A 2 A 3 a A 3 A 3 a B 2 A 3 A 3 b Otras formas de gramáticas Forma m-estándar G=(N,, P, S) diremos que está en forma m-estándar si todas sus producciones son de la forma A a a N* m Para toda gramática incontextual G y para todo valor m 2 existe una gramática incontextual G en forma m-estándar tal que L(G ) = L(G) { }
7 Algoritmo para la obtención de la Forma Normal m-estándar Entrada G=(N,, P, S) gramática incontextual en Forma Normal (m+1)-estándar Salida G 1 =(N 1,, P 1, S) gramática en Forma Normal m-estándar tal que L(G 1 ) = L(G) Método N 1 = N {(A,B) : A,B N } /* Definición de las producciones de P 1 */ P 1 = {A : A P, m+1 } {A ab 1 B m-1 (B m, B m+1 ) : A ab 1 B m B m+1 P } {(A,B) B : A P, m } {(A,B) ab 1 B m-1 (B m, B) : A ab 1 B m-1 B m P} {(A,B) ab 1 B m-2 (B m-1, B m )(B m+1,b) : A ab 1 B m B m+1 P} Ejemplo G=(N,, P, A 1 ) (en FN 3-estándar) A 1 a A 3 a A 4 A 3 A 2 a a A 4 aa 2 A 2 A 3 a A 3 A 3 a A 4 A 3 A 3 b A 4 a A 3 A 3 A 4 b A 2 A 4 a G 1 =(N 1,, P 1, A 1 ) (en FN 2-estándar) N 1 = { A 1, A 2, A 3, A 4, (A 1,A 1 ), (A 1,A 2 ), (A 1, A 3 ), (A 1,A 4 ), (A 2,A 1 ), (A 2,A 2 ), (A 2, A 3 ), (A 2,A 4 ), (A 3,A 1 ), (A 3,A 2 ), (A 3, A 3 ), (A 3,A 4 ), (A 4,A 1 ), (A 4,A 2 ), (A 4, A 3 ), (A 4,A 4 ) } P 1 : A 1 a A 3 a A 4 A 3 A 2 a a A 4 aa 2 A 2 A 3 a A 3 A 3 b A 4 b A 2 A 4 a A 3 a A 4 A 3 A 3 A 3 a A 4 (A 3,A 3 ) (A 3,A 3 ) b A 3 (A 3,A 3 ) a A 3 (A 3,A 3 ) A 4 a A 3 A 2 A 4 A 4 a A 3 (A 2,A 4 ) (A 2,A 4 ) a A 4 a A 4 A 4 a A 2 (A 2, A 4 )
8 Otras formas de gramáticas Gramáticas invertibles G=(N,, P, S) diremos que es invertible si se cumple la siguiente propiedad ( A, B N) ( ( N)*) [((A ) P) ((B ) P)] A=B Para toda gramática incontextual G existe una gramática incontextual G invertible tal que L(G ) = L(G) Una solución no práctica A i A k A i R i A k R k R Algoritmo para la obtención de la Forma Normal invertible Entrada G=(N,, P, S) gramática incontextual simplificada Salida G 1 =(N 1,, P 1, S 1 ) gramática invertible tal que L(G 1 ) = L(G) Método N 1 = {S 1 } 2 N - S 1 N /* Definición de las producciones de P 1 */ S 1 si es un subconjunto de N que contenga a S Para cada producción B x 0 B 1 x 1 B n x n P donde B i, N, x i * Para cada auxiliar A 1,, A n N 1 {S 1 } añadir la producción A x 0 A 1 x 1 A n x n donde A = {C : C x 0 C 1 x 1 C n x n P, C i A i }
9 Ejemplo G=(N,, P, S) S 0A 1B A 0A 0S 1B B 1 0 G 1 =(N 1,, P 1, S 1 ) (invertible) N 1 = { S 1, {S}, {A}, {B}, {S,A}, {S,B}, {A,B}, {S,A,B} } P 1 : S 1 {S} {S,A} {S,B} {S,A,B} B 1 0 {B} 1 0 S 0A A 0A A 1B S 1B A 0S {S,A} 0{A} 0{A,B} 0{S,A} 0{S,A,B} {S,A} 1{B} 1{A,B} 1{S,B} 1{S,A,B} {A} 0{S} 0{S,B} Análisis de cadenas en gramáticas incontextuales El problema de la pertenencia ( Membership Problem ) Dada una gramática incontextual arbitraria G=(N,, P, S) y una cadena w * w L(G)? Si w = el problema se reduce a comprobar si S es anulable En el caso de w podemos trabajar con una gramática simplificada y en forma normal G tal que L(G ) = L(G) { }. El problema se reduce a comprobar si w L(G )
10 Análisis de cadenas mediante exploración exhaustiva Entrada : G=(N,, P, S) en FNG y w = w 1 w 2 w n (w ) Salida : Cierto (si w L(G)) o Falso (si w L(G)) Método : Explorar sistemáticamente todos los árboles de derivación que sigan el orden de los símbolos de la cadena S w 1 A 1 A p w 2 A 2 A q Complejidad temporal: O(k n ) (siendo k el número máximo de producciones que tiene cualquier auxiliar de la gramática) Algoritmo de análisis CYK (Cocke-Younger-Kasami) Entrada : G=(N,, P, S) en FNC y w = w 1 w 2 w n (w ) Salida : Cierto (si w L(G)) o Falso (si w L(G)) Método : Para i=1 hasta n V i1 = { A : A w i P } Para j=2 hasta n Para i=1 hasta n-j+1 V ij = Para k=1 hasta j-1 V ij = V ij { A : A BC P, B V ik, C V i+k, j-k } Si S V 1n devolver Cierto sino devolver Falso Complejidad temporal: O(n 3 ) Complejidad espacial: O(n 2 ) (siendo G un parámetro externo)
11 Ejemplo G=(N,, P, S) (simplificada y en FNC) S AB BC A BA a B CC b C AB a w = baaba j b a a b a i B A,C A,C B A,C S,A B S,C S,A B B S,A,C S,A,C S V 15 Cierto (w L(G)) Propiedades de decisión Un problema de decisión (expresado en términos formales) es decidible si existe un algoritmo que lo resuelva. (En caso contrario es indecidible) Algunos problemas decidibles referentes a gramáticas incontextuales El problema de la vacuidad : L(G) =? El problema de la infinitud : L(G) =? El problema de la pertenencia : w L(G)? El problema de la equivalencia estructural : str(g 1 ) = str(g 2 )? (str(g i ) denota el conjunto de esqueletos de G i, árboles de derivación donde los nodos internos no tienen etiquetas )
12 Algunos problemas indecidibles referentes a gramáticas incontextuales El problema de la inclusión : L(G 1 ) L(G 2 )? El problema de la equivalencia : L(G 1 )= L(G 2 )? El problema de la exhaustividad : L(G) = *? El problema de la regularidad : Es L(G) regular? El problema de la ambigüedad : Es G ambigua? El problema de la ambigüedad inherente : Es L(G) inherentemente ambiguo? El problema de la complementariedad : Es L(G) incontextual? El problema de la intersección : Es L(G 1 ) L(G 2 ) incontextual? Algunas subclases de gramáticas incontextuales Gramáticas lineales pares G=(N,, P, S) A u B v A w A, B N u, v, w * u = v L reg L el L cf Gramáticas lineales G=(N,, P, S) A u B A B v A w A, B N u, v, w * L reg L el L lin L cf
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 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 detallesTexto: Hopcroft, J. E., Motwani, R., Ullman, J.D., Introduction to Automata Theory, Languajes, and Computation. 3rd Edition. Addison Wesley, 2007.
Universidad de Puerto Rico Recinto de Mayagüez Facultad de Artes y Ciencias DEPARTAMENTO DE CIENCIAS MATEMÁTICAS Programa de Autómata y Lenguajes Formales Curso: Autómata y Lenguajes Formales Codificación:
Más detallesESCUELA: UNIVERSIDAD DEL ISTMO
1.-IDENTIFICACIÓN ESCUELA: UNIVERSIDAD DEL ISTMO CLAVE: 3041 GRADO: ING. EN COMPUTACIÓN, CUARTO SEMESTRE TIPO DE TEÓRICA/PRÁCTICA ANTECEDENTE CURRICULAR: 3033.- OBJETIVO GENERAL Proporcionar al alumno
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 detallesPregunta 1 [40 puntos] Diga si las siguientes afirmaciones son verdaderas o falsas, demostrando su respuesta.
Pregunta 1 [40 puntos] Diga si las siguientes afirmaciones son verdaderas o falsas, demostrando su respuesta. (a) Es posible aceptar por stack vacío el lenguaje {0 i 1 j i = j o j = 2i} con un AA determinístico.
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 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 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 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 detallesDEPARTAMENTO: Ingeniería e Investigaciones Tecnológicas
CÓDIGO ASIGNATURA 1129 DEPARTAMENTO: Ingeniería e Investigaciones Tecnológicas ASIGNATURA: Autómatas y Lenguajes Formales Ingeniería en Informática Año: 5 Cuatri: 1 1. OBJETIVOS Dar a los alumnos conocimientos
Más detallesPROGRAMA INSTRUCCIONAL AUTOMATAS Y LENGUAJES FORMALES
UNIVERSIDAD FERMIN TORO VICE RECTORADO ACADEMICO UNIVERSIDAD FACULTAD DE INGENIERIA ESCUELA DE MANTENIMIENTO MECÁNICO ESCUELA DE TELECOMUNICACIONES ESCUELA DE ELÉCTRICA ESCUELA DE COMPUTACIÓN PROGRAMA
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 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 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 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 detallesPaso 1: Autómata. A 1 sin estados inútiles, que reconoce el lenguaje denotado por a a* b*
UNIVERSIDAD DE CÓRDOBA ESCUELA POLITÉCNICA SUPERIOR DEPARTAMENTO DE INFORMÁTICA Y ANÁLISIS NUMÉRICO INGENIERÍA TÉCNICA EN INFORMÁTICA DE SISTEMAS SEGUNDO CURSO, SEGUNDO CUATRIMESTRE TEORÍA DE AUTÓMATAS
Más 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 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 detallesEXÁMENES DE REPASO Teoría de Autómatas y Lenguajes Formales UNIVERSIDAD FRANCISCO DE VITORIA
EXÁMENES DE REPASO Teoría de Autómatas y Lenguajes Formales UNIVERSIDAD FRANCISCO DE VITORIA 1ER PARCIAL TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Examen parcial 12/02/2003 1.- Usa el lema de bombeo para
Más detallesBENEMÉRITA UNIVERSIDAD AUTÓNOMA DE PUEBLA FACULTAD CIENCIAS DE LA COMPUTACIÓN
BENEMÉRITA UNIVERSIDAD AUTÓNOMA DE PUEBLA FACULTAD CIENCIAS DE LA COMPUTACIÓN PROGRAMA DE LA MATERIA CORRESPONDIENTE A LA LICENCIATURA EN CIENCIAS DE LA COMPUTACIÓN. Coordinación: NOMBRE DE LA MATERIA:
Más detallesCarrera: SCM Participantes. Representantes de la academia de sistemas y computación de los Institutos Tecnológicos.
1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: Horas teoría-horas práctica-créditos Teoría de la computación Ingeniería en Sistemas Computacionales SCM - 0434 3-2-8
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 detallesTC - Teoría de la Computación
Unidad responsable: 270 - FIB - Facultad de Informática de Barcelona Unidad que imparte: 723 - CS - Departamento de Ciencias de la Computación Curso: Titulación: 2016 GRADO EN INGENIERÍA INFORMÁTICA (Plan
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 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 detallesPONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR FACULTAD DE INGENIERIA ESCUELA DE INGENIERIA DE SISTEMAS
PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR FACULTAD DE INGENIERIA ESCUELA DE INGENIERIA DE SISTEMAS 1. DATOS INFORMATIVOS MATERIA: DISEÑO DE LENGUAJES Y AUTOMATAS: CARRERA: INGENIERÍA DE SISTEMAS NIVEL:
Más detallesCarácter Modalidad Horas de estudio semestral (16 semanas)
PROGRAMA DE ESTUDIOS: TEORÍA DE LA COMPUTACIÓN PROTOCOLO Fechas Mes/año Clave Semestre 5 o Elaboración 05-2010 Nivel Licenciatura X Maestría Doctorado Aprobación Ciclo Integración Básico Superior Aplicación
Más detallesTema 3: El Método Simplex. Algoritmo de las Dos Fases.
Tema 3: El Método Simplex Algoritmo de las Dos Fases 31 Motivación Gráfica del método Simplex 32 El método Simplex 33 El método Simplex en Formato Tabla 34 Casos especiales en la aplicación del algoritmo
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 detallesTeoría de Lenguajes. Clase Teórica 7 Autómatas de Pila y Lenguajes Independientes del Contexto Primer cuartimestre 2014
Teoría de Lenguajes Clase Teórica 7 Autómatas de Pila y Lenguajes Independientes del Contexto Primer cuartimestre 2014 aterial compilado por el Profesor Julio Jacobo, a lo largo de distintas ediciones
Más detallesAznar Bellver, Jerónimo. Valoración inmobiliaria: métodos y aplicaciones. : Editorial de la Universidad Politécnica de Valencia,.
: Editorial de la Universidad Politécnica de Valencia,. p 2 http://site.ebrary.com/id/10637906?ppg=2 : Editorial de la Universidad Politécnica de Valencia,. p 3 http://site.ebrary.com/id/10637906?ppg=3
Más detallesLas matrices Parte 1-2 o bachillerato
Parte 1-2 o bachillerato wwwmathandmatesurlph 2014 1 Introducción Generalidades 2 Definición Ejercicio 1 : Suma de dos matrices cuadradas 2x2 Ejercicio 2 : Suma de dos matrices cuadradas 3x3 Propiedades
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 detallesUna cadena sobre Σ es cualquier secuencia de elementos de longitud finita sobre Σ.
Alfabetos, Cadenas y Lenguajes Definición 1 Un Alfabeto es cualquier conjunto finito, no vacío. Ejemplo 1 Sea Σ = {0, 1, 2, 3,..., 9} donde 0 Σ Definición 2 Una cadena sobre Σ es cualquier secuencia de
Más detallespersonal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12
Teoría de conjuntos. Teoría de Conjuntos. personal.us.es/elisacamol Curso 2011/12 Teoría de Conjuntos. Teoría de conjuntos. Noción intuitiva de conjunto. Propiedades. Un conjunto es la reunión en un todo
Más detallesCiencias de la Computación I
Ciencias de la Computación I Propiedades de Clausura de los Lenguajes Regulares y Lenguajes Libres del Contexto Propiedades de Clausura de Lenguajes Regulares Los lenguajes regulares (LR son cerrados bajo
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 detallesCarrera: MTF-0535 2-4-8. Participantes Representante de las academias de ingeniería Mecatrónica de los Institutos Tecnológicos.
1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: Horas teoría-horas práctica-créditos: Programación en Tiempo Real MTF-0535 2-4-8 2.- HISTORIA DEL PROGRAMA Lugar y fecha
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 detallesCátedra de Sintaxis y Semántica de Lenguajes
Universidad Tecnológica Nacional Facultad Regional Córdoba Cátedra de Sintaxis y Semántica de Lenguajes Modalidad Académica Coordinador de Cátedra: Ing. Juan Giró Ciclo Lectivo: 2009 Nombre de la Materia
Más detallesProfs. Carlos Pérez y Ricardo Monascal
TRADUCTORES E INTERPRETADORES Clase 0: Introducción al Curso Quiénes somos? Prof. Carlos Pérez caperez@ldc.usb.ve Prof. Ricardo Monascal rmonascal@ldc.usb.ve Oficina: MYS-228A (Sí, es la misma) Recursos
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 detallesESTRUCTURAS ALGEBRAICAS. Parte 1
ESTRUCTURAS ALGEBRAICAS Parte 1 ESTRUCTURAS ALGEBRAICAS Una estructura algebraica es una n-tupla (a 1,a 2,...,a n ), donde a 1 es un conjunto dado no vacío, y {a 2,...,a n } un conjunto de operaciones
Más detallesRELACIONES Y FUNCIONES. M.C. Mireya Tovar Vidal
RELACIONES Y FUNCIONES M.C. Mireya Tovar Vidal IDEA INTUITIVA DE RELACIÓN Una relación es una correspondencia entre dos elementos de dos conjuntos con ciertas propiedades. En computación las relaciones
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 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 detallesMatemá'cas generales
Matemá'cas generales Matrices y Sistemas Patricia Gómez García José Antonio Álvarez García DPTO. DE MATEMÁTICA APLICADA Y CIENCIAS DE LA COMPUTACIÓN Este tema se publica bajo Licencia: Crea've Commons
Más detallesOperaciones Booleanas y Compuertas Básicas
Álgebra de Boole El álgebra booleana es la teoría matemática que se aplica en la lógica combinatoria. Las variables booleanas son símbolos utilizados para representar magnitudes lógicas y pueden tener
Más detallesMatrices 1 (Problemas). c
º Bachillerato Matrices 1 (Problemas) 1.- Efectúa las siguientes operaciones con matrices: a) 1 4 5 6 + b) 5 7 9 11 1 1 1 1 1 1 c). 4 d) 6. 1 6 1 18 1 g) 0 0 0 0 a 0 b 0. 0 b 0 0 0 c c 0 0.- Siendo A =
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 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 detalles{} representa al conjunto vacío, es decir, aquel que no contiene elementos. También se representa por.
2. Nociones sobre Teoría de Conjuntos y Lógica Para llevar a cabo nuestro propósito de especificar formalmente los problemas y demostrar rigurosamente la correctitud de nuestro programas, introduciremos
Más detallesJohn Venn Matemático y filósofo británico creador de los diagramas de Venn
Georg Cantor Matemático Alemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn August De Morgan Matemático ingles creador de leyes que llevan
Más detallesDada la proporción =, calcula el producto de extremos menos el producto de medios. 4. Halla los determinantes de las siguientes matrices: Solución:
3 Determinantes. Determinantes de orden y 3 por Sarrus Piensa y calcula 3 6 Dada la proporción =, calcula el producto de extremos menos el producto de medios. 4 8 3 8 6 4 = 4 4 = 0 Aplica la teoría. Calcula
Más detallesLa Jerarquía de Chomsky
La Apuntes sobre la Complejidad Universidad de Cantabria Esquema Motivación 1 Motivación 2 Ideas y Nociones Motivación Como se ha mencionado anteriormente, los lenguajes son conjuntos de palabras definidos
Más 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 detallesModelos de Computación I
Modelos de Computación I Serafín Moral Departamento de Ciencias de la Computación Despacho 4.4 Modelos de Computación I p. 1 Horarios - Grupo A CLASES (Teoría) (Aula 0.1, Lorenzo Morillas) Martes 12-14
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 detalles9. MATRICES 189 9.1. DEFINICIÓN Y NOTACIONES... 189 9.2. OPERACIONES CON MATRICES... 190 9.3. MATRICES CUADRADAS... 192 9.3.1.
ÍNDICE 9. MATRICES 189 9.1. DEFINICIÓN Y NOTACIONES....................... 189 9.2. OPERACIONES CON MATRICES..................... 190 9.3. MATRICES CUADRADAS.......................... 192 9.3.1. Matrices
Más detallesTema 2: Autómatas finitos
Tema 2: Autómatas finitos Departamento de Sistemas Informáticos y Computación DSIC - UPV http://www.dsic.upv.es p. 1 Tema 2: Autómatas finitos Autómata finito determinista (AFD). Formas de representación
Más detallesColas de un elemento por una Relación
29 Ciencia en Desarrollo Vol. 2, No. 2 Dic. 2006, p.29-38 ISSN 0121-7488 Colas de un elemento por una Relación An element lines linked to a relationship Resumen Miguel Patarroyo-Mesa * Manuel Suárez-Martínez
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 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 detallesSistemas de Ecuaciones Lineales
Sistemas de Ecuaciones Lineales 1 Sistemas de ecuaciones y matrices Definición 1 Una ecuación lineal en las variables x 1, x 2,..., x n es una ecuación de la forma con a 1, a 2... y b números reales. a
Más detallesLa recta se define como el lugar geométrico de todos los puntos de un plano que al tomarse de dos en dos se obtiene la misma pendiente.
Formas de la ecuación de una recta. Hasta el momento, se han dado algunas características de la recta tales como la distancia entre dos puntos, su pendiente, su ángulo de inclinación, relación entre ellas,
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 detallesEn el presente video se resaltan los siguientes tres elementos esenciales de las matemáticas:
Índice Introducción... 3 Objetivos... 4 Semejanza de triángulos... 5 Criterio de semejanza AA... 6 Criterio de semejanza LAL... 8 Evaluación... 11 Bibliografía... 13 Conoce más temas de relevancia... 14
Más detallesFacultad de Ingeniería de Sistemas 1.5 Carrera: Ingeniería de Sistemas 1.6 Código: ISI 1.7 Nivel: Pregrado
1. Identificación del curso 1.1 Escuela / Departamento: Ciencias Naturales e Ingeniería 1.3 Programa: 1.2 Código: CN 1.4 Código: FAC-ISI Facultad de Ingeniería de Sistemas 1.5 Carrera: Ingeniería de Sistemas
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 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 detallesDos matrices son iguales cuando tienen la misma dimensión y los elementos que ocupan el mismo lugar en ambas son iguales
Introducción Las matrices aparecen por primera vez hacia el año 1850, introducidas por J.J. Sylvester. El desarrollo inicial de la teoría se debe al matemático W.R. Hamilton en 1853. En 1858, A. Cayley
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 detallesCapitulo V: Relaciones
Capitulo V: Relaciones Relaciones Binarias: Consideremos dos conjuntos A B no vacíos, llamaremos relación binaria de A en B o relación entre elementos de A B a todo subconjunto R del producto cartesiano
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 detallesFundación Uno. ) 2n, el resultado es: D) b a E)1. entonces el valor de "y" es: II) x y = 3 A)16 B)9 C)4 D)1 E)2. Desarrollo
ENCUENTRO # 27 TEMA: Inecuaciones. CONTENIDOS: 1. Desigualdades.Propiedades. 2. Inecuación lineal o de primer grado. 3. Inecuación cuadrática o de segundo grado. Ejercicio Reto 1. Al simplificar ( a 2
Más detallesMatemáticas aplicadas a las CC.SS. II 2º Bachillerato. La igualdad de matrices 3x3 equivale a 9 ecuaciones escalares: { a 3=5.
Ejercicios resueltos 1. MATRICES 1.1. Introducción 1. Halla el valor de a, b y c para que las matrices A= 2 a 3 7 b 1 0 6 4 5 y B= 2 5 7 5 1 0 c 1 4 5 sean iguales. La igualdad de matrices 3x3 equivale
Más detallesMotores de aluminio de aplicación general Tamaños 56-100
3 Motor Nº. V CL. EFF 1 IP Hz r/min kw A IEC 34-1 Cos. kg EFF 1 3 Motor CL. IP IEC 34-1 Nº. V Hz r/min kw A Cos. EFF 1 3 Motor CL. IP IEC 34-1 Nº. V Hz r/min kw A Cos. kg kg Motores de aluminio de aplicación
Más detallesTEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES TRABAJO DE PRÁCTICAS. Convocatoria de junio de 2013
TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Ingeniería Técnica en Informática de Sistemas Segundo curso Departamento de Informática y Análisis Numérico Escuela Politécnica Superior Universidad de Córdoba
Más detallesNOMBRE DEL CURSO: Laboratorio de Lenguajes Formales y de Programación
UNIVERSIDAD DE SAN CARLOS DE GUATEMALA FACULTAD DE INGENIERIA ESCUELA DE CIENCIAS Y SISTEMAS NOMBRE DEL CURSO: Laboratorio de Lenguajes Formales y de Programación CODIGO: 796 CREDITOS: 3 ESCUELA: Ciencias
Más detallesMatemáticas I: Hoja 2 Cálculo matricial y sistemas de ecuaciones lineales
Matemáticas I: Hoja 2 Cálculo matricial y sistemas de ecuaciones lineales Ejercicio 1 Escribe las siguientes matrices en forma normal de Hermite: 2 4 3 1 2 3 2 4 3 1 2 3 1. 1 2 3 2. 2 1 1 3. 1 2 3 4. 2
Más detallesTeoría de Autómatas y Lenguajes Formales.
Teoría de Autómatas y Lenguajes Formales Ejercicios de Autómatas a Pila Autores: Araceli Sanchis de Miguel Agapito Ledezma Espino Jose A. Iglesias Martínez Beatriz García Jiménez Juan Manuel Alonso Weber
Más detallesCONJUNTOS Y RELACIONES BINARIAS
UNIVERSIDAD CATÓLICA ANDRÉS BELLO FACULTAD DE INGENIERÍA ESCUELA DE INGENIERÍA INFORMÁTICA CÁTEDRA DE LÓGICA COMPUTACIONAL CONJUNTOS Y RELACIONES BINARIAS INTRODUCCIÓN Intuitivamente, un conjunto es una
Más detallesA)2011 B)2012 B)2013 D)2014 E)2015. C) a5 +b 5
ENCUENTRO # 6 TEMA: Fracciones algebraicas CONTENIDOS:. Máximo común divisor 2. Mínimo común múltiplo 3. Simplificación de fracciones algebraicas 4. Suma de fracciones algebraicas 5. Resta de fracciones
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. Teoría de la Programación I
Teoría de Lenguajes Soluciones Consideraciones generales i) Escriba nombre y C.I. en todas las hojas. ii) Numere todas las hojas. iii) En la primera hoja indique el total de hojas. iv) Comience cada ejercicio
Más detallesMATEMÁTICA DISCRETA: Conjuntos, combinatoria y grafos. Roberto J. de la Fuente López. Versión 20110923. (corrección de erratas a versión 20100712)
MATEMÁTICA DISCRETA: Conjuntos, combinatoria y grafos Roberto J. de la Fuente López Versión 20110923 (corrección de erratas a versión 20100712) Índice general PRESENTACIÓN... 5 AVISO DE DERECHOS DE AUTOR...
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 detallesLENGUAJES FORMALES Y AUTÓMATAS
LENGUAJES FORMALES Y AUTÓMATAS Departamento de Lenguajes y Sistemas Informáticos Escuela Técnica Superior de Ingeniería Informática Universidad de Sevilla Víctor J. Díaz Madrigal José Miguel Cañete Valdeón
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 detallesMATEMÁTICAS II CC III PARCIAL
UNIDAD DIDÁCTICA #3 CONTENIDO ECUACIONES LINEALES CON UNA INCOGNITA TIPOS DE ECUACIONES RESOLUCION DE ECUACIONES LINEALES INECUACIONES LINEALES 1 ECUACIONES LINEALES CON UNA INCOGNITA Una ecuación es una
Más detallesMatriz sobre K = R o C de dimensión m n
2 Matrices y Determinantes 21 Matrices Matriz sobre K = R o C de dimensión m n A = a 11 a 12 a 1n a 21 a 22 a 2n a m1 a m2 a mn Tipos de matrices: Cuadrada: n n = (a ij) i=1,,m j=1,,n Nula: (0) i,j 1 0
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 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 detallesCapítulo 1: Fundamentos: Lógica y Demostraciones Clase 3: Relaciones, Funciones, y Notación Asintótica
Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 3: Relaciones, Funciones, y Notación Asintótica Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 1: Fundamentos:
Más detallesEstructuras algebraicas
Tema 2 Estructuras algebraicas básicas 2.1. Operación interna Definición 29. Dados tres conjuntos A, B y C, se llama ley de composición en los conjuntos A y B y resultado en el conjunto C, y se denota
Más detallesMétodos directos para resolver sistemas de ecuaciones lineales
Métodos directos para resolver sistemas de ecuaciones lineales Problemas para examen Si en algún problema se pide calcular el número de flops (operaciones aritméticas con punto flotante), entonces en el
Más detallesMétodos Avanzados para Análisis y Representación de Imágenes
Morfología Matemática p. 1/44 Métodos Avanzados para Análisis y Representación de Imágenes Morfología Matemática Departamento de Informática - FICH Universidad Nacional del Litoral Agosto de 2012 Morfología
Más detallesEl número decimal 57, en formato binario es igual a:
CURSO: ELECTRÓNICA DIGITAL UNIDAD 1: COMPUERTAS LÓGICAS - TEORÍA PROFESOR: JORGE ANTONIO POLANÍA 1. NÚMEROS BINARIOS EJEMPLO En el cuadro anterior, está la representación de los números binarios en formato
Más detalles