Выбор БД
Тип поиска
Сортировать по:
1. Статья
bookCover
Дурнев Валерий Георгиевич.
Алгоритмические проблемы для уравнений в свободных группах и полугруппах с ограничениями на решения / Дурнев Валерий Георгиевич, Зеткина Алена Игоревна
// Математические основы информатики и информационно-коммуникационных систем". - Тверь : Тверской государственный университет, 2021. - С. 25-41. - Библиогр.: с. 37-41 (40 назв.).
Авторы: Дурнев Валерий Георгиевич, Зеткина Алена Игоревна
Ключевые слова: Ярославль, город, Проблема совместности для систем уравнений, Уравнения, Память, Слова, Конференция
Ссылка на ресурс: http://texts.lib.tversu.ru/texts/151493t.pdf
Подробнее
Аннотация: Рассматриваются алгоритмически неразрешимые проблемы для уравнений в свободных группах с «достаточно простыми» подгрупповыми ограничениями на решения, разрешенныхе относительно неизвестных с простой правой частью. Исследуются алгоритмически неразрешимые проблемы для уравнений в словах и длинах в свободных полугруппах с одним дополнительным ограничением на решение.