This is an old revision of the document!
Model state
Definition 1. A state of a model A = (D,B,α^0), where D = (A, C, σ) and A = {X_1,…,X_n} is a tuple S = (S(X_1),…,S(X_n)).
This is an old revision of the document!
Definition 1. A state of a model A = (D,B,α^0), where D = (A, C, σ) and A = {X_1,…,X_n} is a tuple S = (S(X_1),…,S(X_n)).