|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Подзоров С. Ю. Об определении лахлановской полурешетки //
Том 47 (2006), Номер 2,
стр. 383393
Исследуются алгоритмические свойства полурешеток, введенных в 1972~г. Лахланом при изучении рекурсивно перечислимых $m$-степеней (так называемых лахлановских полурешеток). Показано, что в~данном Лахланом определении условие на эффективность операции пересечения в~задающей полурешетку последовательности можно опустить.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|