Este documento trata sobre circuitos secuenciales y máquinas de estados finitos. Los circuitos secuenciales son aquellos cuyas salidas en un momento dependen de las entradas actuales y pasadas, permitiéndoles memorizar información. Las máquinas de estados finitos son un modelo abstracto que permite determinar si una cadena pertenece a un lenguaje o generar nuevos símbolos, y se representan comúnmente mediante diagramas de transición.