О сложности проверки эквивалентности линейных унарных рекурсивных программ над уравновешенными полугруппамидоклад на конференции