Аннотация:
В работе описываются эквивалентные условия отсутствия собственных подалгебр у произвольной унарной алгебры. Приведен алгоритм, который проверяет отсутствие подалгебр или находит собственные подалгебры и порождающие их элементы унарной алгебры, носитель и сигнатура которой конечны.
Ключевые слова:унарная алгебра, полигон над полугруппой, автомат без выхода.
Полный текст:
PDF файл (315 kB)