О разрешимости проблемы принадлежности точки объекту в языке для обработки геометрической информации

Рассматривается грамматика геометрических выражений для описания объектов трехмерного пространства, предложенная в [4]. На выводы грамматики накладываются ограничения и доказывается, что для каждого описания из полученного класса алгоритмически разрешима проблема определения принадлежности произвольной точки пространства данному геометрическому объекту.