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