Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elar.urfu.ru/handle/10995/24554
Название: | Об эквациональных теориях многообразий полугрупп |
Другие названия: | On the equational theories of semigroup varieties |
Авторы: | Попов, В. Ю. Popov, V. Yu. |
Дата публикации: | 2001 |
Библиографическое описание: | Попов В. Ю. Об эквациональных теориях многообразий полугрупп / В. Ю. Попов // Известия Уральского государственного университета. — 2001. — № 18. — (Сер. Математика и механика; Вып. 3). — С. 162-175. |
Аннотация: | Доказано, что не существует алгоритма, который по конечному множеству ∑ полугрупповых тождеств, определяет, разрешима ли эквациональная теория многообразия полугрупп, заданного множеством ∑. We prove that there is no algorithm which, given a finite set ∑ semigroup identities, determines whether the equational theory of the semigroup variety defined by ∑ is a decidable. |
URI: | http://elar.urfu.ru/handle/10995/24554 |
Идентификатор РИНЦ: | https://www.elibrary.ru/item.asp?id=50453740 |
Источники: | Известия Уральского государственного университета. 2001. № 18 |
Располагается в коллекциях: | Известия Уральского государственного университета. Математика и Механика. Компьютерные науки |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
iurm-2001-18-11.pdf | 446,08 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.