Teoria de automatas
Páginas: 39 (9523 palabras)
Publicado: 21 de marzo de 2010
TALFi
Una herramienta de aprendizaje para Teoría de Autómatas y Lenguajes Formales
PROYECTO DE SISTEMAS INFORMÁTICOS
Autores: Miguel Ballesteros Martínez José Antonio Blanes García Samer Nabhan Rodrigo
Director: Alberto de la Encina Vara
Facultad de Informática. Universidad Complutense de Madrid. Curso 2008-2009 Junio 2009
INDICE
1. Resumen...................................................................................................................... 1 1.1 TALFi (Versión en castellano) ............................................................................ 1 1.2 TALFi (English version) ...................................................................................... 1 2. Objetivos...................................................................................................................... 3 3. Información ................................................................................................................. 5 3.1 Antecedentes ......................................................................................................... 5 3.2 Introducción teórica a la aplicación.................................................................... 5 3.3 Viabilidad .............................................................................................................. 8 3.4 Ejercicios posibles ................................................................................................. 8 3.4.1 Ejercicios automáticos ................................................................................... 8 3.4.2 Ejercicios noautomáticos ........................................................................... 33 3.5 Requisitos tecnológicos ....................................................................................... 33 3.6 Entorno de desarrollo......................................................................................... 33 3.7 Bibliotecas usadas............................................................................................... 33 3.8 Arquitectura de la aplicación ............................................................................ 34 3.9 Pruebas del Sistema ............................................................................................ 34 3.10 Implementación y cierre del proyecto ............................................................ 34 3.11Posible trabajo futuro ...................................................................................... 35 4. Descripción de la aplicación .................................................................................... 39 4.1. Patrones de diseño ............................................................................................. 39 4.2 Visión teórica de la Aplicación.......................................................................... 40 4.3. Diagramas UML ................................................................................................ 45 4.5 Suposiciones y dependencias ............................................................................. 53 4.6 Bases de datos..................................................................................................... 54 4.6.1 Base de datos de usuarios............................................................................ 54 4.6.2 Base de datos de ejemplos y ejercicios ....................................................... 55 5. Manual de usuario .................................................................................................... 57 5.1 Perfiles de usuario.............................................................................................. 57 5.2 Ejecución de algoritmos ..................................................................................... 57 5.3 Sistema de proposición y evaluación de ejercicios ........................................... 61 5.4 Cambiar propiedades de los estados y aristas.....................................................
Una herramienta de aprendizaje para Teoría de Autómatas y Lenguajes Formales
PROYECTO DE SISTEMAS INFORMÁTICOS
Autores: Miguel Ballesteros Martínez José Antonio Blanes García Samer Nabhan Rodrigo
Director: Alberto de la Encina Vara
Facultad de Informática. Universidad Complutense de Madrid. Curso 2008-2009 Junio 2009
INDICE
1. Resumen...................................................................................................................... 1 1.1 TALFi (Versión en castellano) ............................................................................ 1 1.2 TALFi (English version) ...................................................................................... 1 2. Objetivos...................................................................................................................... 3 3. Información ................................................................................................................. 5 3.1 Antecedentes ......................................................................................................... 5 3.2 Introducción teórica a la aplicación.................................................................... 5 3.3 Viabilidad .............................................................................................................. 8 3.4 Ejercicios posibles ................................................................................................. 8 3.4.1 Ejercicios automáticos ................................................................................... 8 3.4.2 Ejercicios noautomáticos ........................................................................... 33 3.5 Requisitos tecnológicos ....................................................................................... 33 3.6 Entorno de desarrollo......................................................................................... 33 3.7 Bibliotecas usadas............................................................................................... 33 3.8 Arquitectura de la aplicación ............................................................................ 34 3.9 Pruebas del Sistema ............................................................................................ 34 3.10 Implementación y cierre del proyecto ............................................................ 34 3.11Posible trabajo futuro ...................................................................................... 35 4. Descripción de la aplicación .................................................................................... 39 4.1. Patrones de diseño ............................................................................................. 39 4.2 Visión teórica de la Aplicación.......................................................................... 40 4.3. Diagramas UML ................................................................................................ 45 4.5 Suposiciones y dependencias ............................................................................. 53 4.6 Bases de datos..................................................................................................... 54 4.6.1 Base de datos de usuarios............................................................................ 54 4.6.2 Base de datos de ejemplos y ejercicios ....................................................... 55 5. Manual de usuario .................................................................................................... 57 5.1 Perfiles de usuario.............................................................................................. 57 5.2 Ejecución de algoritmos ..................................................................................... 57 5.3 Sistema de proposición y evaluación de ejercicios ........................................... 61 5.4 Cambiar propiedades de los estados y aristas.....................................................
Leer documento completo
Regístrate para leer el documento completo.