Software para la enseñanza de resolución de problemas de TALF y PL

En las asignaturas de Teoría de Autómatas y Lenguajes Formales y Procesadores del Lenguaje se realizan numerosos ejercicios a mano, pero no se cuenta con muchas herramientas, ya que son escasas y contienen limitaciones importantes, para ayudar a comprender los conceptos y cómo resolver los ejercicios que se plantean en las clases. Este motivo impulsó a crear una aplicación que ayudase en ese aspecto. La materia de Teoría de Autómatas y Lenguajes Formales introduce los pilares base que luego se ven en mayor profundidad en Procesadores del Lenguaje. En las clases se enseña a resolver los ejercicios y problemas sobre papel, y son necesarias herramientas que resuelvan estos problemas para ayudar a los alumnos a resolver y comparar resultados de grandes y tediosos problemas en los que son fáciles de comer errores. Con las que sí se cuenta para esta tarea, poseen demasiadas limitaciones en el cómputo y en la definición de los problemas. Posteriormente, en la asignatura de Procesadores del Lenguaje se requiere de conocimientos muy avanzados que exceden los obtenidos en Teoría de Autómatas y Lenguajes Formales. Este motivo impulsó a crear una aplicación que ayudase en ese aspecto y mejorase la preparación futura de los usuarios. El objetivo es crear una aplicación necesaria para realizar derivaciones de palabras o sentencias de lenguaje, a modo de aplicación a un análisis sintáctico elemental, ciñéndose a las gramáticas de tipo 2, vistas en Teoría de Autómatas y Lenguajes Formales, y además ser capaz de realizar las transformaciones necesarias para convertirlas en Forma Normal de Greibach y Forma Normal de Chomsky. Concretamente, el software a desarrollar trata de determinar la pertenencia de palabras para gramáticas en Forma Normal de Chomsky, en Forma Normal de Greibach o directamente mediante una derivación por Fuerza Bruta, así como obtener los árboles de derivación en caso de que sí perteneciese. Además, también realizará transformaciones de una gramática hasta dejarla en Forma Normal de Chomsky o en Forma Normal de Greibach.Ingeniería Informátic