Autmata finito determinista

Autmata finito determinista que reconoce el lenguaje regular conformado exclusivamente

por las cadenas con un nmero par de ceros y un nmero par de unos.

Ejemplo de AFD con dos estados. En nodo de la izquierda es inicial y de aceptacin.

Un autmata finito determinista (abreviado AFD) es un autmata finito que adems es un
sistema determinista; es decir, para cada estado en que se encuentre el autmata, y con
cualquier smbolo del alfabeto ledo, existe siempre a lo ms una transicin posible desde
ese estado y con ese smbolo.

Definicin formal
Formalmente, se define como una 5-tupla (Q, , q0, , F) donde:1

es un conjunto de estados;
es un alfabeto;
es el estado inicial;
es una funcin de transicin;
es un conjunto de estados finales o de aceptacin.

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

Que existan dos transiciones del tipo (q,a)=q1 y (q,a)=q2, siendo q1 q2;
Que existan transiciones del tipo (q, ), donde es la cadena vaca, salvo que q sea
un estado final, sin transiciones hacia otros estados.