Зяблицева*, С.А. Пестов* *Северный (Арктический) федеральный университет имени М.В. Ломоносова Одной из наиболее интересных проблем теории полугрупп является проблема изоморфизма для данного класса полугрупп, состоящая в существовании алгоритма (отличающегося от алгоритма полного перебора), распознающего для любых двух полугрупп из данного класса, изоморфны они или нет. <...> В статье рассмотрены полугруппы, являющиеся полурешетками, для проверки изоморфизма которых можно применить известные алгоритмы проверки изоморфизма графов. <...> Описано, как для таких полугрупп можно найти соответствующий им граф. <...> Этот граф может оказаться деревом, и в этом случае для проверки изоморфизма полугрупп можно применить известные алгоритмы проверки изоморфизма деревьев. <...> Сформулирован и доказан критерий того, в каком случае граф полурешетки является деревом. <...> Далее обосновывается выбор алгоритма проверки изоморфизма деревьев, описан этот алгоритм, представлена программа, написанная на языке Haskell, реализующая его. <...> Чтобы применить выбранный алгоритм для проверки изоморфизма полурешеток, необходимо сначала полурешетке сопоставить дерево. <...> Для этого авторами разработан и реализован также на языке Haskell необходимый алгоритм. <...> Созданная в итоге программа для двух полурешеток, заданных таблицами Кэли, работает следующим образом: она выводит структуру соответствующих полурешеткам деревьев, каноническое имя полученных деревьев, проверяет изоморфизм деревьев, а значит, и полурешеток. <...> При этом выбор и реализация алгоритмов являются эффективными, программа в течение нескольких секунд определяет изоморфизм полурешеток с трехзначным числом элементов. <...> Ключевые слова: полугруппы; полурешетки; графы; деревья; изоморфизм полугрупп; изоморфизм графов; алгоритмы проверки изоморфизма полугрупп, графов, деревьев. <...> Как в теории полугрупп, так и в теории графов проблема изоморфизма остается одной из наиболее интересных. <...> Применение <...>