A circuito combinacional síncrono.
B máquina de estados finita que depende das entradas.
C máquina de estados finita que depende das entradas e uma tabela-verdade que define a saída em função do estado.
D atribuição das entradas em uma representação de estado.
E tabela-verdade que define a saída em função das entradas.