Abstract：This paper intends to think a program to be a state function on the set of states. The process of executing a program is equivalent to the process of solving a state function. The semantics of program sentences are defined by STP. The paper proves the the
1985, Vol. 9 