Ob algoritmicheskoĭ nerazreshimosti problemy tozhdestva slov v teorii trupp | lit.salon