英语 ⇄ 俄语 +

abstraction of the set of all possible program states 强调
编程	абстракция множества всех возможных состояний программы (ssn)