Binary matrixes which unequivocally are under construction on булевским to the formulas representing information models are considered. Property of matrixes investigated in work is their so-called localness. Substantially it is possible to illustrate it on an example anaphoric references when references are resolved only within the limits of the limited piece of the text. Shows, that the establishment of feasibility of local matrixes is carried out for a polynomial of steps. On the other hand, the class of not local matrixes which represent rather complex from the substantial point of view information models is resulted.

Mathematical modelling in actual problems of science and technics