Projeto de Máquinas de Estados e Contadores Síncronos