Принцип декомпозиции и алгоритмическая неразрешимость для моноидов Клини с делениямидоклад на конференции