Maximum-likelihood binary shift-register synthesis from noisy observations