determine which set of local states

determine which set of local states form a consistent snapshot, and construct the lattice of consistent states and (2) figure out if the predicate ϕ(S) = true for one or more snapshot states S.

Результаты (русский) 1:

Определите, какой набор местных государств формы непротиворечивого моментального снимка и построить решетки последовательно государств и (2) выяснить, если предикат φ (S) = true для одного или нескольких государств снимка S.

Результаты (русский) 2:

определить, какой набор локальных состояний образуют последовательный снимок, и построить решетку последовательных состояний и (2) выяснить, если предикат φ (S) = True для одного или нескольких снимков состояний С.

Результаты (русский) 3:

определить, какой набор местных государства представляют собой постоянную снимок, и построить решетки последовательных государств и (2) выяснить, если основное 57,3 (S) = true для одного или более государств снимка.