Аннотация:
В данной работе рассматриваются $\Lambda$-выражения, построенные на основе универсальных функций для классов примитивно-рекурсивных функций иерархии Гжегорчика. Найдено достаточное условие на вид $\Lambda$-выражения, при котором это $\Lambda$-выражение определяет примитивно-рекурсивную функцию из заданного класса иерархии Гжегорчика.