Determinar um diagrama ou uma tabela de estados de uma máquina se- quencial śıncrona que recebe d́ıgitos BCD a começar pelo bit menos significat...

Para resolver esse problema, podemos seguir os seguintes passos: 1. Definir as entradas e saídas da máquina: - Entrada: dígito BCD (4 bits) - Saída: 1 se o dígito for múltiplo de 4, 0 caso contrário 2. Identificar os estados da máquina: - Como a máquina precisa verificar se o dígito é múltiplo de 4, precisamos armazenar o valor do dígito em um registrador e verificar se ele é divisível por 4. Portanto, a máquina terá apenas um estado, que chamaremos de "verificar". 3. Desenhar o diagrama de estados: - O estado "verificar" terá uma transição de volta para ele mesmo se o dígito não for múltiplo de 4, e uma transição para o estado "saída 1" se o dígito for múltiplo de 4. O estado "saída 1" terá uma transição de volta para o estado "verificar". Diagrama de estados: (verificar) --(dígito não é múltiplo de 4)--> (verificar) (verificar) --(dígito é múltiplo de 4)--> (saída 1) (saída 1) --(qualquer transição)--> (verificar) 4. Desenhar a tabela de estados: - A tabela de estados é uma forma alternativa de representar o diagrama de estados. Para cada estado, listamos as entradas e as saídas correspondentes, bem como o próximo estado para cada combinação de entrada e estado atual. Tabela de estados: | Estado | Entrada | Saída | Próximo estado | |-----------|---------|-------|----------------| | verificar | 0000 | 0 | verificar | | verificar | 0001 | 0 | verificar | | verificar | 0010 | 0 | verificar | | verificar | 0011 | 1 | saída 1 | | verificar | 0100 | 0 | verificar | | verificar | 0101 | 0 | verificar | | verificar | 0110 | 0 | verificar | | verificar | 0111 | 1 | saída 1 | | verificar | 1000 | 0 | verificar | | verificar | 1001 | 0 | verificar | | verificar | 1010 | 0 | verificar | | verificar | 1011 | 1 | saída 1 | | verificar | 1100 | 0 | verificar | | verificar | 1101 | 0 | verificar | | verificar | 1110 | 0 | verificar | | verificar | 1111 | 1 | saída 1 |