Autômato Finito Determinístico - AFD §

---

Um autômato finito determinístico (AFD) é uma estrutura formal usada para reconhecer linguagens regulares.

Ele é definido por uma 5-tupla , onde:

• : conjunto finito de estados;
• : alfabeto de entrada;
• : função de transição ();
• : estado inicial;
• : conjunto de estados finais.

Referências §

---

Aula - Minimização de AFD