Introducción ¿Qué es TALFi? Aplicación sobre autómatas.

Slides:



Advertisements
Presentaciones similares
Laboratorio de Fonética Universidad de Deusto (2001)
Advertisements

Compiladores y sus aplicaciones
Introducción ¿Qué es un Algoritmo?
Universidad de Buenos Aires Facultad de Ingeniería Trabajo Profesional Docente Jorge Salvador Iercahe Alumnos Milton Berman Fernando Torres Leonardo.
© Zenón J. Hernández Figueroa Metodología de la Programación IProgramación Presentación (curso 2009/2010)
Tomado de Sudkamp: Languages and Machines Cap. 7.
El Mundito un modelo de vida artificial
Ingeniería en Sistemas computacionales Fundamentos de programación
Pulsa cualquier tecla para continuar
STRUTS, IBATIS Y AJAX PARA LA GESTIÓN INTEGRAL DE UN TALLER MECÁNICO
Tecnologías para e-learning (III)
2º curso Ingeniería Técnica en Informática de Sistemas UNED
Con fines prácticos se puede clasificar al software en tres tipos: Software de sistema Software de programación Software de aplicación.
”SISTEMA PARA EL ANÁLISIS DE SEÑALES DE VOZ APLICANDO EL ALGORITMO DE LA TRANSFORMADA RÁPIDA DE FOURIER (FFT POR SUS SIGLAS EN INGLÉS)” Materia: Programación.
Índice Definición del proyecto Descripción de la aplicación Metodología/herramientas empleadas Requerimientos formales Planificación Definición de actores.
I.E.S. ALBAYZÍN Granada CURSO ALUMNOS DESTACADOS
Trabajo fin de carrera UOC José María González Vázquez Enero 2011.
DEPARTAMENTO DE INGENIERÍA INFORMÁTICA
2º curso Ingeniería Técnica en Informática de Sistemas UNED
2º curso Ingeniería Técnica en Informática de Sistemas UNED
(c) P. Gomez-Gil, INAOE DISEÑO DE COMPONENTES DE SOFTWARE * NOTAS DEL CURSO Ingeniería de Software I DRA. MARIA DEL PILAR GÓMEZ GIL INAOEP.
Experiencia Docente en las Nuevas Titulaciones Miguel Ángel Naya Villaverde Escuela Politécnica Superior XIII Reunión Nacional de Profesores de Ingeniería.
ACIDE A C onfigurable I ntegrated D evelopment E nvironment (Un entorno integrado de desarrollo configurable)
Análisis experimental de la carga de trabajo requerida para completar una asignatura universitaria de cara a la transición hacia el Espacio Europeo de.
Mario Bross Sistema operativo
Los software educativos en la potenciación de los aprendizajes Sircy Cumniao Pezo Psicopedagoga.
Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED.
1 JENUI 2006 JENUI 2006 XII Jornadas de Enseñanza Universitaria de la Informática Universidad e Informática en los Ciclos Formativos de Grado Superior.
28/04/ DIIS – Pedro Álvarez y José Manuel Colom presentaciónCurso.ppt Última revisión: Febrero Lenguajes, Gramáticas y Autómatas 2º Ing. Informática.
SPA S ISTEMA DE P LANIFICACIÓN A CADÉMICA Erika Lara – Daniel Plúa FACULTAD DE INGENIERÍA EN ELECTRICIDAD Y COMPUTACIÓN Y COMPUTACIÓN TESIS DE GRADO 2006.
DIRECCIÓN DE CAPACITACIÓN EQUIPO TÉCNICO REGIONAL ÁREA TIC EL AULA DIGITAL.
FUNDAMENTOS DE PROGRAMACION
Teorema de Nerode. Minimización de AFDs
Introducción a la tecnología Realizado por: Miguel Ángel Arias.
escuela técnica superior
Implementación de un Módulo de Gestión de Contenidos SCORM en la Plataforma AulaWeb Daniel J. Muñoz, Ángel García-Beltrán, Raquel Martínez y Juan M. Muñoz-Guijosa.
El avance de las NTIC supone cambios en la vida personal y social de los ciudadanos. Las Universidades, no deben ni pueden ignorar en su currículum troncal.
Programación Java y Desarrollo de Aplicaciones
Teoría de Autómatas y Lenguajes Formales Informática Técnica de Gestión ESCUELA SUPERIOR DE INFORMATICA Universidad de Castilla-La Mancha Tema 1. Introducción.
CEFIC - Manual Plataforma Educativa Myschool - DPD Nivel Secundario Lotártaro Carolina1 Plataforma Educativa Myschool.
TEMA No. 8
MATERIA: APLICACIONES INFORMATICAS.
Teleinformática en la educación II
PROGRAMAS INFORMATICOS
SOFTWARE Jennifer Giselle De Diego Romero NL:9
LENGUAJES DE PROGRAMACIÓN 8.1 BREVE HISTORIA. Traducción-Ejecución Bajo nivel o 1º Nivel Se dice que el código binario es de "bajo nivel" o "primer nivel"
Software.
Tornero Técnico en Mecanizado Mi formación, mi futuro.
Introducción a UML Ing. José Manuel Poveda.
DOCENTE: DAISY KATERINE RODRÍGUEZ DURÁN
INTRODUCCIÓN A LA INFORMÁTICA BÁSICA
JOSE LUIS JAEN AGUILAR HERRAMIENTAS DE INTERCCIÓN EN ENTORNOS VIRTUALES.
Software.
Titular: Ing. Miguel Ángel Espericueta Alumnos:
CARACTERISTICAS Y FUNCIONES
Simulación de un AFD Conversión de un AFND a un AFD.
Gestión de proyectos fin de carrera
Banco de Quices ~ Java Presentado por Diego SALGADO.
Software.
Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED.
Proceso de desarrollo de Software
Aplicación Web para la corrección de Prácticas
Marco de Trabajo para Indexación, Clasificación y Recopilación Automática de Documentos Digitales Javier Caicedo Espinoza Gonzalo Parra Chico.
Los tres distintos tipos de software
La espiral de conocimiento Se pretende que este trabajo sea la puerta de entrada para nuevos grupos, de tal forma que lo puedan ir mejorando y ampliando.
Entorno de Trabajo e Introducción a Java Fundamentos de Programación Departamento de Lenguajes y Sistemas Informáticos Versión Práctica 1.
Juan Camilo Morales 10a.  Es el conjunto de herramientas que permiten al programador escribir programas informáticos, usando diferentes alternativas.
UNIVERSIDAD GALILEO INFORMÁTICA APLICADA PRIMER TRIMESTRE CASO # 2 MARÍA FERNANDA MOLINA PÉREZ IDE SEMANA 6.
UNIDAD 3. Autómatas Finitos 3.3 Conversión de un AFND a AFD Presentan: Anahi Avila Valdez Erika F. Palma Tzidejhe Docente: Adrián Chávez 1.
Los patrones matemáticos en la música y el ritmo de la poesía
Transcripción de la presentación:

TALFi Proyecto de Sistemas Informáticos Curso 2008-2009 Miguel Ballesteros Martínez José Antonio Blanes García Samer Nabhan Rodrigo Dirigido por: Alberto de la Encina Vara

Introducción ¿Qué es TALFi? Aplicación sobre autómatas. Centrado en autómatas finitos. Objetivo docente. TALFi

Introducción Antecedentes. Herramientas de desarrollo. JFLAP. Herramientas de desarrollo. JAVA. Eclipse. Sin librerías adicionales. TALFi

Objetivos. Principal: docente. Algoritmos por pasos. Ejercicios que se corrigen automáticamente. Base de datos de alumnos. Control por parte del profesor. Aplicación traducible a idiomas. TALFi

Objetivos Modularidad: lógica + interfaz. Patrón Modelo-Vista-Controlador Lógica. Interfaces independientes: Consola. Gráfica. TALFi

Objetivos. Algoritmos: Cerramos el ciclo. ER AFD mínimo AFND AFD TALFi

Algoritmos e interfaz 1. Algoritmo de ER a AFND-λ. 2. Algoritmo de AFND-λ a AFND. 3. Algoritmo de AFND a AFD. 4. Minimización de AFD. 5. Algoritmo de AFD-ER 6. Equivalencia de autómatas. TALFi

Aplicación docente Base de datos: Ejercicios. Administrador. Usuarios. Creación. Corrección. TALFi

Trabajo futuro. Aplicación sobre autómatas finitos. Mejoras: Forma Normal de Chomsky. Autómatas de pila. Máquinas de Turing. TALFi

Conclusión. Objetivos cumplidos. Herramienta útil para alumnos y profesores. Aplicación de conocimientos aprendidos. Primer gran proyecto. TALFi