Una máquina de estados finitos puede implementarse con un registro temporal que almacene el estado actual y un bloque de lógica combinatoria encargado de determinar tanto las señales que van al camino de datos como el siguiente estado.