A ferramenta de simulação, visualização e transformar autômatos de estados finitos e máquinas de Turing. Cria, simula e transforma DFA e NFA máquinas Cria e simula TM Ensaios de lotes para TM: características úteis para testar um monte de arquivos...