ВОПРОСЫ ТЕОРИИ ГРУПП И ПОЛУГРУПП 1972 г.

_ ,136, - Значится любш jj" и формула V h * r '■■$.' '* # на полугруппе Л„ мотив» , » МВ8ЧИТ в формула Y i q - Ul*AOB8 H i Я, л « д м » ДвЛЬНО^ ФУНЙЦМЯ у , фуикцвяыи в ДЛЯ формулу ф полугруппе Пя . ■' * v , ЛВ8ЧИТ является рбврсньаминя <р ВСТИН8 ИВ j!»r«0 ВЯДЯТЬ« ЯТС МЫИИГДМН« ЯОПОЛВаЩаЛИ ТОТ фвкт, ЧТО С\-Е поэтому во* раосуядвиия оарвввддввы я для случая О,- А , только в атом случая е = М г 1 ' , я для случая, когда t ~ i тока воя вари*. шва аривадавныя рассухдаиня аовашваят, что вуцаетвуат шоритм, который вопрос об ястяыноотя яа полугруппа Пя А.С ОГ О ^ Ат* -Д ,С сводят к вопросу формул иа множестве <&( об ВОТНВИОСТИ формул «,1 п,л J V - Qty Оаксаимя алгоритма. иусть Ф в т 0. \ О *'* А 1 итровм мнокаство 1 (ф/~ , валя L ( С») пусто, что ф Давя Ц ф ) н0 ауото, то строям у t J I q *. q "«•< loyia формула ф ястявяв яа полугруппа п,. m u ’ч , * ф встннна ва полугруппа Л* . ^ ,, под проба»мой раараявмоств таоряя ’'Яo r . ОГ' будем понимать проблему : существует ля алгоритм, который для яа ХА q ^ Q м< опрядалы бм, в мнокаство ловца ва полугруппа П„ S с ' % Л е дабой формулы ф входят дя )> ( > < ( Q Ц* ”* { ] < £ ( ( £ Л ) A.Q