TALFi 2.0

Abstract

TALFi nació en el curso académico 2008-2009 como una aplicación de apoyo y consulta sobre teoría de autómatas y lenguajes formales. Su primera versión contenía funcionalidad acerca de autómatas finitos (deterministas, no deterministas y con transiciones vacías), y expresiones regulares, así como su equivalencia, simplifcación y demás aspectos relacionados. Para TALFi 2.0 se han creado muchas más características adicionales, así como la mejora de ciertos aspectos de la primera versión, que no resultaban del todo intuitivos para el usuario y claros en la comprensión. Como nueva funcionalidad podemos encontrar el tratamiento de autómatas de pila, máquinas de Con esta nueva ampliación, TALFi se convierte en una herramienta de gran expresividad dentro del entorno de los autómatas y la generación de lenguajes, a la altura de otras tecnologías ya conocidas como JFLAP, etc. [ABSTRACT] TALFi was created in the academic course of 2008-2009 as a student support program for automaton theories and formal lenguages. Its rst version contained united-state automaton (deterministic, non-deterministic and generalized nondeterministic inite automaton) and regular expressions, so as their equivalence, simplicated and more related aspects. For TALFi 2.0 has been created a lot more of addicional options, as the improvement of some parts of the rst version, which was not completely intuitive for the user and clear in its comprehension. With this new ampliation, TALFi turns into a great tool into the automaton world and the language generations, in the same leves as JFLAP, etc.