En el diagrama de estado que hay en la solucion, en el estado e4 cuando la entrada es 0, no deberia pasar a e0 en vez de dar error?
Si entendi bien el diagrama como lo hicieron, el estado Ei vendria a ser el i-esimo bit de 01011, entonces una vez que le llego el ultimo 1, si la entrada es 0 deberia empezar de nuevo.