Terms containing set of all possible program states

Subject	English	Russian
progr.	abstraction of the set of all possible program states	абстракция множества всех возможных состояний программы (ssn)
progr.	set of all possible program states	множество всех возможных состояний программы (ssn)