Finite State Binary Scan