|
Алгебра и логика, 1984, том 23, номер 4, страницы 430–438
(Mi al1872)
|
|
|
|
Неразрешимость проблем равенства и делимости в некоторых многообразиях полугрупп
И. Л. Мельничук
Аннотация:
Слово $A$ называется блокирующим, если для любого конечного алфавита конечно и множество слов в этом алфавите, не содержащих значений слова $A$ в качестве подслов. В статье приводится достаточное условие неразрешимости проблем равенства и делимости в многообразии $V=[A_i=B_i \mid i=1,2,\dots]$ конечного аксиоматического ранга. Это условие заключается в том, что для каждого $i$ в тождестве $A_i=B_i$ оба слова $A_i$, $B_i$ являются неблокирующими.
Поступило: 25.05.1983
Образец цитирования:
И. Л. Мельничук, “Неразрешимость проблем равенства и делимости в некоторых многообразиях полугрупп”, Алгебра и логика, 23:4 (1984), 430–438
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1872 https://www.mathnet.ru/rus/al/v23/i4/p430
|
Статистика просмотров: |
Страница аннотации: | 51 | PDF полного текста: | 29 |
|