Parabéns pela iniciativa e por trazer o assunto à tona, que é pouco explorado e importante para o estudo formal de computação. Espero que a comunidade utilize. Eu gosto muito do Wolfram Mathematica,o framework dele pra estudar autômatos é incrível, embora seja software pago muitas universidades custeiam para os alunos. Recomendo dar uma olhada se puder.
Olá! Primeiramente, obrigado. Eu não sabia que no Mathematica havia esse tipo de funcionalidade. Na verdade, eu usei o Mathemática muito pouce há muitos (muitos mesmo) anos. Infelizmente a realidade de onde eu trabalho não permite normalmente ter esse tipo de software, a não ser que seja muito necessário e justificável no curso. Sempre preferimos lidar com softwares gratuitos. Dei uma pesquisada parece que há bastante coisa sobre autômatos celulares. De teoria de linguagens mesmo eu achei isso aqui https://resources.wolframcloud.com/PacletRepository/resources/KlausSutner/Automata/. Muitas das operações descritas ali eu pretendo implementar. A ideia é servir de ferramenta para a minha disciplina mesmo, pq no final das contas esses projetos acabam servindo mais aos autores do que outras pessoas.