אנגלית ⇄ רוסית +

abstraction of the set of all possible program states מתח
.תִכנו	абстракция множества всех возможных состояний программы (ssn)