Permite a visualização do processamento de um autômato. Escrito em java, deve rodar em qualquer sistema.

   Este é um poderoso sistema de computação algébrica. Disponível para instalação direta no Ubuntu, entre outros. O pacote Automata implementa várias funções sobre autômatos finitos. O código fonte está disponível.

    Pacote para produzir desenhos, digramas e gráficos em LaTeX, altamente flexível. Vem com uma biblioteca especial de comandos para desenho de autômatos.

   Aplicativo online que permite desenhar autômatos, consegue exportar a figura em tickz, pronto para ser usado em LaTeX.