RT info:eu-repo/semantics/bachelorThesis T1 Herramienta para la corrección automática de autómatas finitos A1 García Campos, Iván YR 2017 FD 2017 LK http://riull.ull.es/xmlui/handle/915/5846 UL http://riull.ull.es/xmlui/handle/915/5846 LA es DS Repositorio institucional de la Universidad de La Laguna RD 25-abr-2024