En este capítulo vamos a estudiar los sistemas secuenciales y, más concretamente, las máquinas de estado finitas, que son el formalismo en el que se fundamenta su diseño.
