Executando verificação de segurança...
1

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.

Carregando publicação patrocinada...
2

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.