Teoría de Lenguajes. Gramáticas incontextuales

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "Teoría de Lenguajes. Gramáticas incontextuales"

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

Más detalles

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

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

Más detalles

Texto: Hopcroft, J. E., Motwani, R., Ullman, J.D., Introduction to Automata Theory, Languajes, and Computation. 3rd Edition. Addison Wesley, 2007.

Texto: 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 detalles

ESCUELA: UNIVERSIDAD DEL ISTMO

ESCUELA: 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 detalles

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

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

Más detalles

Pregunta 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. 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 detalles

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

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

Más detalles

GRAMATICAS LIBRES DEL CONTEXTO

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

Más detalles

Capítulo 1 Lenguajes formales 6

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

Más detalles

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

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

Más detalles

DEPARTAMENTO: Ingeniería e Investigaciones Tecnológicas

DEPARTAMENTO: 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 detalles

PROGRAMA INSTRUCCIONAL AUTOMATAS Y LENGUAJES FORMALES

PROGRAMA 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 detalles

Expresiones regulares, gramáticas regulares

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

Más detalles

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

Ingeniería en Computación. Autómatas y Lenguajes Formales. Unidad de competencia IV: Conocer, utilizar y diseñar gramáticas de libre contexto Universidad Autónoma del Estado de México Centro Universitario UAEM Texcoco Departamento de Ciencias Aplicadas. Ingeniería en Computación. Autómatas y Lenguajes Formales. Unidad de competencia IV: Conocer,

Más detalles

Propiedades de los Lenguajes Libres de Contexto

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

Más detalles

Autómatas de Pila y Lenguajes Incontextuales

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

Más detalles

Paso 1: Autómata. A 1 sin estados inútiles, que reconoce el lenguaje denotado por a a* b*

Paso 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 detalles

2do. Parcial. Todos los ejercicios se entregarán en hojas separadas. El examen tipo test cuenta hasta 2 puntos sobre la nota total.

2do. 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 detalles

Propiedades de los Lenguajes Libres de Contexto

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

Más detalles

EXÁ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 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 detalles

BENEMÉ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 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 detalles

Carrera: SCM Participantes. Representantes de la academia de sistemas y computación de los Institutos Tecnológicos.

Carrera: 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 detalles

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

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

Más detalles

TC - Teoría de la Computación

TC - 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 detalles

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

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

Más detalles

6. Autómatas a Pila. Grado Ingeniería InformáDca Teoría de Autómatas y Lenguajes Formales

6. 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 detalles

PONTIFICIA 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 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 detalles

Carácter Modalidad Horas de estudio semestral (16 semanas)

Cará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 detalles

Tema 3: El Método Simplex. Algoritmo de las Dos Fases.

Tema 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 detalles

Tema 5 Lenguajes independientes del contexto. Sintaxis

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

Más detalles

Teorí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 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 detalles

Aznar Bellver, Jerónimo. Valoración inmobiliaria: métodos y aplicaciones. : Editorial de la Universidad Politécnica de Valencia,.

Aznar 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 detalles

Las matrices Parte 1-2 o bachillerato

Las 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 detalles

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

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

Más detalles

Una cadena sobre Σ es cualquier secuencia de elementos de longitud finita sobre Σ.

Una 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 detalles

personal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12

personal.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 detalles

Ciencias de la Computación I

Ciencias 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 detalles

AUTÓMATAS DE PILA Y LENGUAJES INDEPENDIENTES DEL CONTEXTO

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

Más detalles

Carrera: MTF-0535 2-4-8. Participantes Representante de las academias de ingeniería Mecatrónica de los Institutos Tecnológicos.

Carrera: 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 detalles

Capítulo 7: Expresiones Regulares

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

Más detalles

Cátedra de Sintaxis y Semántica de Lenguajes

Cá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 detalles

AUTÓMATAS, GRAMÁTICAS Y LENGUAJES

AUTÓMATAS, GRAMÁTICAS Y LENGUAJES ASIGNATURA DE GRADO: AUTÓMATAS, GRAMÁTICAS Y LENGUAJES Curso 2015/2016 (Código:71901089) 1.PRESENTACIÓN DE LA ASIGNATURA La asignatura Autómatas, Gramáticas y Lenguajes se ocupa del estudio de las máquinas

Más detalles

Profs. Carlos Pérez y Ricardo Monascal

Profs. 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 detalles

Lenguajes (gramáticas y autómatas)

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

Más detalles

ESTRUCTURAS ALGEBRAICAS. Parte 1

ESTRUCTURAS 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 detalles

RELACIONES Y FUNCIONES. M.C. Mireya Tovar Vidal

RELACIONES 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 detalles

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

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

Más detalles

Equivalencia Entre PDA y CFL

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

Más detalles

Matemá'cas generales

Matemá'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 detalles

Operaciones Booleanas y Compuertas Básicas

Operaciones 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 detalles

Matrices 1 (Problemas). c

Matrices 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 detalles

Lenguajes, Gramáticas y Autómatas Conceptos

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

Más detalles

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

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

Más detalles

{} representa al conjunto vacío, es decir, aquel que no contiene elementos. También se representa por.

{} 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 detalles

John Venn Matemático y filósofo británico creador de los diagramas de Venn

John 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 detalles

Dada la proporción =, calcula el producto de extremos menos el producto de medios. 4. Halla los determinantes de las siguientes matrices: Solución:

Dada 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 detalles

La Jerarquía de Chomsky

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

Más detalles

Procesadores de Lenguaje

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

Más detalles

Modelos de Computación I

Modelos 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 detalles

Expresiones Regulares y Derivadas Formales

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

Más detalles

9. MATRICES 189 9.1. DEFINICIÓN Y NOTACIONES... 189 9.2. OPERACIONES CON MATRICES... 190 9.3. MATRICES CUADRADAS... 192 9.3.1.

9. 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 detalles

Tema 2: Autómatas finitos

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

Más detalles

Colas de un elemento por una Relación

Colas 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 detalles

Lenguajes y Gramáticas

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

Más detalles

Grupos libres. Presentaciones.

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

Más detalles

Sistemas de Ecuaciones Lineales

Sistemas 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 detalles

La 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.

La 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 detalles

Tema 1: Matrices y Determinantes

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

Más detalles

En el presente video se resaltan los siguientes tres elementos esenciales de las matemáticas:

En 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 detalles

Facultad de Ingeniería de Sistemas 1.5 Carrera: Ingeniería de Sistemas 1.6 Código: ISI 1.7 Nivel: Pregrado

Facultad 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 detalles

Plan 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) 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 detalles

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

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

Más detalles

Dos matrices son iguales cuando tienen la misma dimensión y los elementos que ocupan el mismo lugar en ambas son iguales

Dos 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 detalles

Espacios Vectoriales www.math.com.mx

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

Más detalles

Capitulo V: Relaciones

Capitulo 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 detalles

UNIDAD 4. Álgebra Booleana

UNIDAD 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 detalles

Fundació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

Fundació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 detalles

Matemáticas aplicadas a las CC.SS. II 2º Bachillerato. La igualdad de matrices 3x3 equivale a 9 ecuaciones escalares: { a 3=5.

Matemá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 detalles

Motores de aluminio de aplicación general Tamaños 56-100

Motores 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 detalles

TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES TRABAJO DE PRÁCTICAS. Convocatoria de junio de 2013

TEORÍ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 detalles

NOMBRE DEL CURSO: Laboratorio de Lenguajes Formales y de Programación

NOMBRE 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 detalles

Matemá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 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 detalles

Teoría de Autómatas y Lenguajes Formales.

Teoría de Autómatas y Lenguajes Formales. Teoría de Autómatas y Lenguajes Formales 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 detalles

CONJUNTOS Y RELACIONES BINARIAS

CONJUNTOS 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 detalles

A)2011 B)2012 B)2013 D)2014 E)2015. C) a5 +b 5

A)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 detalles

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

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

Más detalles

Teoría de Lenguajes. Teoría de la Programación I

Teorí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 detalles

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)

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) 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 detalles

Clase 17: Autómatas de pila

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

Más detalles

LENGUAJES FORMALES Y AUTÓMATAS

LENGUAJES 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 detalles

Unidad 4. Autómatas de Pila

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

Más detalles

MATEMÁTICAS II CC III PARCIAL

MATEMÁ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 detalles

Matriz sobre K = R o C de dimensión m n

Matriz 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 detalles

Algebra lineal y conjuntos convexos

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

Más detalles

Sentido de recorrido. q i

Sentido 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 detalles

Capí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 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 detalles

Estructuras algebraicas

Estructuras 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 detalles

Métodos directos para resolver sistemas de ecuaciones lineales

Mé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 detalles

Métodos Avanzados para Análisis y Representación de Imágenes

Mé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 detalles

El número decimal 57, en formato binario es igual a:

El 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