Se você estiver estudando Teoria da Computação ou Linguagens Formais sabe que a parte mais difícil não é entender o conceito, mas sim conseguir experimentar. Construir um autômato, errar, ver onde a string foi rejeitada, tentar de novo.

Autômatos finitos são modelos matemáticos que descrevem como uma máquina lê uma sequência de caracteres e decide se ela é válida ou não. Estão na base de compiladores, expressões regulares e protocolos de comunicação.

Construí o [Automatos Engine](https://automatos.cloud) pensando exatamente nessa situação.

## O que você consegue fazer

- Construir e testar AFD, AFND e AFND-ε visualmente
- Minimizar um AFD pelo algoritmo de Myhill-Nerode
- Converter uma expressão regular em AFD
- Validar se uma palavra é aceita pelo autômato
- Verificar o passo a passo da validação de uma palavra

É gratuito e não precisa de cadastro.
Se você estiver estudando o assunto agora e quiser testar, conta como foi a experiência e suas sugestões.

Acesse em: https://automatos.cloud

Bem vindo ao tabnews, man

Eu sou só mais um tabnewer e espero que voce contribua mais.

Pitch: Criei uma ferramenta gratuita para estudar Autômatos Finitos

Se você estiver estudando Teoria da Computação ou Linguagens Formais sabe que a parte mais difícil não é entender o conceito, mas sim conseguir experimentar. Construir um autômato, errar,...