Archivos de @KnowledgeHunter en #LENGUAJES FORMALES, AUTOMATAS Y COMPUTABILIDAD