ESTADO de una VARIABLE y de un PROGRAMA

El ESTADO de una VARIABLE es su VALOR en un momento de la ejecución del programa.
Y el ESTADO del PROGRAMA es el conjunto de los estados de sus VARIABLES, también en un momento determinado.
La TRAZA sigue el estado de las variables del programa a lo largo de su ejecución.