Lenguaje SELFA

Teoría de la Computación I
Trabajo Práctico – Lenguaje SELFA
El objetivo de SELFA es facilitar la enseñanza y el aprendizaje de la asignatura Teoría de Autómatas y Lenguajes Formales. Esta herramienta mejora a la anterior tanto en los contenidos que abarca como en usabilidad, reducción del tiempo de aprendizaje de uso y corrección de algunas carencias.
SELFA es una herramienta con la que sepuede trabajar desde cualquier ordenador conectado a internet por medio de un navegador web, sin necesidad de instalación. Además, permite registrar quién la usa y como lo hace. Dentro de SELFA, o partiendo de este lenguaje encontramos SELFA-Pro. La principal funcionalidad de la nueva herramienta sigue siendo la misma que en la anterior versión: aceptar ejercicios y calcular las soluciones a losmismos, mostrándolas de una forma clara y sencilla de manera que se permita comprender cómo se han alcanzado. Además, esta nueva herramienta mejora la usabilidad, el tiempo de aprendizaje de uso y lo que es más importante, amplía la cantidad de conceptos de la materia abarcados, de entidades, operaciones y transformaciones que se pueden realizar.
Nuevos aspectos tratados por SELFA-ProIntroducción a los lenguajes y gramáticas.
Lenguajes y gramáticas regulares (expresiones regulares y autómatas finitos)
Lenguajes y gramáticas libres de contexto (autómatas con pila)
Máquinas de Turing
Aunque la herramienta SELFA ofrecía soluciones para algunos aspectos de los bloques anteriores, no contempla otros, como son las expresiones regulares, los autómatas a pila y algunas operaciones entre losotros tipos de entidades ya existentes (autómatas finitos y gramáticas). Es por esto por lo que se han ampliado las funcionalidades de SELFA con otras nuevas con las que cubrir aspectos del temario de la asignatura.
Esto condujo a la necesidad de permitir definir nuevas entidades con las que operar: expresiones regulares y autómatas a pila. A continuación vemos las diferencias que existen entreSELFA y SELFA-Pro






SELFA: se pueden ver las entidades y las operaciones que soportaba SELFA.

SELFA-Pro: Listado de entidades y operaciones añadidas por SELFA-Pro

Botones de definición de entidades y especificación de operaciones

Los nuevos cambios y características que ofre SELFA-Pro
Disponibilidad temporal
Disponibilidad geográfica
La usabilidad ha sido mejorada ya que sehan añadido botones de herramientas que ayudan a la definición de entidades y a la inserción de ejercicios a modo de plantillas. Por ejemplo, si se elige la pestaña “autómatas”, se ofrece un menú en el que se puede escoger la operación a realizar con autómatas, generándose la estructura de la instrucción. También se han renombrado las operaciones y se han reestructurado algunas secciones.Facilita la entrada de ejercicios, añadiendo la posibilidad de utilizar resultados intermedios y poder realizar operaciones sobre ellos. El uso de resultados intermedios para aplicarlos en otras operaciones, cobra una mayor importancia ya que en la anterior herramienta solamente se podía obtener entidades del mismo tipo a la que se aplicaban operaciones. Por ejemplo, si se hacía una operación sobregramáticas, el resultado (si lo tuviera) sería una gramática, pero ahora puede que el resultado sea de una entidad distinta a la de entrada, como el caso de obtener el autómata finito que reconoce el lenguaje dado por medio de una expresión regular.
La interfaz multilenguaje: Esto es, se ha dotado a la herramienta de una interfaz fácilmente modificable para hacer que la herramienta pueda trabajar enotros idiomas y se ha particularizado con el caso del inglés, estando la herramienta disponible tanto en castellano como en inglés, lo que hace que su nivel de posible utilización tenga un ámbito de carácter internacional en lugar de estar restringida a usuarios hispanoparlantes.
Gráfica: Existen nuevas operaciones que permiten obtener resultados que reflejan el proceso del algoritmo paso a...