SoloCodigo

no se que son AFDs pero supongo que el procedimiento burdamente seria:
declara un array de chars muuuuuy largo
cin o scanf
recorre el array de uno en uno
si el char es  '0' contadorCeros++
si es '1' contadorUnos++

no se supongo que te referis a eso.

no critiquen el algoritmo es solo un bosquejo para que lo resuelva

Lo que dice bob esponja funciona pero no sería un AFD.

   Los automátas finitos deterministas estan formados por un conjunto de estados, un conjunto de entradas posibles. del conjunto de estados uno debe ser inicial, y al menos uno debe ser un estado final o de aceptación.

     El automáta iniciaría en el estado 0 (estado inicial). Haces lo que dijo bob esponja hasta la parte en que recorre el array. Y ahí depende de si el char es '0' o '1' irá a determinado estado. Por ejemplo, si el estado es 0 y el autómata lee un '0' irá al estado 1 y si en el estado 1 el autómata lee otro 0 irá al estado 2. En ese momento el autómata ha leido un número par de 0's y por lo tanto ese estado será de aceptación. Si en el estado 2 el autómata encuentra que hay otro caracter (ó más) y es '0' regresará al estado 1. Si la cadena termina en un estado de aceptación el autómata enviará un mensaje diciendo que la cadena es correcta, si la cadena termina en un estado que no es de aceptación o recibe un caracter distinto al lenguaje (0's y 1's) enviará un mensaje de error.

     El estado es una variable entera y las transiciones las implementas(pasar a código) con una estructura switch. esto es para que acepte los 0's, ya para que acepte los 1's tienes que agregarles más estados y transiciones. Es un poco laborioso por eso no lo tengos ahora.

 ( y además es política del sitio no pasar códigos completos )

P.D.:

no critiquen el algoritmo es solo un bosquejo para que lo resuelva 

    No lo critico, nomás le añado un poquito.

no sabia el significado de AFD  

si asi es de otra forma.