De forma generalizada, circuitos sequenciais utilizam três variáveis no tempo: a entrada, o estado e a saída. Desta forma, ao contrário dos sistemas combinacionais, quando comparamos dois circuitos sequenciais os mesmos são equivalentes, se, somente, estes possuírem rigorosamente os mesmos estados. Assim sendo, a saída ao longo do tempo pode diferir, um do outro, contanto que a transição entre estados entre estes se mantenha a mesma.