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

Save this PDF as:
 WORD  PNG  TXT  JPG

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

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

Transcripción

1 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 Y LENGUAJES FORMALES Tema 7.- Lenguajes Regulares

2 Construcción n del Autómata que reconoce el lenguaje complementario Paso 1: Autómata A 1 sin estados inútiles, que reconoce el lenguaje denotado por a a* b* 2

3 Construcción n del Autómata que reconoce el lenguaje complementario Paso 2: Autómata A 1 con un estado inútil 3

4 Construcción n del Autómata que reconoce el lenguaje complementario Paso 3: Autómata que reconoce el lenguaje complementario 4

5 Intersección de lenguajes regulares Autómata A 2 que reconoce el lenguaje denotado por (a b)* 5

6 Intersección de lenguajes regulares Autómata A 2 con un estado inútil 6

7 Intersección de lenguajes regulares Autómata que reconoce el lenguaje obtenido al realizar la intersección de L (A( 1 ) y L (A( 2 ) 7

8 Intersección de lenguajes regulares Autómata con estados inútiles que reconoce el lenguaje obtenido al realizar la intersección de L (A( 1 ) y L (A( 2 ) 8

9 Diferencia de lenguajes regulares Autómata que reconoce el lenguaje obtenido al realizar la diferencia de L (A( 1 ) - L (A( 2 ) 9

10 Diferencia de lenguajes regulares Autómata con estados inútiles que reconoce el lenguaje obtenido al realizar la diferencia de L (A( 1 ) - L (A( 2 ) 10

11 Lenguaje reflejo o inverso Autómata A 3 que reconoce el lenguaje denotado por a b* (a+ε) 11

12 Lenguaje reflejo o inverso Autómata no determinista que reconoce el lenguaje reflejo de L (A( 3 ), es decir, reconoce el lenguaje denotado por (a+ε) ) b*a 12

13 Homomorfismo inverso Autómata A4 que reconoce los identificadores del lenguaje de C 13

14 Homomorfismo inverso Homomorfismo h : Γ = {0, 1} Σ = {l, d, g} h(0) = l d h(1) = l s d Autómata que reconoce el lenguaje h -1 (L (A 4 )) 14

15 Representación n gráfica de un lenguaje incluido en otro 15

16 Algoritmo Detectar-ciclos (primera parte) [1] inicio [2] Alcanzables {q 0 } y q 0 no marcado [3] Visitados [4] Ciclo falso Detección n de ciclos [5] mientras (Ciclo = falso) y (haya un estado no marcado q Alcanzables) [6] hacer [7] Marcar el estado q [8] Visitados Visitados {q} [9] Auxiliar {q σ Σ δ(q, σ) = q } [10] si Visitados Auxiliar [11] entonces Ciclo verdadero [12] si no [13] para q Auxiliar Alcanzables hacer [14] Alcanzables Alcanzables {q} y q no marcado [15] fin para [16] fin si [17] fin mientras 16

17 Algoritmo Detectar-ciclos (segunda parte) [18] si (Ciclo = falso) [19] entonces escribir Autómata sin ciclos [20] si no escribir Autómata con ciclos [21] fin si [22] fin Detección n de ciclos 17

18 Detección n de ciclos 18

19 Detección n de ciclos Traza del algoritmo de Detección n de ciclos 19

20 Desigualdad de dos Lenguajes L3 = L1 L 2 = L1 L 2 L1 L2 20

21 Lex: : Generador de analizadores léxicosl 21

22 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 Y LENGUAJES FORMALES Tema 7.- Lenguajes Regulares

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

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

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

Más detalles

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

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

Más detalles

Computabilidad y Lenguajes Formales: Autómatas de Pila

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

Más detalles

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

Autómatas Mínimos. Encontrar el autómata mínimo. Universidad de Cantabria. Introducción Minimización de Autómatas Deterministas Resultados Algoritmo

Autómatas Mínimos. Encontrar el autómata mínimo. Universidad de Cantabria. Introducción Minimización de Autómatas Deterministas Resultados Algoritmo Autómatas Mínimos Encontrar el autómata mínimo. Universidad de Cantabria Introducción Dado un lenguaje regular sabemos encontrar un autómata finito. Pero, hay autómatas más sencillos que aceptan el mismo

Más detalles

Máquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 45

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

Máquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 42

Má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 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

EQUIVALENCIAS CON EL RESTO DE LAS CARRERAS DE INGENIERÍA

EQUIVALENCIAS CON EL RESTO DE LAS CARRERAS DE INGENIERÍA EQUIVALENCIAS CON EL RESTO DE LAS CARRERAS DE INGENIERÍA Ingeniería Electrónica Plan 281-05 Sem. Ingeniería en Computación Plan 285-05 Sem. Química Aplicada 1 Química Aplicada 1 Representación Gráfica

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

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

Procesadores de Lenguaje

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

Más detalles

28/08/2014-16:52:22 Página 1 de 5

28/08/2014-16:52:22 Página 1 de 5 - NIVELACION 1 MATEMATICA - NIVELACION FISICA - NIVELACION AMBIENTACION UNIVERSITARIA 1 - PRIMER SEMESTRE 71 REPRESENTACION GRAFICA 1 - PRIMER SEMESTRE 1 INTRODUCCION A LA INGENIERIA Para Cursarla debe

Más detalles

HORARIO DE CLASES DEL CURSO GRADO INGENIERÍA INFORMÁTICA. 1 er curso 1 er cuatrimestre. AULA 2.2

HORARIO DE CLASES DEL CURSO GRADO INGENIERÍA INFORMÁTICA. 1 er curso 1 er cuatrimestre. AULA 2.2 GRADO INGENIERÍA INFORMÁTICA. 1 er curso 1 er cuatrimestre. AULA 2.2 8:00-8:50 I 9:00-9:50 I 10:00-10:50 I s II 11:10-12:00 I s II 12:10-13:00 s I I 13:10-14:00 s I I 17:00-17:50 s II* s II s II s I s

Más detalles

El Autómata con Pila

El 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 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

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

TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Práctica 3

TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Práctica 3 TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Práctica 3 1. Equivalencia entre autómatas 1.1. Equivalencia entre AFD y AFN 1.1. Equivalencia entre AFD y AFλ 2. Ejercicios propuestos 1. Equivalencia entre autómatas

Más detalles

Tema 3.- Predicados y sentencias condicionales

Tema 3.- Predicados y sentencias condicionales UNIVERSIDAD DE CÓRDOBA ESCUELA POLITÉCNICA SUPERIOR DE CÓRDOBA DEPARTAMENTO DE INFORMÁTICA Y ANÁLISIS NUMÉRICO PROGRAMACIÓN DECLARATIVA INGENIERÍA INFORMÁTICA ESPECIALIDAD DE COMPUTACIÓN CUARTO CURSO PRIMER

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

Universidad Católica de Santiago del Estero Facultad de Matemática Aplicada Carrera de Ingeniería en Electrónica

Universidad Católica de Santiago del Estero Facultad de Matemática Aplicada Carrera de Ingeniería en Electrónica PLANIFICACIÓN DE CÁTEDRA AÑO: 2006 1. IDENTIFICACION. 1.1.Asignatura: INFORMÁTICA 1.2.Carrera: Ingeniería en Electrónica. 1.3.Régimen: Primer cuatrimestre. 1.4.Promoción: Con examen final. 1.5. Correlativas:

Más detalles

El Autómata con Pila: Transiciones

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

Más detalles

Capítulo 5. Los números reales y sus representaciones Pearson Education, Inc. Diapositiva 5-1-1

Capítulo 5. Los números reales y sus representaciones Pearson Education, Inc. Diapositiva 5-1-1 Capítulo 5 Los números reales y sus representaciones 2012 Pearson Education, Inc. Diapositiva 5-1-1 Capítulo 5: Los números reales y sus representaciones 5.1 Números reales, orden y valor absoluto 5.2

Más detalles

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

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

Más detalles

COLEGIO ALEXANDER DUL

COLEGIO ALEXANDER DUL PRIMER BIMESTRE CICLO ESCOLAR 2016 2017 MATEMÁTICAS ESTRUCTURA DEL APRENDIZAJES ESPERADOS PROGRAMA REALIZACIÓN 1-8 TEMA 1 2. Tema: Problemas aditivos. Tema: Problemas multiplicativos. impliquen sumar o

Más detalles

Investigación de Operaciones I. Problemas de Asignación

Investigación de Operaciones I. Problemas de Asignación Investigación de Operaciones I Problemas de Asignación MSc. Ing. Julio Rito Vargas II cuatrimestre Introducción Los problemas de asignación incluyen aplicaciones tales como asignar personas a tareas. Aunque

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

Fundamentos de programación JAVA

Fundamentos de programación JAVA Pág. N. 1 Fundamentos de programación JAVA Familia: Editorial: Autor: Computación e informática Macro Ricardo Walter Marcelo Villalobos ISBN: 978-612-304-238-7 N. de páginas: 296 Edición: 2. a 2014 Medida:

Más detalles

Autómatas Deterministas. Ivan Olmos Pineda

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

Más detalles

INGENIERÍA EN SISTEMAS INFORMÁTICOS

INGENIERÍA EN SISTEMAS INFORMÁTICOS UNIVERSIDAD ABIERTA INTERAMERICANA AUTORIZACIÓN DEFINITIVA POR DECRETO 1082 DEL 6 DE SEPTIEMBRE DE 2005 PRESIDENCIA DE LA NACIÓN ARGENTINA CUERPO ESPECIAL CORRESPONDIENTE A LA CARRERA: INGENIERÍA EN SISTEMAS

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

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

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

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

Capítulo 1: El número real - Desigualdades e inecuaciones

Capítulo 1: El número real - Desigualdades e inecuaciones Capítulo : El número real - Desigualdades e inecuaciones. Resuelve los sistemas de inecuaciones y representa en el eje real dichas soluciones. a) > 8 ) ( b) > > ) ( c) > 6 5. Encuentra el conjunto solución

Más detalles

EJERCICIOS del TEMA 3: Lenguajes independientes del contexto

EJERCICIOS del TEMA 3: Lenguajes independientes del contexto EJERCICIOS del TEMA 3: Lenguajes independientes del contexto Sobre GICs (gramáticas independientes del contexto) 1. Sea G una gramática con las siguientes producciones: S ASB ε A aab ε B bba ba c ) d )

Más detalles

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

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

Más detalles

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

Álgebra y Trigonometría Clase 2 Ecuaciones, desigualdades y Funciones

Álgebra y Trigonometría Clase 2 Ecuaciones, desigualdades y Funciones Álgebra y Trigonometría Clase 2 Ecuaciones, desigualdades y Funciones CNM-108 Departamento de Matemáticas Facultad de Ciencias Exactas y Naturales Universidad de Antioquia Copyleft c 2008. Reproducción

Más detalles

28/08/2014-16:48:03 Página 1 de 5

28/08/2014-16:48:03 Página 1 de 5 Carrera: 21 Ingeniería en Agrimensura Plan: 21 Versión: 6 - NIVELACION 21 MATEMATICA - NIVELACION 22 FISICA - NIVELACION 2 AMBIENTACION UNIVERSITARIA 1 - PRIMER SEMESTRE 62 REPRESENTACION GRAFICA 1 - PRIMER

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

Introducción a la Probabilidad

Introducción a la Probabilidad Introducción a la Probabilidad Tema 3 Ignacio Cascos Depto. Estadística, Universidad Carlos III 1 Ignacio Cascos Depto. Estadística, Universidad Carlos III 2 Objetivos Entender el concepto de experimento

Más detalles

Tema No. 3 Métodos de Resolución de Modelos de Programación Lineal. El Método Gráfico y Método Simplex Autoevaluación y Ejercicios Propuestos

Tema No. 3 Métodos de Resolución de Modelos de Programación Lineal. El Método Gráfico y Método Simplex Autoevaluación y Ejercicios Propuestos UNIVERSIDAD NACIONAL EXPERIMENTAL FRANCISCO DE MIRANDA ÁREA DE TECNOLOGÍA DEPARTAMENTO DE GERENCIA INVESTIGACIÓN DE OPERACIONES PROFESOR: Dr. JUAN LUGO MARÍN Tema No. 3 Métodos de Resolución de Modelos

Más detalles

UNIVERSIDAD TÉCNICA NACIONAL SEDE DE ATENAS Citas de Matricula Ordinaria Estudiantes Regulares I Cuatrimestre 2016

UNIVERSIDAD TÉCNICA NACIONAL SEDE DE ATENAS Citas de Matricula Ordinaria Estudiantes Regulares I Cuatrimestre 2016 UNIVERSIDAD TÉCNICA NACIONAL SEDE DE ATENAS Citas de Matricula Ordinaria Estudiantes Regulares I Cuatrimestre 2016 Carnet Carrera Promedio Día y Hora Cita 20750661 Contabilidad y Finanzas 9,67 14/12/2015

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

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

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

Más detalles

Lógica proposicional. Ivan Olmos Pineda

Lógica proposicional. Ivan Olmos Pineda Lógica proposicional Ivan Olmos Pineda Introducción Originalmente, la lógica trataba con argumentos en el lenguaje natural es el siguiente argumento válido? Todos los hombres son mortales Sócrates es hombre

Más detalles

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

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

Más detalles

Práctica para prueba de bachillerato Funciones

Práctica para prueba de bachillerato Funciones Práctica para prueba de bachillerato Funciones Resumen Este documento es parte de una publicación del KIOSCO DE INFORMACION, distribuida anteriormente, a través de los CEREDI. Fue preparado para las pruebas

Más detalles

PR1: Programación I 6 Fb Sistemas Lógicos 6 Obligatoria IC: Introducción a los computadores 6 Fb Administración de

PR1: Programación I 6 Fb Sistemas Lógicos 6 Obligatoria IC: Introducción a los computadores 6 Fb Administración de CUADRO DE ADAPTACIÓN INGENIERÍA INFORMÁTICA - Campus Río Ebro Código Asignaturas aprobadas Créditos Carácter Asignaturas/Materias reconocida Créditos Carácter 12007 Cálculo 7,5 MAT1; Matemáticas I 12009

Más detalles

Tema: Autómata de Pila

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

Más detalles

Tema 3.- Gramáticas formales

Tema 3.- Gramáticas formales 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

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

LISTADO SUPLENCIAS PROGRAMA SICUE

LISTADO SUPLENCIAS PROGRAMA SICUE LISTADO SUPLENCIAS PROGRAMA SICUE 2011-2012 Nota media Créditos superados Créditos ESCUELA DE INGENIERÍA INDUSTRIAL E INFORMÁTICA Ingeniero Industrial (2º ciclo) 06.3 24.0 81.0 0009811811 Universidad Politécnica

Más detalles

PROGRAMA DE ESTUDIOS SIMULTÁNEOS DE GRADO EN MATEMÁTICAS Y GRADO EN INGENIERÍA INFORMÁTICA

PROGRAMA DE ESTUDIOS SIMULTÁNEOS DE GRADO EN MATEMÁTICAS Y GRADO EN INGENIERÍA INFORMÁTICA PROGRAMA DE ESTUDIOS SIMULTÁNEOS DE EN MATEMÁTICAS Y EN INGENIERÍA INFORMÁTICA EXPOSICION DE MOTIVOS En los últimos años, con la puesta en marcha de los títulos de Grado dentro del plan del Espacio Europeo

Más detalles

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

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

Más detalles

Aritmética entera. AMD Grado en Ingeniería Informática. AMD Grado en Ingeniería Informática (UM) Aritmética entera 1 / 15

Aritmética entera. AMD Grado en Ingeniería Informática. AMD Grado en Ingeniería Informática (UM) Aritmética entera 1 / 15 Aritmética entera AMD Grado en Ingeniería Informática AMD Grado en Ingeniería Informática (UM) Aritmética entera 1 / 15 Objetivos Al finalizar este tema tendréis que: Calcular el máximo común divisor de

Más detalles

MATEMÁTICAS 1º BACHILLERATO Curso EJERCICIOS RESUELTOS DE INECUACIONES

MATEMÁTICAS 1º BACHILLERATO Curso EJERCICIOS RESUELTOS DE INECUACIONES MATEMÁTICAS 1º BACHILLERATO Curso 9-1 EJERCICIOS RESUELTOS DE INECUACIONES EJERCICIOS RESUELTOS DE INECUACIONES A. Inecuaciones lineales con una incógnita x x1 x3 > 1 3 4 x x1 x3 4( x ) 3( x1) 6( x3) 1

Más detalles

Herramientas. 1 FormaLex, Departamento de Computación, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina

Herramientas. 1 FormaLex, Departamento de Computación, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina 1 Sergio Mera 1 1 FormaLex, Departamento de Computación, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina Introducción al Análisis Formal de Normas Legales, segundo cuatrimestre de 2014 (2)

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

Con miras a conocer la metodología que se aplica en el Método SIMPLEX, tenemos a continiacion un ejemplo:

Con miras a conocer la metodología que se aplica en el Método SIMPLEX, tenemos a continiacion un ejemplo: Método Simplex. Este método fue creado en el año 1947 por el estadounidense George Bernard Dantzig y el ruso Leonid Vitalievich Kantorovich, con el objetivo de crear un algoritmo capaz de crear soluciones

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

TEMA 1. Las cuentas de andar por casa

TEMA 1. Las cuentas de andar por casa TEMA 1. Las cuentas de andar por casa 1.-Los distintos tipos de números Módulo 3 1.1. Los números naturales El conjunto de los números naturales está formado por: N = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9,...}

Más detalles

Tema 4: Probabilidad y Teoría de Muestras

Tema 4: Probabilidad y Teoría de Muestras Tema 4: Probabilidad y Teoría de Muestras Estadística. 4 o Curso. Licenciatura en Ciencias Ambientales Licenciatura en Ciencias Ambientales (4 o Curso) Tema 4: Probabilidad y Teoría de Muestras Curso 2008-2009

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

Tema 2. La restricción presupuestaria y las preferencias. Microeconomía Intermedia 2011/12. Tema 2 1

Tema 2. La restricción presupuestaria y las preferencias. Microeconomía Intermedia 2011/12. Tema 2 1 Tema 2 La restricción presupuestaria y las preferencias Microeconomía Intermedia 2011/12. Tema 2 1 1. La restricción presupuestaria 2. Las preferencias del consumidor 3. Las curvas de indiferencia 4. La

Más detalles

CONVALIDACIÓN DE ASIGNATURAS POR MATERIAS DE FP/CICLOS FORMATIVOS PLAN: INGENIERO TECNICO DE MINAS, ESPECIALIDAD EN MINERALURGIA Y METALURGIA

CONVALIDACIÓN DE ASIGNATURAS POR MATERIAS DE FP/CICLOS FORMATIVOS PLAN: INGENIERO TECNICO DE MINAS, ESPECIALIDAD EN MINERALURGIA Y METALURGIA RAMA: C35 DESARROLLO PRODUCTOS ELECTRONICOS 6,00 4761 INFORMATICA APLICADA A LA INGENIERIA TECNICAS DE PROGRAMACION Total créditos convalidados: 12,00 RAMA: C36 INSTALACIONES ELECTROTECNICAS TECNICAS Y

Más detalles

DIBUJO TÉCNICO L.O.G.S.E.

DIBUJO TÉCNICO L.O.G.S.E. Pruebas de Acceso a las Universidades de Castilla y León DIBUJO TÉCNICO L.O.G.S.E. Número de páginas 9 Antes de empezar a trabajar has de tener en cuenta lo siguiente: OPTATIVIDAD: Debes escoger una de

Más detalles

PROGRAMA DE LABORATORIO SECCIÓN: ÁREA A LA QUE PERTENECE: POS-REQUISITO: AUXILIAR:

PROGRAMA DE LABORATORIO SECCIÓN: ÁREA A LA QUE PERTENECE: POS-REQUISITO: AUXILIAR: UNIVERSIDAD DE SAN CARLOS DE GUATEMALA FACULTAD DE INGENIERÍA ESCUELA DE CIENCIAS PROGRAMA DE LABORATORIO CÓDIGO: 777 CRÉDITOS: 4 NOMBRE CURSO: ESCUELA: PRE-REQUISITO: Organización de Lenguajes y Compiladores

Más detalles

UNIVERSIDAD NACIONAL EXPERIMENTAL MARÍTIMA DEL CARIBE PLAN DE ESTUDIO INGENIERÍA INFORMÁTICA

UNIVERSIDAD NACIONAL EXPERIMENTAL MARÍTIMA DEL CARIBE PLAN DE ESTUDIO INGENIERÍA INFORMÁTICA UNIVERSIDAD NACIONAL EXPERIMENTAL MARÍTIMA DEL CARIBE PLAN DE ESTUDIO INGENIERÍA INFORMÁTICA T UC Prel. I 110 Inglés I 2-4 6 3 - T 120 Lenguaje y Comunicación I 2 2-4 3-130 Informática Básica 2 1-3 2-140

Más detalles

TECNICO SUPERIOR EN INFORMÁTICA EMPRESARIAL MÓDULO INTRUCCIONAL

TECNICO SUPERIOR EN INFORMÁTICA EMPRESARIAL MÓDULO INTRUCCIONAL 1 TECNICO SUPERIOR EN INFORMÁTICA EMPRESARIAL MÓDULO INTRUCCIONAL TECNOLOGÍA DE LA COMPUTADORA FACILITADOR: PARTICIPANTE: DAVID, CHIRIQUÍ 2015 2 Qué es un programa? Un programa informático es un conjunto

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

FACULTAD DE INGENIERÍA UNAM PROBABILIDAD Y ESTADÍSTICA Irene Patricia Valdez y Alfaro irenev@servidor.unam.m T E M A S DEL CURSO. Análisis Estadístico de datos muestrales.. Fundamentos de la Teoría de

Más detalles

PROYECTO MATEM CURSO PRECÁLCULO UNDÉCIMO AÑO MODALIDAD ANUAL. Guía para el II parcial

PROYECTO MATEM CURSO PRECÁLCULO UNDÉCIMO AÑO MODALIDAD ANUAL. Guía para el II parcial Universidad de Costa Rica Instituto Tecnológico de Costa Rica PROYECTO MATEM CURSO PRECÁLCULO UNDÉCIMO AÑO MODALIDAD ANUAL Guía para el II parcial Sábado 25 de junio, 8:00 a.m. 2016 II PARCIAL ÁLGEBRA

Más detalles

GUÍA N 2 CÁLCULO I. Desigualdades. 1, la expresión anterior, (note el cambio del operador <). 6

GUÍA N 2 CÁLCULO I. Desigualdades. 1, la expresión anterior, (note el cambio del operador <). 6 UNIVERSIDAD DIEGO PORTALES FACULTAD DE CIENCIAS DE LA INGENIERÍA INSTITUTO DE CIENCIAS BÁSICAS GUÍA N CÁLCULO I Profesor: Carlos Ruz Leiva Desigualdades. Ej. Resuelva la desigualdad x < 9x + 4. Sumar 9x,

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

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

Probabilidad y Estadística Descripción de Datos

Probabilidad y Estadística Descripción de Datos Descripción de Datos Arturo Vega González a.vega@ugto.mx Division de Ciencias e Ingenierías Universidad de Guanajuato Campus León Universidad de Guanajuato, DCI, Campus León 1 / 19 Contenido 1 Teoria de

Más detalles

Escribir la expresión regular de un número entero que no acepte que el primer dígito sea cero salvo el número 0. Solución: 0 [1-9][0-9]*

Escribir la expresión regular de un número entero que no acepte que el primer dígito sea cero salvo el número 0. Solución: 0 [1-9][0-9]* Procesadores de lenguaje Ejercicios del Tema 2 Ejercicio 2.1 Sean L = {a, aa, b} y M = {ab, b }. Describe LM y M 3 por enumercaión LM = { aab, ab, aaab, bab, bb } M 3 = { ababab, ababb, abbab, abbb, babab,

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

Espacios conexos. Capítulo Conexidad

Espacios conexos. Capítulo Conexidad Capítulo 5 Espacios conexos 1. Conexidad En este capítulo exploraremos el concepto de conexidad en un espacio métrico, y estudiaremos algunas de sus aplicaciones. Definición 5.1. Decimos que el espacio

Más detalles

Conjuntos y Conjuntos Numéricos

Conjuntos y Conjuntos Numéricos Conjuntos y Conjuntos Numéricos Alguna Nociones Básica Sobre Conjuntos Definición: Un conjunto es una colección de objetos o cosas, llamados los elementos o miembros del conjunto. Formas de expresar un

Más detalles

Universitat de les Illes Balears Guía docente

Universitat de les Illes Balears Guía docente 1, 1S Identificación de la asignatura Créditos 2.4 presenciales (60 horas) 3.6 no presenciales (90 horas) 6 totales (150 horas). 1, 1S(Campus Extens) Período de impartición Primer semestre de impartición

Más detalles

Algunos ejemplos de conjuntos pueden ser los siguientes:

Algunos ejemplos de conjuntos pueden ser los siguientes: 1. CONJUNTOS Y PRODUCTO CRTESINO. OBJETIVOS: 1) Establecer los conceptos básicos y las distintas notaciones para conjuntos. 2) Descripción de conjuntos en distintas formas: Lista, expresión verbal, expresión

Más detalles

Estructura Selectiva Múltiple

Estructura Selectiva Múltiple Estructura Selectiva Múltiple Con frecuencia en la práctica se presentan más de dos elecciones posibles de una cierta condición. La estructura selectiva múltiple se utiliza para este tipo de problemas,

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

Representaciones gráficas: Método del Paralelogramo

Representaciones gráficas: Método del Paralelogramo Representaciones gráficas: Método del Paralelogramo La relación funcional más simple entre dos variables es la línea recta. Sea entonces la variable independiente x y la variable dependiente y que se relacionan

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

FUNCIONES REALES 1º DE BACHILLERATO CURSO

FUNCIONES REALES 1º DE BACHILLERATO CURSO FUNCIONES REALES 1º DE BACHILLERATO CURSO 2007-2008 Funciones reales Definición Clasificación Igual de funciones Dominio Propiedades Monotonía Extremos relativos Acotación. Extremos absolutos Simetría

Más detalles

Ecuación de la recta. Ing. Jonathan Alejandro Cortés Montes de Oca. Calculo Vectorial INSTITUTO POLITÉCNICO NACIONAL.

Ecuación de la recta. Ing. Jonathan Alejandro Cortés Montes de Oca. Calculo Vectorial INSTITUTO POLITÉCNICO NACIONAL. INSTITUTO POLITÉCNICO NACIONAL. ESCUELA SUPERIOR DE INGENIERIA MECÁNICA Y ELÉCTRICA. UNIDAD CULHUACÁN. Ecuación de la recta Calculo Vectorial Ing. Jonathan Alejandro Cortés Montes de Oca Antes de iniciar

Más detalles

PRODUCTO CARTESIANO RELACIONES BINARIAS

PRODUCTO CARTESIANO RELACIONES BINARIAS PRODUCTO CARTESIANO RELACIONES BINARIAS Producto Cartesiano El producto cartesiano de dos conjuntos A y B, denotado A B, es el conjunto de todos los posibles pares ordenados cuyo primer componente es un

Más detalles

Marco normativo del sistema de reconocimiento y transferencia de créditos

Marco normativo del sistema de reconocimiento y transferencia de créditos Marco normativo del sistema de reconocimiento y transferencia de créditos Mayo 2015 SISTEMA DE TRANSFERENCIA Y RECONOCIMIENTO DE CRÉDITOS Marco normativo del sistema de reconocimiento y transferencia de

Más detalles

DES: Programa(s) Educativo(s): Tipo de materia: Clave de la materia: Semestre: Área en plan de estudios:

DES: Programa(s) Educativo(s): Tipo de materia: Clave de la materia: Semestre: Área en plan de estudios: UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: 08MSU0017H Clave: 08USU4053W FACULTAD DE INGENIERÍA PROGRAMA DEL CURSO: INGENIERÍA DE SOFTWARE Y COMPUTACIÓN I DES: Programa(s) Educativo(s): Tipo de materia: Clave

Más detalles

Convertir un AFND a un AFD

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

Más detalles

Universidad de Guanajuato Tronco Común de Ingenierías

Universidad de Guanajuato Tronco Común de Ingenierías Universidad de Guanajuato Tronco Común de Ingenierías Objetivo del Area: Diseñar modelos matemáticos y proponer alternativas de solución a problemas. Programa. AREA: Matemáticas MATERIA: Lenguaje de Programación

Más detalles

Autómatas finitos no deterministas (AFnD)

Autómatas finitos no deterministas (AFnD) Autómatas finitos no deterministas (AFnD) Elvira Mayordomo Universidad de Zaragoza 1 de octubre de 2012 Contenido de este tema Introducción y ejemplos de autómatas finitos no deterministas Definición de

Más detalles

CENTRO UNIVERSITARIO MONTEJO A.C. SECUNDARIA Temario Matemáticas 1

CENTRO UNIVERSITARIO MONTEJO A.C. SECUNDARIA Temario Matemáticas 1 BLOQUE 1 Convierte números fraccionarios a decimales y viceversa. Conoce y utiliza las convenciones para representar números fraccionarios y decimales en la recta numérica. Representa sucesiones de números

Más detalles

GUÍA DOCENTE DISEÑO E SISTEMAS DE CONTROL Y ROBÓTICA Grado en Ingeniería Electrónica Industrial y Automática

GUÍA DOCENTE DISEÑO E SISTEMAS DE CONTROL Y ROBÓTICA Grado en Ingeniería Electrónica Industrial y Automática Año académico 2015-16 GUÍA DOCENTE DISEÑO E SISTEMAS DE CONTROL Y ROBÓTICA Grado en Ingeniería Electrónica Industrial y Automática Profesorado: Marcel Tresanchez Ribes Información general de la asignatura

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