Employing finite-state machines in data integrity problems Andrey Malikov, Vladimir Voronkin and Nikolay Shiryaev MATEC Web Conf., 76 (2016) 04017 Published online: 21 October 2016 DOI: 10.1051/matecconf/20167604017