[1]  JFLAP

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

[2]  GAP

   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.