Uma máquina de estados finitos do tipo Moore, que detecta a sequência 010 sem sobreposição, isto é, para uma sequência de entrada !$ x= ( 1,0,0,1,0,1,0,0,1) !$, a sequência de saída é !$ y = (0,0,0,0,1,0,1,0,0) !$, pode ser implementada com: