title: Autómata finito determinista
text: # 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.
  