La "ecuación del próximo estado" es una expresión algebraica que relaciona las entradas con el estado actual para conocer el estado final.