В работе рассмотрена способность логико-предметной распознающей системы отождествлять два объекта, отличающиеся друг от друга только преобразованиями, не выводящими из заданного класса объектов. Доказаны условия ее инвариантности к заданной группе преобразований с конечным числом образующих. Приведен алгоритм инвариантного распознавания при условии, что глубина вложенности терма, определяющего преобразование исходного объекта, не превосходит заданного числа. Доказаны оценки числа шагов этого алгоритма при различных способах решения стандартной задачи распознавания. Библиогр. 3 назв.

A problem of recognition of an object from classes closed under a group of transformations G* with a finite number of generatrixes G = {g₁,..,g_T} by a logical-objective recognition system is considered. For a logical-objective recognition system we understand such a pattern recognition system in which, first, a recognizable object is presented as a set