automata finito determinista para lenguaje binario