Lenguaje aceptado por un DFA

Sea un DFA, M ? (?, Q, q0, F, ?)

L(M)={w ??*| ?(q0, w)? F }

El lenguaje aceptado por este DFA es el de los números pares representados con el alfabeto binario:

(0|1)*0

1*0(0|11*0)*

Los DFA reconocen lenguajes regulares