Конечный автомат может использоваться для определения факта вхождения заданных последовательностей значений в последовательность двоичных значений