Аннотация:Рассматривается класс ЕР экспоненциально-полиномиальных функций, который образован замыканием по суперпозиции бесконечной системы функций, состоящей из функций-констант 0,1 и арифметических
функций сложения, умножения и функций возведения в степень вида p^x, где p - произвольное простое число. Построен алгоритм, который распознает равенство/неравенство двух одноместных функций из класс ЕР. Одноместные функции на вход алгоритма подаются в виде формул, построенных над исходной системой функций, порождающей класс ЕР.