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