For instance, one may choose to represent the state of a program manipulating integer variables by forgetting the actual values of the variables and only keeping their signs (+, − or 0).
例如，可以选择表示操纵整数变量的程序的状态，通过忘记变量的实际值并只保持它们的符号(+, - 或 0)。