En los dos estados de s1s2 y bajo las mismas condiciones de entrada, cómo determinar la equivalencia de s1s2

En los dos estados de s1s2, bajo las mismas condiciones de entrada, determine la equivalencia de s1s2: strcmp (s1, s2) devuelve 0 cuando son iguales. En lenguaje C, 0 representa falso.

En las siguientes declaraciones condicionales (donde S1 y S2 representan declaraciones en lenguaje C), solo (D) no es funcionalmente equivalente a las otras tres declaraciones.

A si (a) S1: elseS2

B si (a==0) S2: elseS1

C. ) S1: elseS2

D, if (a==0) S1: elseS2

Información básica

La máquina de estados consta de un registro de estado y un registro combinacional. Circuito lógico. Puede realizar la transición de estado de acuerdo con el estado preestablecido de acuerdo con la señal de control. Es un centro de control que coordina las acciones de señal relacionadas y completa operaciones específicas. Las máquinas de estados se dividen en máquinas de estados de tipo Moore y máquinas de estados de tipo Mealy.

Una máquina de estados es un diagrama de transición de estados. Para dar el ejemplo más simple, una persona tiene tres estados: sana, fría y en recuperación. Las condiciones desencadenantes incluyen mojarse bajo la lluvia (t1), tomar medicamentos (t2), recibir una inyección (t3) y descansar (t4).