Automata Learning Lab
O Automata Learning Lab da Universidade Aberta (UAbALL), permite experimentar autómatos relacionados com linguagens formais, como autómatos finitos, autómatos pilha, máquinas de Turing, expressões regulares e gramáticas livres de contexto.