Об эффективной разрешимости проблемы эквивалентности линейных унарных рекурсивных программстатья