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 $M=(Q,\Sigma ,\delta ,q_0,F)$, onde:

• $Q$: conjunto finito de estados;
• $\Sigma$: alfabeto de entrada;
• $\delta$: função de transição ($\delta :Q\times \Sigma \to Q$);
• $q_0$: estado inicial;
• $F$: conjunto de estados finais.

Referências

---

Aula - Minimização de AFD