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.
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.
Aplicativo online que permite desenhar autômatos, consegue exportar a figura em tickz, pronto para ser usado em LaTeX.