- Simulador de Autômatos - Software para criação, teste e conversão de Modelos Formais. Com interface gráfica.
- SCTMF - Software para Criação e Teste de Modelos Formais.
- JFlap - Software americano para testes com interface gráfica.
Automatos finitos não deterministico e Automatos finitos deterministico
Rdfrfn