AutomataLab
Arquivo
Novo autômato finito
Nova máquina de Moore
Nova máquina de Turing
Novo autômato com pilha
Abrir .jff…
Mesclar .jff…
Salvar .jff
Salvar imagem SVG
Salvar imagem PNG
Imprimir…
Exemplo: AF que termina em 01
Exemplo: MT para aⁿbⁿ
Exemplo: MT para aⁿbⁿcⁿ
Exemplo: MT somador unário
Exemplo: PDA para aⁿbⁿ
Entrada
Execução rápida…
Passo a passo com fecho…
Passo a passo por estado…
Várias entradas…
Testar
Comparar equivalência com .jff…
Destacar transições λ
Destacar não-determinismo
Limpar destaques
Converter
Converter para DFA
Minimizar DFA
Converter para expressão regular
Converter para gramática regular
Autômato a partir de expressão regular…
Autômato a partir de gramática…
Remover estados inalcançáveis
Remover estados inúteis
Adicionar estado de erro
Exibir
Enquadrar
Reposicionar automaticamente
Fita: alternar Menezes (Δ) / JFLAP
Pilha: alternar aceitação (final / vazia)
Ajuda
Documentação…
Roadmap…
Informações / Sobre…
Selecionar
Estado
Transição
Apagar
↶
↷
automato.jff
Carregando…
Valor
Cancelar
OK
Texto
Cancelar
OK
Uma cadeia por linha
Fechar
Executar