Profs. Carlos Pérez y Ricardo Monascal
|
|
- Belén García Velázquez
- hace 7 años
- Vistas:
Transcripción
1
2 TRADUCTORES E INTERPRETADORES Clase 0: Introducción al Curso
3 Quiénes somos? Prof. Carlos Pérez Prof. Ricardo Monascal Oficina: MYS-228A (Sí, es la misma)
4 Recursos Oficiales Página del curso: Bibliografía (en orden alfabético): Sudkamp. Languages and Machines. Addison-Wesley Publishing Hopcroft & Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley Publishing. Aho, Sethi & Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley Publishing. Sipser. Introduction to the Theory of Computation. 2nd edition. MIT Press. Astorga. Apuntes sobre Lenguajes Regulares. USB. En:
5 Evaluación 70% teoría Examen 1 (25%): Martes, Semana 5. Examen 2 (20%): Martes, Semana 8. Examen 3 (25%): Martes, Semana % práctica Un proyecto, en tres entregas: Entrega 1 (6%): Domingo, Semana 3 4. Entrega 2 (9%): Domingo, Semana 6 7. Entrega 3 (15%): Domingo, Semana
6 Y además Cinco retos, principalmente de programación, que otorgarán al ganador de cada reto (y únicamente al ganador del mismo) 2% adicional sobre el total del curso.
7 Motivación Todo es un lenguaje!
8 Motivación Todo es un lenguaje!
9 Jerarquía de Chomsky REGULARES
10 LIBRES DE CONTEXTO Jerarquía de Chomsky REGULARES
11 SENSIBLES AL CONTEXTO LIBRES DE CONTEXTO Jerarquía de Chomsky REGULARES
12 RECUSRIVO SENSIBLES AL CONTEXTO LIBRES DE CONTEXTO Jerarquía de Chomsky REGULARES
13 RECUSRIVAMENTE ENUMERABLE RECUSRIV0 SENSIBLES AL CONTEXTO LIBRES DE CONTEXTO Jerarquía de Chomsky REGULARES
14 RECUSRIVAMENTE ENUMERABLE RECUSRIV0 SENSIBLES AL CONTEXTO LIBRES DE CONTEXTO Jerarquía de Chomsky Y HABRÁ MÁS? REGULARES
15 Lenguajes de Programación Qué es un lenguaje de programación? Dónde entran en la jerarquía? Programa? MAQUINA
16 Lenguajes de Programación MAQUINA Programa ENTENDER PROCESAR?
17 Lenguajes de Programación MAQUINA Programa ENTENDER PROCESAR? FRONT-END BACK-END
18 Lenguajes de Programación FRONT-END Programa Análisis Léxico (Lexer) Análisis Sintáctico (Parser) Análisis de Contexto Representación Intermedia
19 Lenguajes de Programación FRONT-END Programa Representación Intermedia Secuencia de caracteres Análisis Léxico (Lexer) Secuencia de Tokens.c [int, id(main),...]
20 Lenguajes de Programación FRONT-END Programa Representación Intermedia Secuencia de Tokens [int, id(main),...] Análisis Sintáctico (Parser) Árbol Sintáctico Abstracto
21 Lenguajes de Programación FRONT-END Programa Representación Intermedia Árbol Sintáctico Abstracto Análisis de Contexto Árbol Sintáctico Abstracto (Decorado)
22 Lenguajes de Programación Código en otro lenguaje Representación Intermedia BACK-END Ejecución
23 Lenguajes de Programación Representación Intermedia BACK-END Código en otro lenguaje Traducción vs. Compilación Ejecución Interpretación
24 Léxico Básico del Curso Símbolo: Unidad léxica indivisible que representa algún significado. Caracteres Ideogramas Tokens Alfabeto: Conjunto de símbolos Alfabeto latino Palabras reservadas de un lenguaje
25 Léxico Básico del Curso Frases: Secuencia de símbolos, todos pertenecientes a algún alfabeto Σ Hola, mundo!, sobre el alfabeto latino con signos de puntuación. 42, sobre el alfabeto de los números arábigos 自動機的岩石, sobre el alfabeto chino...
26 Léxico Básico del Curso Frases: Secuencia de símbolos, todos pertenecientes a algún alfabeto Σ Hola, mundo!, sobre el alfabeto latino con signos de puntuación 42, sobre el alfabeto de los números arábigos 自動機的岩石, sobre el alfabeto chino... sobre cualquier alfabeto.
27 Léxico Básico del Curso Frases: Secuencia de símbolos, todos pertenecientes a algún alfabeto Σ Hola, mundo!, sobre el alfabeto latino con signos de puntuación 42, sobre el alfabeto de los números arábigos 自動機的岩石, sobre el alfabeto chino... sobre cualquier alfabeto. Y lo llamaremos λ.
28 Léxico Básico del Curso Lenguaje: Conjunto de frases, todas compuestas por símbolos pertenecientes al mismo alfabeto Σ Frases, sobre el alfabeto Σ = {a, b}, que contengan al menos un símbolo a. Expresiones aritméticas válidas, sobre el alfabeto Σ = {+, -, *, /} U {0..9} Ø, sobre cualquier alfabeto. {λ}, sobre cualquier alfabeto.
29 Léxico Básico del Curso Lenguaje: Conjunto de frases, todas compuestas por símbolos pertenecientes al mismo alfabeto Σ Frases, sobre el alfabeto Σ = {a, b}, que contengan al menos un símbolo a. Expresiones aritméticas válidas, sobre el alfabeto Σ = {+, -, *, /} U {0..9} Ø, sobre cualquier alfabeto. {λ}, sobre cualquier alfabeto. Y son distintos!
30 Objetivo del Curso Cómo especificar lenguajes? Es una frase perteneciente a un lenguaje? Cómo aplicar estos conceptos al procesamiento de lenguajes de programación?
Tema 1: Introducción. Teoría de autómatas y lenguajes formales I
Tema 1: Introducción Teoría de autómatas y lenguajes formales I Bibliografía Hopcroft, J. E., Motwani, R., y Ullman, J. D. Introducción a la Teoría de Autómatas, Lenguajes y Computación. Addison Wesley.
Más detallesUNIVERSIDAD NACIONAL AUTÓNOMA LICENCIADO EN CIENCIAS DE LA COMPUTACIÓN
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO LICENCIADO EN CIENCIAS DE LA COMPUTACIÓN Programa de la asignatura: Autómatas y Lenguajes Formales Clave: Semestre: Campo de conocimiento: Área de formación: antes
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 detallesIntroducción al Diseño de Compiladores. Año
Introducción al Diseño de Compiladores Año 2003 1 BIBLIOGRAFÍA [AHO] Compilers. Principles, Techniques, and Tools Aho, Sethi; Adisson-Wesley 1986 [TEU] Compiladores: Conceptos fundamentales. Teufel ; Addison
Más detallesUniversidad Ricardo Palma Facultad de Ingeniería
Universidad Ricardo Palma Facultad de Ingeniería Escuela de Ingeniería Informática SILABO 1. INFORMACIÓN GENERAL Asignatura : Lenguajes y Compiladores Ciclo : 8vo. Área : Computación Código : II0803 Condición
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 detallesUNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS (Universidad del Perú, DECANA DE AMÉRICA)
UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS (Universidad del Perú, DECANA DE AMÉRICA) FACULTAD DE INGENIERIA DE SISTEMAS E INFORMATICA ESCUELA PROFESIONAL DE INGENIERÍA DE SISTEMAS 1. INFORMACIÓN GENERAL
Más detallesProcesadores de lenguaje Tema 1 Introducción a los compiladores
Procesadores de lenguaje Tema 1 Introducción a los compiladores Salvador Sánchez, Daniel Rodríguez Departamento de Ciencias de la Computación Universidad de Alcalá Resumen del tema Traductores Estructura
Más detallesDOMINIOS COGNITIVOS (Objetos de estudio, temas y subtemas)
UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: Clave: FACULTAD DE INGENIERÍA DES: Ingeniería Programa(s) Educativo(s): Ingeniería en Ciencias de la Computación Tipo de materia: Obligatoria Clave de la materia:
Más detallesFACULTAD POLITÉCNICA DIRECCIÓN ACADÉMICA PROGRAMA DE ESTUDIO I. IDENTIFICACIÓN Carrera : Ingeniería de Sistemas CARGA HORARIA (Horas reloj) Asignatura : Compiladores Carga Horaria Semestral 64 Semestre
Más detallesProcesadores de lenguaje Tema 1: Introducción a los compiladores
Procesadores de lenguaje Tema 1 Introducción a los compiladores Salvador Sánchez, Daniel Rodríguez Departamento de Ciencias de la Computación Universidad de Alcalá Resumen del tema Traductores Estructura
Más detallesPROGRAMA DE COMPILADORES
1. Introducción 1.1. Tipos de traductores 1.2. Autómatas 1.3. Gramáticas formales 1.4. Fases de un compilador PROGRAMA DE COMPILADORES 2. Análisis Léxico 2.1. Definir un reconocedor de cadenas no trivial
Más detallesComputabilidad y Lenguajes Formales: Introducción
300CIG007 Computabilidad y Lenguajes Formales: Introducción Pontificia Universidad Javeriana Cali Ingeniería de Sistemas y Computación Prof. Gloria Inés Alvarez galvarez@puj.edu.co Introducción 1. De que
Más detallesTema 4: Gramáticas independientes del contexto. Teoría de autómatas y lenguajes formales I
Tema 4: Gramáticas independientes del contexto Teoría de autómatas y lenguajes formales I Bibliografía Hopcroft, J. E., Motwani, R., y Ullman, J. D. Introducción a la Teoría de Autómatas, Lenguajes y Computación.
Más detallesTITULACIÓN Ingeniero Técnico en Informática de Sistemas ASIGNATURAS DE SEGUNDO CURSO DEL PLAN 1999 TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES PROGRAMA:
TITULACIÓN Ingeniero Técnico en Informática de Sistemas ASIGNATURAS DE SEGUNDO CURSO DEL PLAN 1999 TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES PROGRAMA: PROGRAMA DE TEORÍA Parte I: INTRODUCCIÓN 1. Introducción
Más detallesUNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO. Licenciatura en Ciencias de la Computación. Facultad de Ciencias. Programa de la asignatura.
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO Licenciatura en Ciencias de la Computación Facultad de Ciencias Denominación de la asignatura: Clave: 0817 Semestre: 7 Carácter: Obligatoria Tipo: Teórico-Práctica
Más detallesUNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE INGENIERÍA PROGRAMA DE ESTUDIO
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE INGENIERÍA PROGRAMA DE ESTUDIO COMPILADORES 1764 7 o 09 Asignatura Clave Semestre Créditos Ingeniería Eléctrica Ingeniería en Computación Ingeniería
Más detallesPROGRAMA DE CURSO. Horas de Trabajo Personal Horas de Cátedra. Resultados de Aprendizaje
Código Nombre CC3102 Teoría de la Computación Nombre en Inglés Theory of Computation SCT es Docentes PROGRAMA DE CURSO Horas de Cátedra Horas Docencia Auxiliar Horas de Trabajo Personal 6 10 3 1.5 5.5
Más detallesUNIVERSIDAD DE SAN CARLOS DE GUATEMALA FACULTAD DE INGENIERIA ESCUELA DE CIENCIAS Y SISTEMAS. NOMBRE DEL CURSO: Lenguajes Formales y de Programación
UNIVERSIDAD DE SAN CARLOS DE GUATEMALA FACULTAD DE INGENIERIA ESCUELA DE CIENCIAS Y SISTEMAS NOMBRE DEL CURSO: Lenguajes Formales y de Programación CÓDIGO: 796 CRÉDITOS: 3 ESCUELA: Ciencias y Sistemas
Más detallesINSTITUTO POLITECNICO NACIONAL SECRETARIA ACADEMICA DIRECCION DE ESTUDIOS PROFESIONALES EN INGENIERIA Y CIENCIAS FISICO MATEMATICAS
ESCUELA: UNIDAD PROFESIONAL INTERDISCIPLINARIA DE INGENIERÍA Y CIENCIAS SOCIALES Y ADMINISTRATIVAS. CARRERA: INGENIERIA EN INFORMÁTICA ESPECIALIDAD: COORDINACION: ACADEMIAS DE COMPUTACIÓN DEPARTAMENTO:
Más detallesPROGRAMA DE COMPILADORES
PROGRAMA DE COMPILADORES 1. Introducción 1.1. Tipos de traductores 1.2. Autómatas 1.3. Gramáticas formales 1.4. Fases de un compilador 2. Análisis Léxico 2.1. Definir un reconocedor de cadenas no trivial
Más detallesUNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE INGENIERÍA PROGRAMA DE ESTUDIO
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE INGENIERÍA PROGRAMA DE ESTUDIO LENGUAJES FORMALES Y AUTÓMATAS 1670 6 09 Asignatura Clave Semestre Créditos Ingeniería Eléctrica Ingeniería en Computación
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 detallesHoras teóricas: Horas practicas: Área de conocimiento a la que pertenece
PROGRAMA DE ESTUDIOS Área de formación a la que pertenece: TRADUCTORES DE ALTO NIVEL CARRERA LT Sustantiva Profesional Horas teóricas: Horas practicas: 2 2 Créditos: 6 Clave: F0353 Área de conocimiento
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 detallesCompiladores: Sesión 3. Análisis léxico, expresiones regulares
Compiladores: Sesión 3. Análisis léxico, expresiones regulares Prof. Gloria Inés Alvarez V. Departamento de Ciencias e Ingeniería de la Computación Pontificia Universidad Javeriana Cali 29 de enero de
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: COMPILADORES E INTERPRETES CÓDIGO: 10730 CARRERA: NIVEL: SISTEMAS QUINTO No. CRÉDITOS: 4 CRÉDITOS TEORÍA: 4 CRÉDITOS PRÁCTICA: - SEMESTRE / AÑO ACADÉMICO: 2 / 2010
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 detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR FACULTAD DE INGENIERIA ESCUELA DE INGENIERIA DE SISTEMAS MATERIA: DISEÑO DE LENGUAJES Y AUTOMATAS: CÓDIGO: CARRERA: INGENIERÍA DE SISTEMAS
Más detallesCompiladores: Introducción
Compiladores: Introducción Francisco J Ballesteros LSUB, URJC Page 1 of 28 Qué es un lenguaje de programación? C, Java, Go,... Pero también ls *.c grep '^[a-z].*\.8' printf("%s %d",...) Page 2 of 28 Cómo
Más detallesPresentación de la Asignatura
de la Asignatura Federico Peinado www.federicopeinado.es José Luis Sierra Coordinador de la asignatura y creador de los contenidos Ingeniería en Informática Facultad de Informática Universidad Complutense
Más detallesLP - Lenguajes de Programació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 detallesSÍLABO DEL CURSO DE COMPILADORES Y LENGUAJES DE PROGRAMACIÓN
SÍLABO DEL CURSO DE COMPILADORES Y LENGUAJES DE PROGRAMACIÓN I. INFORMACIÓN GENERAL 1.1 Facultad Ingeniería 1.2 Carrera Profesional Ingeniería en Sistemas Computacionales 1.3 Departamento 1.4 Requisito
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 INGENIERÍA EN CIENCIAS DE LA COMPUTACIÓN. Coordinación: NOMBRE DE LA MATERIA: Clave:
Más detallesUNIVERSIDAD DE LOS LLANOS Facultad de Ciencias Básicas e Ingeniería Programa Ingeniería de Sistemas ALGORITMIA AVANZADA
CURSO: ALGORITMIA AVANZADA 1 SEMESTRE: VII 2 CODIGO: 602802 3 COMPONENTE: 4 CICLO: 5 AREA: Profesional 6 FECHA DE APROBACIÓN: 7 NATURALEZA: Teórico - Practica 8 CARÁCTER: Obligatorio 9 CREDITOS (RELACIÓN):
Más detallesTeoría de Autómatas y Lenguajes Formales Equivalencia de Conjuntos Pruebas por Inducción
y Lenguajes INAOE y (INAOE) 1 / 40 Contenido y 1 2 3 4 5 6 y (INAOE) 2 / 40 Objetivo General Proporcionar al estudiante los fundamentos de la teoría de autómatas así como los de lenguajes formales. También
Más detallesASIGNATURA: COMPILADORS (EUIS-UAB) Aula Teoría Martes 23 Problemas Viernes Aula 23. Profesor Consultas
Pàgina 1 de 8 Enginyeria Tècnica Informàtica Escola Universitària de Sabadell (UAB) 6è Semestre Curso 2005-20 Créditos Horarios Teoria y Problemas 3 Aula Teoría Martes 23 Problemas Viernes Aula 23 11:00
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: PRE REQUISITOS:
Más detallesDivisión Académica de Informática y Sistemas
Área de formación Sustantiva Profesional Nombre de la asignatura Docencia frente a grupo según SATCA Trabajo de Campo Supervisado según SATCA HCS HPS TH C HTCS TH C TC 2 2 4 4 0 0 0 4 Clave de la asignatura
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS MATERIA: DISEÑO DE LENGUAJES Y AUTOMATAS: CÓDIGO: 11294 CARRERA: INGENIERÍA DE SISTEMAS NIVEL: 4 No. CREDITOS: 4 No. CRÉDITOS TEORÍA: 4 CRÉDITOS PRÁCTICA: 0 PROFESOR: ING. ALBERTO
Más detallesCoordinación de Ciencias Computacionales INAOE. Teoría de Autómatas y Lenguajes Formales. Temario detallado para examen de ingreso 2012
Coordinación de Ciencias Computacionales INAOE Teoría de Autómatas y Lenguajes Formales Temario detallado para examen de ingreso 2012 1. Autómatas 1.1. Por qué estudiar la teoría de autómatas? 1.1.1. Introducción
Más detallesGramáticas de Atributos
Teoría de Lenguajes Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires Etapas de un Compilador Analizador Léxico Analizador Sintáctico (Parser)... Lexer: Genera secuencia de tokens Reporta
Más detallesProcesadores de Lenguaje
Procesadores de Lenguaje Repaso TALF Cristina Tîrnăucă Dept. Matesco, Universidad de Cantabria Fac. Ciencias Ing. Informática Primavera de 2013 La Jerarquía de Chomsky Cuatro niveles de lenguajes formales
Más 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 detallesDES: Programa(s) Educativo(s):
UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: Clave: FACULTAD DE INGENIERÍA COMPUTACIÓN DES: Ingeniería Programa(s) Educativo(s): Maestría en Ciencias Básicas y Aplicadas Tipo de materia: Obligatoria Clave
Más detallesConceptos básicos sobre gramáticas
Procesamiento de Lenguajes (PL) Curso 2014/2015 Conceptos básicos sobre gramáticas Gramáticas y lenguajes Gramáticas Dado un alfabeto Σ, un lenguaje es un conjunto (finito o infinito) de cadenas de símbolos
Más detalles16 Análisis sintáctico I
2 Contenido Recordando la estructura de un compilador Recordando el análisis léxico l análisis sintáctico Comparación con el análisis léxico l Rol del Parser Lenguajes de programación Gramáticas structura
Más detallesIntroducción a la Lógica y la Computación
Introducción a la Lógica y la Computación Parte III: Lenguajes y Autómatas Clase del 7 de Noviembre de 2014 Parte III: Lenguajes y Autómatas Introducción a la Lógica y la Computación 1/20 Lenguajes Formales
Más detallesUNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA Escuela Técnica Superior de Ingeniería Informática Procesadores de Lenguajes. Tema 2.
UNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA Escuela Técnica Superior de Ingeniería Informática Procesadores de Lenguajes Tema 2 Análisis Léxico Javier Vélez Reyes jvelez@lsi.uned.es Objetivos del Tema
Más detallesINTRODUCCIÓN A LOS LENGUAJES
INTRODUCCIÓN A LOS LENGUAJES 1 Definición de lenguaje 2 Lenguajes formales 2.1 Requisitos 2.2 Aplicaciones 2.3 Especificación 2.4 Gramáticas 2.4.1 Definición y Ejemplos 2.4.2 Ambigüedad 2.4.3 Clasificación
Más detallesPrograma del curso IC-5701. Compiladores e Intérpretes. Escuela de Computación. Carrera de Ingeniería de Computación, Plan 410.
Programa del curso IC-5701 Compiladores e Intérpretes Escuela de Computación Carrera de Ingeniería de Computación, Plan 410. I Parte. Aspectos relativos al plan de estudios 1 Datos generales Nombre del
Más detallesIntroducción a la Lógica y la Computación
Introducción a la Lógica y la Computación Parte III: Lenguajes y Autómatas Clase del 4 de Noviembre de 2015 Parte III: Lenguajes y Autómatas Introducción a la Lógica y la Computación 1/21 Lenguajes Formales
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 detallesORGANIZACIÓN DOCENTE del curso Teoría de Autómatas y Lenguajes Formales. Ayudante LSI. Prac. Problemas (2) Prac. Problemas. Prac.
ORGANIZACIÓN DOCENTE del curso 2008-09 1. DATOS GENERALES DE LA ASIGNATURA NOMBRE Teoría de Autómatas y Lenguajes Formales PÁGINA WEB CÓDIGO 5410 DEPARTAMENTO Matemáticas, Estadística y Computación PLAN
Más detallesCompiladores e Intérpretes
Programa de la Asignatura: Compiladores e Intérpretes Código: 767 Carrera: Ingeniería en Computación Plan: 2008 Carácter: Obligatoria Unidad Académica: Secretaría Académica Curso: Cuarto Año Primer cuatrimestre
Más detallesPROGRAMA DE COMPILADORES
1. Introducción 1.1. Tipos de traductores 1.2. Autómatas 1.3. Gramáticas formales 1.4. Fases de un compilador PROGRAMA DE COMPILADORES 2. Análisis Léxico 2.1. Definir un reconocedor de cadenas no trivial
Más detallesTeoría de Lenguajes. Propiedades y caracterizaciones de los lenguajes incontextuales
Teoría de Lenguajes Propiedades y caracterizaciones de los lenguajes incontextuales José M. empere Departamento de istemas Informáticos y Computación Universidad Politécnica de Valencia Propiedades y caracterizaciones
Más detallesPráctica 01 - Preprocesamiento básico para un código fuente en lenguaje C Compiladores - Profr. Edgardo Adrián Franco Martínez
2 Contenido Introducción Análisis léxico Funciones del analizador léxico Preprocesamiento básico de un código fuente de C Manejo de búferes 3 Introducción Para la construcción de todo traductor, compilador
Más detallesSintaxis y Semántica del Lenguaje
Gramáticas y Autómatas Wilo Carpio Cáceres 110813 1 Sintaxis y Semántica del Lenguaje Wilo Carpio Cáceres 2013 Gramáticas y Autómatas Wilo Carpio Cáceres 110813 2 INTRODUCCION A LOS COMPILADORES Wilo Carpio
Más detallesTema 3: Gramáticas regulares. Teoría de autómatas y lenguajes formales I
Tema 3: Gramáticas regulares Teoría de autómatas y lenguajes formales I Bibliografía Hopcroft, J. E., Motwani, R., y Ullman, J. D. Introducción a la Teoría de Autómatas, Lenguajes y Computación. Addison
Más detallesTeoría de la Computación y Leguajes Formales
y Leguajes Formales Prof. Hilda Y. Contreras Departamento de Computación hyelitza@ula.ve hildac.teoriadelacomputacion@gmail.com Contenido Tema 0: Introducción y preliminares: Conocimientos matemáticos
Más detallesTema 1: Introducción
Tema 1: Introducción Procesamiento de Lenguajes Dept. de Lenguajes y Sistemas Informáticos Universidad de Alicante Procesamiento de Lenguajes Tema 1: Introducción 1 / 28 Definición de compilador Un compilador
Más detallesCompilación. Jaime Gutiérrez Alfaro Compiladores e Intérpretes. II semestre,
Compilación Jaime Gutiérrez Alfaro Compiladores e Intérpretes II semestre, 2017 1 Agenda 2. Compilación Estructura del proceso de compilación Estructuras de datos Pasadas Opciones de diseño de un compilador
Más detallesCompiladores: Sesión 6. Optimización
Compiladores: Sesión 6. Optimización Prof. Gloria Inés Alvarez V. Departamento de Ciencias e Ingeniería de la Computación Pontificia Universidad Javeriana Cali 7 de febrero de 2008 Optimización Se proponen
Más detallesCOMPILACIÓN I
COMPILACIÓN I http://ji.ehu.es/konpi1 Profesores: Eneko Agirre, Nerea Ezeiza, Julian Gutierrez (Información sobre tutorías, teléfonos, etc. en página web) Objetivos: El propósito de esta asignatura es
Más detallesINSTITUTO POLITÉCNICO NACIONAL SECRETARÍA ACADÉMICA DIRECCIÓN DE ESTUDIOS PROFESIONALES EN INGENIERÍA Y CIENCIAS FÍSICO MATEMÁTICAS PROGRAMA SINTÉTICO
CARRERA: Ingeniería en Computación. INSTITUTO POLITÉCNICO NACIONAL PROGRAMA SINTÉTICO ASIGNATURA: Teoría de Autómatas. SEMESTRE: Cuarto OBJETIVO GENERAL El alumno diseñará un autómata que decida un lenguaje
Más detallesProcesadores de Lenguajes
Procesadores de Lenguajes Guía de Aprendizaje Información al estudiante 1. Datos Descriptivos Asignatura Materia Departamento responsable Procesadores de Lenguajes Programación LSIIS Créditos ECTS 3 Carácter
Más detallesCampos Fecha de elaboración: 28 de Mayo de 2010 Fecha de última actualización:
PROGRAMA DE ESTUDIO Programa Educativo: Área de Formación : Licenciatura en Sistemas Computacionales Integral Profesional Compiladores Horas teóricas: 2 Horas prácticas: 2 Total de Horas: 4 Total de créditos:
Más detallesESCUELA POLITÉCNICA SUPERIOR DE CÓRDOBA GRADO DE INGENIERÍA INFORMÁTICA. Curso 2016/17. Asignatura: PROCESADORES DE LENGUAJES
ESCUELA POLITÉCNICA SUPERIOR DE CÓRDOBA GRADO DE INGENIERÍA INFORMÁTICA Asignatura: DENOMINACIÓN DE LA ASIGNATURA Denominación: Código: 101424 Plan de estudios: GRADO DE INGENIERÍA INFORMÁTICA Denominación
Más detallesBENÉMERITA UNIVERSIDAD AUTÓNOMA DE PUEBLA VICERRECTORÍA DE DOCENCIA DIRECCIÓN GENERALDE EDUCACIÓN SUPERIOR FACULTAD DE CIENCIAS DE LA COMPUTACIÓN
Programa Educativo (PE): Licenciatura en Ciencias de la Computación Área: Ciencias de la Computación Programa de Asignatura: Lenguajes Formales Y Autómatas Código: CCOM-013 Créditos: 5 Fecha: Julio 2009
Más detallesPROCESADORES DEL LENGUAJE
PROCESADORES DEL LENGUAJE (3º Curso Primer Cuatrimestre) Grado en Ingeniería de Computadores Universidad de Alcalá Curso Académico 2011/12 GUÍA DOCENTE Nombre de la asignatura: Procesadores del lenguaje
Más detallesBenemérita Universidad Autónoma de Puebla Vicerrectoría de Docencia Dirección General de Educación Superior Facultad de Ciencias de la Computación
PLAN DE ESTUDIOS (PE): Licenciatura en Ciencias de la Computación AREA: Optativas ASIGNATURA: CÓDIGO: CCOM-257 CRÉDITOS: 6 FECHA: 18 de Mayo de 2017 1 1. DATOS GENERALES Nivel Educativo: Licenciatura Nombre
Más detallesCompiladores e intérpretes Introducción
Introducción Profesor: Eridan Otto Introducción Perspectiva histórica Motivación Definiciones Componentes y fases de un compilador 1 Introducción Definiciónes básicas Traductor: desde un punto de vista
Más detallesUNIVERSIDAD AUTÓNOMA DEL ESTADO DE HIDALGO División de Docencia Dirección de Planeación y Desarrollo Educativo
. FORMATO: DPyDE01 UNIVERSIDAD AUTÓNOMA DEL ESTADO DE HIDALGO División de Docencia Dirección de Planeación y Desarrollo Educativo PROGRAMA ANALÍTICO DE ASIGNATURA Instituto INSTITUTO DE CIENCIAS BASICAS
Más detallesNombre de la asignatura : Lenguajes y Autómatas. Carrera : Ingeniería en Sistemas Computacionales. Clave de la asignatura : SCB- 9324
. D A T O S D E L A A S I G N A T U R A Nombre de la asignatura : Lenguajes y Autómatas Carrera : Ingeniería en Sistemas Computacionales Clave de la asignatura : SCB- 9 Horas teoría-horas práctica-créditos
Más detallesTeoría de Autómatas, Lenguajes Formales y Gramáticas
Teoría de Autómatas, Lenguajes Formales y Gramáticas D. Castro Esteban Departamento de Ciencias de la Computación Universidad de Alcalá Curso 2007/2008 Información sobre el profesor PROFESOR: David Castro
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 detallesTema 6: Compiladores e intérpretes. Teoría de autómatas y lenguajes formales I
Tema 6: Compiladores e intérpretes Teoría de autómatas y lenguajes formales I Bibliografía Sudkamp, T. A. Languages and machines: an introduction to the theory of computer science. Addison Wesley. 1997.
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 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 detallesANX-PR/CL/ GUÍA DE APRENDIZAJE. ASIGNATURA Traductores de lenguajes de programacion. CURSO ACADÉMICO - SEMESTRE Segundo semestre
ANX-PR/CL/001-01 GUÍA DE APRENDIZAJE ASIGNATURA Traductores de lenguajes de programacion CURSO ACADÉMICO - SEMESTRE 2016-17 - Segundo semestre GA_61CI_615000311_2S_2016-17 Datos Descriptivos Nombre de
Más detallesDescriptor. Objetivos (1) Objetivos (2)
Descriptor Máquinas secuenciales y autómatas finitos. Gramáticas y lenguajes formales. Construcción de intérpretes y compiladores. Créditos teóricos: 4,5. Créditos prácticos: 4,5. ALeF. Presentación de
Más detallesCompiladores: Introducción
Compiladores: Introducción Pontificia Universidad Javeriana Cali Ingeniería de Sistemas y Computación Prof. Gloria Inés Alvarez V. (galvarez@puj.edu.co) Basado en [Aho, 2007, chp. 1] Qué es un COMPILADOR?
Más detallesCompiladores: un enfoque. En este artículo se expone un enfoque sencillo sobre compiladores, con la definición de la
Compiladores: un enfoque Carlos Alberto Vanegas * Resumen En este artículo se expone un enfoque sencillo sobre compiladores, con la definición de la estructura de un compilador, donde se explican las fases
Más detallesSintaxis y Semántica. Un repaso
Sintaxis y Semántica Un repaso Definición: Alfabeto Un conjunto finito de símbolos: {a,b,c,d} {0,1,2,34,5,6,7,8,9} {identificador, número, +,-,*, /} {while, if, {, }, >, >=,
Más detallesCátedra Sintaxis y Semántica del Lenguaje
Cátedra Sintaxis y Semántica del Lenguaje 1 º CICLO DE CAPACITACION DOCENTE 1 Simplificación de Gramáticas Tipo 2 Forma Normal de Chomsky (FNC) Forma Normal de Greibach (FNG) 2 1 Jerarquía de Chomsky Gramáticas
Más detallesCÓMO DESARROLLAR Y PROBAR PROGRAMAS?, COMPRUÉBALO!
CÓMO DESARROLLAR Y PROBAR PROGRAMAS?, COMPRUÉBALO! AUTORÍA MARÍA CATALÁ CARBONERO TEMÁTICA PROGRAMACIÓN ETAPA CICLO MEDIO Y SUPERIOR DE INFORMÁTICA Resumen A la hora de realizar un programa en cualquier
Más detallesUNIVERSIDAD AUTONOMA DE BAJA CALIFORNIA
UNIVERSIDAD AUTONOMA DE BAJA CALIFORNIA COORDINACIÓN DE FORMACIÓN BÁSICA COORDINACIÓN DE FORMACIÓN PROFESINAL Y VINCULACIÓN UNIVERSITARIA PROGRAMA DE UNIDADES DE APRENDIZAJE POR COMPETENCIAS I. DATOS DE
Más detallesNombre de la asignatura: Lenguajes y Autómatas I. Créditos: Aportación al perfil
Nombre de la asignatura: Lenguajes y Autómatas I Créditos: 2 3 5 Aportación al perfil Desarrollar, implementar y administrar software de sistemas o de aplicación que cumpla con los estándares de calidad
Más detallesIntroducción TEORÍA DE LA COMPUTACIÓN INTRODUCCIÓN. Lógica
Introducción TEORÍA DE LA COMPUTACIÓN INTRODUCCIÓN Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx Página Web: www.matematicas.unam.mx/fhq
Más detallesGUÍA DOCENTE PROCESADORES DE LENGUAGE
Año académico 2015-16 GUÍA DOCENTE PROCESADORES DE LENGUAGE Profesorado: Jordi Planes Cid Maria Teresa Alsinet Bernadó Información general de la asignatura Denominación Carácter PROCESADORES DE LENGUAGE
Más detallesUNIVERSIDAD NACIONAL DE RÍO CUARTO FACULTAD DE CIENCIAS EXACTAS, FÍSICO-QUÍMICAS Y NATURALES DEPARTAMENTO DE COMPUTACIÓN
UNIVERSIDAD NACIONAL DE RÍO CUARTO FACULTAD DE CIENCIAS EXACTAS, FÍSICO-QUÍMICAS Y NATURALES DEPARTAMENTO DE COMPUTACIÓN CARRERA/S: Licenciatura en Ciencias de la Computación (Cód. 14) PLAN DE ESTUDIOS:
Más detallesUnidad 1 Introducción
Unidad 1 Introducción Contenido 1.1 La importancia de estudiar los autómatas y lenguajes formales 1.2 Símbolos, alfabetos y cadenas 1.3 Operaciones sobre cadenas 1.4 Definición de lenguaje y operaciones
Más detallesProcesadores de Lenguajes
Procesadores de Lenguajes Guía de Aprendizaje Información al estudiante 1. Datos Descriptivos Asignatura Materia Departamento responsable Procesadores de Lenguajes Programación LSIIS Créditos ECTS 3 Carácter
Más detalles