https://www.addlink.es/noticias/mathematica/1496-proyecto-automata-librera-hbrida-mathematicac-para-manipulacin-de-mquinas-de-estados-finitos-y-sus-semigrupos-sintcticos