TY - GEN AU - Barrigüete Ibáñez , Rocío AU - Huete Jiménez, Mario José AU - San Juan Germán, Luis A4 - Encina Vara, Alberto de la PY - 2010 UR - https://hdl.handle.net/20.500.14352/46037 AB - 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... LA - spa KW - Autómata KW - Turing KW - Pila KW - Chomsky KW - Greibach KW - Cinta KW - simplificación KW - LATEX KW - Pila vacía KW - Determinista TI - TALFi 2.0 TY - coursework ER -