Avviso JFLAP
Seguendo questo link: http://www.cs.duke.edu/csed/jflap/log/form.php è possibile scaricare l'applicazione che vi consente di costruire e verificare vari tipi di macchine a stati finiti: DFA, automi a pila, macchine di Turing.