Autómata finito determinista
# Autómata finito determinista

Un autómata finito determinista (abreviado AFD) es un autómata finito que además es un sistema determinista; es decir, para cada estado en que se encuentre el autómata, y con cualquier símbolo del alfabeto leído, existe siempre no más de una transición posible desde ese estado y con ese símbolo.

## Definición formal

Formalmente, se define como una 5-tupla (Q, Σ, $q_0,$ δ, F) donde:

* $Q\,$ es un conjunto de estados;
* $\Sigma \,$ es un alfabeto;
* $q_{0}\in Q$ es el estado inicial;
* $\delta \colon Q\times \Sigma \to Q$ es una función de transición;
* $F\subseteq Q$ es un conjunto de estados finales o de aceptación.

En un AFD no pueden darse ninguno de estos dos casos:

* Que existan dos transiciones del tipo $δ(q,a)=q_1$ y $δ(q,a)=q_2,$ siendo $q_1$ ≠ $q_2;$
* Que existan transiciones del tipo δ(q, ε), donde ε es la cadena vacía, salvo que q sea un estado final, sin transiciones hacia otros estados.
