Question

Uma máquina de estados finitos é um sistema algébrico usado para modelar programas de computador ou circuitos lógicos. Em tese, todos os circuitos síncronos, incluindo os registradores e contadores movidos por um clock, podem ser representados por máquinas de estados finitos.

Sobre os modelos de máquinas de estado finito, avalie as afirmações a seguir:
I. Existem dois modelos tradicionais para a implementação de máquinas de estados, são eles: as máquinas Moore e as máquinas Mealy, embora a implementação desses dois modelos sejam diferentes entre si, o comportamento das duas máquinas modelando um mesmo sistema é idêntico.
II. Nas máquinas Moore a saída depende da entrada e do estado atual. De modo que o uso de uma máquina Moore geralmente leva a uma redução no número de estados.
III. Nas máquinas Mealy a saída depende somente da entrada, o que costuma simplificar o comportamento da máquina.
É correto o que se afirma em:

a. I e III, apenas.
b. I, II e III.
c. I, apenas.
d. I e II, apenas.
e. II e III, apenas.

Answer 1

Somente a I
I. Existem dois modelos tradicionais para a implementação de máquinas de estados, são eles: as máquinas Moore e as máquinas Mealy, embora a implementação desses dois modelos sejam diferentes entre si, o comportamento das duas máquinas modelando um mesmo sistema é idêntico.

Answer 2

Resposta:

I, apenas. Correto

Explicação: