Ao desenvolver sistemas digitais, muitas são as opções possíveis. A cada decisão um conjunto de possibilidades se apresenta ao desenvolvedor e é relevante conhecer e compreender as consequências de cada caminho possível para ser capaz de identificar e ponderar sobre as decisões.

Em se tratando de projetos de sistemas digitais que utilizam máquinas de estados finitos em seu circuito podemos afirmar que:
I. O circuito responsável pela decisão de estados pode ser separado do circuito de transição de estados
II. Máquinas de estado do tipo Mealy são completamente síncronas com relação ao relógio do sistema
III. Em relação a máquinas de estado tipo Moore, ainda que tenhamos o circuito de saída combinacional o circuito final é completamente síncrono.
IV. A representação dos estados, encoding, possui relação com a complexidade do circuito digital final construído pela ferramenta de síntese.

Escolha uma:
a. Apenas as afirmativas III e IV estão corretas.
b. Apenas as afirmativas I e II estão corretas.
c. Apenas as afirmativas II e IV estão corretas.
d. Apenas as afirmativas I, III e IV estão corretas. Correto
e. Apenas as afirmativas I e IV estão corretas.