Los Circuitos Digitales secuenciales son máquinas de estados finitos que toman una entrada y un estado actual para generar una salida y un nuevo estado.
función de salida. función de transición.
Para guardar un estado previo, necesitan utilizar Biestables.