ЧЕБЫШЕВСКИЙ СБОРНИК
Том 20. Выпуск 2.
УДК 512, 519.7 DOI 10.22405/2226-8383-2019-20-2-259-272
Об абстрактной определяемости универсальных гиперграфических автоматов полугруппами входных сигналов
В. А. Молчанов, Е. В. Хворостухина
Молчанов Владимир Александрович —доктор физико-математических наук, профессор, профессор кафедры теоретических основ компьютерной безопасности и криптографии, Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского (г. Саратов). e-mail: [email protected]
Хворостухина Екатерина Владимировна — кандидат физико-математических наук, доцент, доцент кафедры «Информационно-коммуникационные системы и программная инженерия», Саратовский государственный технический университет имени Ю. А. Гагарина (г. Саратов).
e-mail: khvorostukhina85@gmail. com
Аннотация
Гиперграфическими автоматами называются автоматы, у которых множества состояний и выходных символов наделены структурами гиперграфов, сохраняющимися функциями переходов и выходными функциями. Универсальные притягивающие объекты в категории таких автоматов называются универсальными гиперграфическими автоматами. Для таких автоматов полугруппы входных символов являются производными алгебрами отображений, свойства которых взаимосвязаны со свойствами алгебраических структур данных автоматов. Это позволяет изучать универсальные гиперграфические автоматы с помощью исследования их полугрупп входных символов. В работе исследуется проблема абстрактной определяемости таких автоматов их полугруппами входных символов, суть которой заключается в нахождении условий изоморфности полугрупп входных символов универсальных гиперграфических автоматов. Основной результат работы дает решение этой задачи для универсальных гиперграфических автоматов над эффективными гиперграфами с р—определимыми ребрами. Это достаточно широкий и весьма важный класс автоматов, так как он содержит, в частности, автоматы, у которых гиперграфы состояний и выходных символов являются плоскостями (например, проективными или аффинными), а также автоматы, у которых множества состояний и выходных символов разбиваются на классы некоторой эквивалентности без одноэлементных классов. В настоящей работе доказано, что универсальные гиперграфические автоматы над эффективными гиперграфами с р—определимыми ребрами полностью (с точностью до изоморфизма) определяются своими полугруппами входных символов, а также описано строение измоморфизмов таких автоматов.
Ключевые слова: проблема абстрактной определяемости, автомат, гиперграф, полугруппа.
Библиография: 17 названий. Для цитирования:
В. А. Молчанов, Е. В. Хворостухина. Об абстрактной определяемости универсальных гиперграфических автоматов полугруппами входных сигналов // Чебышевский сборник, 2019, т. 20, вып. 2, с. 259-272.
CHEBYSHEVSKII SBORNIK Vol. 20. No. 2.
UDC 512, 519.7 DOI 10.22405/2226-8383-2019-20-2-259-272
On problem of abstract definability of universal hypergraphic automata by input symbol semigroup
V. A. Molchanov, E. V. Khvorostukhina
Molchanov Vladimir Alexandrovich — doctor of physical and mathematical Sciences, Professor, Professor of the Department of theoretical foundations of computer security and cryptography, Saratov national research state University named after N. G. Chernvshevskv (Saratov). e-mail: [email protected]
Khvorostukhina Ekaterina Vladimirovna — candidate of physical and mathematical sciences, Associate Professor of Information and Communication Systems and Software Engineering Yuri Gagarin State Technical University of Saratov (Saratov). e-mail: khvorostukhina85@gmail. com
Abstract
Hypergraphic automata are automata, state sets and output symbol sets of which are hypergraphs, being invariant under actions of transition and output functions. Universally-attracting objects in the category of such automata are called universal hypergraphic automata. The semigroups of input symbols of such automata are derivative algebras of mappings for such automata. Semigroup properties are interconnected with properties of the automaton. Therefore, we can study universal hypergraphic automata by investigation of their input symbol semigroups. In this paper, we solve a problem of abstract definability of such automata by their input symbol semigroups. This problem is to find the conditions of isomorphism of semigroups of input symbols of universal hypergraphic automata. The main result of the paper is the solving of this problem for universal hypergraphic automata over effective hypergraphs with p—definable edges. It is a wide and a very important class of automata because such algebraic systems contain automata whose state hypergraphs and output symbol hypergraphs are projective or affine planes. Also they include automata whose state hypergraphs and output symbol hypergraphs are divided into equivalence classes without singleton classes. In the current study, we proved that such automata were determined up to isomorphism by their input symbol semigroups and we described the structure of isomorphisms of such automata.
Keywords: problem of abstract definability, automaton, hypergraph, semigroup.
Bibliography: 17 titles.
For citation:
V. A. Molchanov, E. V. Khvorostukhina, 2019, "On problem of abstract definability of universal hypergraphic automata by input symbol semigroup" , Chebyshevskii sbornik, vol. 20, no. 2, pp. 259272.
1. Введение
Как известно fl], в алгебраической теории автоматов главный объект исследования - автомат рассматривается как многосортная алгебраическая система А = (X, S, Y, 5, Л) с тремя базисными множествами - множество состояний автомата X, множество входных символов S, множество выходных символов Y, и с двумя сигнатурными операциями - функция переходов 5 : X х S ^ X и выходная функция Л : X х S ^ Y. При этом в зависимости от
рассматриваемых задач автоматы могут структуризироваться в подходящих алгебраических категориях, т.е. компоненты автоматов могут быть объектами некоторых специальных категорий. Так, множество входных символов автомата обычно рассматривается с ассоциативным умножением и, следовательно, является объектом категории полугрупп.
С другой стороны, множества состояний автомата и его выходных символов могут наделяться некоторой алгебраической структурой и являться объектами категории K соответствующих алгебраических систем. Важными примерами таких алгебраических систем являются графы, упорядоченные множества, линейные пространства, вероятностные пространства и др. Исследованию структуризованных в таких категориях автоматов посвящены многочисленные работы известных алгебраистов (см., например, обзор в [1]).
Как следует из [1], универсальные притягивающие объекты в категории автоматов, структуризованных в любой категории K, представляются универсальными автоматами Atm(A, В) с алгебраической системой состояний А £ K, алгебраической системой выходных символов В £ K и полугруппой входных символов S = End А х Hom(A, В). При таком подходе многие результаты алгебраической теории автоматов имеют непосредственное отношение к одному из основных разделов современной алгебры - обобщенной теории Галуа, которая посвящена изучению математических объектов путем исследования некоторых производных алгебр отношений, специальным образом связанных с исходными объектами.
В нашем случае изучаемым математическим объектом является универсальный автомат и производной алгеброй отношений - его полугруппа входных символов. Например, Л. М. Глу-скин, Е. С. Ляпин, Б. М. Шайн, Ю. М. Важенин и другие авторы (см., например, обзор в [2]) исследовали полугруппы эндоморфизмов графов, которые могут рассматриваться как графические полуавтоматы (т. е. автоматы без выходных символов, для которых системы состояний являются объектами категории графов Gr). Более того, хорошо известная проблема Л. М. Глускина и Л. А. Скорнякова о полугруппах эндоморфизмов проективных плоскостей может быть рассмотрена как проблема определимости планарных полуавтоматов их полугруппами входных символов (см. проблему 1.20 в [3] и ее решение Лендером [4] и первым автором настоящей работы [5]). Позже этот результат был обобщен в работе [6] на автоматы с выходными символами, для которых системы состояний и выходных символов являются объектами категории плоскостей Pl.
Настоящая работа продолжает исследования в этом направлении. В ней рассматриваются гиперграфические автоматы, т. е. автоматы, структуризованные в категории гиперграфов Hgr [7]. Универсальные притягивающие объекты в категории таких автоматов представляются универсальными гиперграфическими автоматами Atm(fli,^) с гиперграфом состояний Hi, гиперграфом выходных символов Н2 и полугруппой входных символов S = End Hi х Hom(fli, Н2). Для такого авто мата Atm(Hi, Н2) полугруппа входных символов S является производной алгеброй отображений, что позволяет изучать универсальные гиперграфические автоматы с помощью исследования их полугрупп входных символов.
Ввиду известной проблемы С. Улама [8] об определимости математических структур их эндоморфизмами, особый интерес представляет исследование проблемы абстрактной определяемости таких автоматов полугруппами их входных символов, которая формулируется следующим образом: при каких условиях два универсальных гиперграфических автомата будут иметь изоморфные полугруппы входных символов?
Первые результаты в этом направлении были получены в работе [6], где доказано, что для любых плоскостей (например, проективных или аффинных) Hi,H2 универсальный гиперграфический автомат Atm(#i, Н2) определяется с точностью до изоморфизма своей полугруппой входных символов. В настоящей статье этот результат обобщается на универсальные гиперграфические автоматы Atm(#i, Н2), v которых Hi,H2 являются эффективными гиперграфами с р—определимыми ребрами. Это достаточно широкий и весьма важный класс автоматов,
так как он содержит, в частности, не только автоматы, у которых гиперграфы состояний и выходных символов являются плоскостями, но и автоматы, у которых гиперграфы состояний и выходных символов являются разбиениями на классы эквивалентностей, содержащие более р элементов, и многие другие. Для таких автоматов в работе [9] уже была решена задача абстрактной характеризации. Главный результат данной работы - теорема 3.5 показывает, что универсальные гиперграфические автоматы над эффективными гиперграфами с р—определимыми ребрами в том и только том случае имеют изоморфные полугруппы входных символов, если эти автоматы изоморфны.
Результаты работы докладывались на XIV Международной конференции «Алгебра и теория чисел: современные проблемы и приложения», посвященной 70-ти летию со дня рождения С. М. Воронина и Г. И. Архипова (Саратов, СГУ им. Н. Г. Чернышесвского, 2016) [10].
2. Основные понятия
В работе используется общепринятая терминология и основные понятия теории автоматов [1], теории полугрупп [11], теории гиперграфов [7] и алгебры отношений [12].
Пусть Х,У- непустые множества. Всюду определенное однозначное бинарное отношение р С X х У называется отображением множества X в множество У и обозначается символом р : X ^ У. Постоянное отображение множества X в элемент а € У обозначается символом Са. Тождественное отображение множества X в себя обозначается символом Ах-
Согласно [7] гиперграфом называется система вида Н = (X, V), где X - это непустое множество вершин гиперграфа и Ь - семейство некоторых подмножеств множества X, называемых ребрами гиперграфа. Множество вершин гиперграфа называется ограниченным, если оно содержится в некотором его ребре, и неограниченным в противном случае. Вершины гиперграфа, принадлежащие некоторому его ребру, называются смежными. Гиперграф Н = (X, V) называется эффективным, если любая его вершина принадлежит некоторому ребру этого гиперграфа.
Пусть р - некоторое натуральное число. Гиперграф Н будем называть гиперграфом с р-определимыми ребрами, если в каждом ребре этого гиперграфа найдется по крайней мере р + 1 вершина и, с другой стороны, любые р вершин этого гиперграфа содержатся не более, чем в одном ребре.
В частности, эффективными гиперграфами с р—определимыми ребрами являются исследуемые в работах [13]-[15] слабые р—гиперграфы. Кроме того, эффективными гиперграфами с ^-определимыми ребрами являются гиперграфы, ребра которых образуют разбиения множества вершин на классы, содержащие более р вершин. Наконец, если рассматривать плоскости [16] как гиперграфы, вершинами которых являются точки, а ребрами - прямые этих плоскостей, то любая проективная плоскость и любая аффинная плоскость с числом точек более четырех являются эффективными гиперграфами с 2-определимыми ребрами.
Пусть Н = (X, V), Н\ = (Х\, Ь\) - произвольные гиперграфы. Гомоморфизмом гиперграфа Н = (X, V) в гипергр аф Н\ = (Х\, Ь\) называется отображение ^множества X в множество Х\, которое смежные в гиперграфе Н вершины переводит в смежные вершины гиперграфа Н\, т.е. выполняется свойство
(VI € Ь)(31' € Ьг)(р(1) С I').
Заметим, что для ребра I € Ь\ всякое отображение р : X —> I является гомоморфизмом гиперграфа Н в гиперграф Н\.
Множество всех гомоморфизмов гиперграфа Н в гиперграф Н\ обозначим Нош(^, Н\).
Гомоморфизм гиперграфа Н = (X, V) в себя называется эндоморфизмом гиперграфа Н. Множество всех эндоморфизмов гиперграфа Н с операцией композиции образует полугруппу
End Н.
Гомоморфизм гиперграфов f : Н —> Hi называется изоморфизмом гиперграфа Н на гиперграф Hi, если / - взаимно однозначное отображение множества X на множество Xi и обратное отображение f-i является гомоморфизмом гиперграфа Hi на гиперграф Н, т.е. выполняется условие
(VY С X)(Y £ L ^ f (Y) £ Li).
Если существует изоморфизм f : Н —> Hi, то гиперграфы Н и Hi называются изоморфными и записывают Н = Hi.
Изоморфизм гиперграфа Н = (X, L) на себя называется автоморфизмом гиперграфа Н.
Для гиперграфов Нх = (X,Ly),Ну = (Y,Ly) через S(Нх, Ну) обозначим полугруппу End Нх х Hom(Hx,Ну) с ассоциативной бинарной операцией, определяющейся по правилу [1]: ((р,ф) ■ (<pi,^i) = (wi,^0i) для пар (р,ф), (fi,^i) £ End Нх х Hom(Hx,Ну).
Следуя [1], под автоматом будем понимать алгебраическую систему А = (X, S,Y,5, X), состоящую из множества состояний X, полугруппы входных символов S, множества выходных символов У, фикции переходов 5 : X х S —> X и выходной функции Л : X х S —> Y, таких что для любых х £ X и s,t £ S выполняются условия §(x,st) = 5(5(х, s),t), X(x,st) = Х(5(х, s), t). Для люб ого s £ S определим отображения 5S : X —> X, Xs : X —> Y по формулам Ss(x) = 5(х, s), Xs(x) = Х(х, s), где х £ X.
Изоморфизмом автомата А = (X, S, Y, 5, X) на автомат Ai = (Xi, Si, Yi, Ai) называется упорядоченная тройка 7 = (/,п,д) биекций f : X —> xi,k : S —> Si и g : Y —t Yi, сохраняющих алгебраическую структуру таких автоматов, т. е. ■к является изомоморфизмом полугруппы S на полугруппу Si и для любых значений s,t £ S,x £ X выполняются условия k(s ■ t) = k(s) ■ n(t), f (5(x, s)) = Si(f (x), n(s)) и g(X(x, s)) = Xi(f (x),k(s)).
Автомат A = (X, S, Y, 5, X) будем называть гиперграфическим автоматом, если множество состояний X и множество выходных символов Y наделены такими структурами гиперграфов Нх = (X,Lx) и Ну = (Y,Ly), что при каждом фиксированном входном сигнале s £ S преобразование 5S : X —> X - это эндоморфизм гиперграфа Нх и отображение Xs : X —> Y - это гомоморфизм гиперграфа Нх в гиперграф Ну. Такие автоматы будем также обозначать
А = (Нх,S,HY,6, X).
Гомоморфизмом гиперграфического автомата А = (Нх ,S,Hy ,5,Х) в гиперграфический автомат Ai = (Нх1 ,Si,Hy1,5i, Ai) называется упорядоченная тройка 7 = (f,n,g) отображений f : X —> Xi : S —> Si и д : Y —> Yi, сохраняющих алгебраическую структуру таких автоматов, т. е. / является гомоморфизмом гиперграфа Нх в гипергр аф Нх15 к — гомоморфизмом полугруппы S в полугруппу Si, д - гомоморфизмом гиперграфа Ну в гиперграф Ну1 и для любых значений х £ X,s £ S выполняются условия f(S(x,s)) = 5i(f(x),n(s)), g(X(x,s)) = Xi(f (x),k(s)).
Пример гиперграфического автомата дает алгебраическая система
Atm(tfx, Ну) = (Нх, S(Нх, Ну),HY, 5', У),
где Нх = (X,Lx), Ну = (Y,Ly) - некоторые гиперграфы и для любых х £ X, (^,ф) £ S(Hx,Ну) определены значения d'(x, (<p,^)) = <р(х), А'(х, (<p,^)) = ф(х). Легко проверить, что Atm(^x ,Ну) удовлетворяет следующему универсальному свойству: для любого гиперграфического автомата А = (Нх ,S,Hy ,5,Х) существует такой гомоморфизм ■к : S —> S(Hx, Ну), что упорядоченная тройка 7 = (Ах,к, Ау) является гомоморфизмом А в Atm(^x, Ну). По этой причине такой гиперграфический автомат Atm(^x, Ну) называется универсальным гипергафическим автоматом над гиперграфами Нх ,Ну.
3. Основной результат
В настоящем разделе исследуется вопрос о том, как универсальные гиперграфические автоматы над эффективными гиперграфами с р—определимыми ребрами определяются своими полугруппами входных сигналов.
Обозначим через 2 (Нх ,Ну) - множество правых нулей полугруппы 5 (Нх ,Ну), а через и (Нх ,Ну) - множество всех левых единиц п олугруппы 5 (Нх ,Ну). Эти множества в полугруппе 5(Нх, Ну) соответственно определяются по следующим формулам теории полугрупп: Ф(ж) = (Уу)(ух = ж) и Ф(ж) = (Уу)(ху = у).
Лемма 1. Пусть Нх = (Х,Ьх),Ну = (У,Ьу) - эффективные гиперграфы с р-определимыми ребрами. Тогда, элемент, г € в (Нх, Ну) является правым нулем полугруппы Б (Нх, Ну) тогда и только тогда, когда найдутся а € Х,Ъ € У такие, что г = (Са ,Сь), где Са и Сь - постоянные отображения множества X соответственно в точки а и Ь.
Доказательство. В силу эффективности гиперграфа Нх константы вида Са : X ^ {а} (где а € X) являются эндоморфизмами гиперграфа Нх- Аналогично в силу эффективности гиперграфа Ну все константы вида Сь : X —> {&}, где Ь € У, являются гомоморфизмами гиперграфа Нх в гиперграф Ну. Тогда элемент г = (Са,Сь) принадлежит полугруппе
5 (Нх ,Ну).
Для произвольной пары 8 = (ц,,ж) € в выполняется:
8 ■ г = (р, к)(Са, Сь) = (рСа, уСь) = (Са, Сь) = г.
Значит, (Са, Сь) - правый ноль полугруппы 5(Нх,Ну), т.е. (Са,Сь) € 2(Нх,Ну).
Обратно, пусть г = (р, ф) - правый ноль полугруппы 5(Нх, Ну). Тогда для любого й € X и значений а = р((1), Ь = ф(й), а € Х,Ь € У выполняется:
(V, ф) = (Са, Сь)(р, ф) = (Сар, Саф) = (Ст,Ст) = (Са, Сь),
т.е. г = (р,ф) = (Са, Сь), где Са и С& - постоянные отображения множества X соответственно в точки а и Ь.
Лемма 2. Пусть Нх = (Х,Ьх),Ну = (У,Ьу) - эффективные гиперграфы с р-определимыми ребрами. Тогда, элемент г € в(Нх, Ну) является левой единицей полугруппы Б (Нх, Ну) тогда и только тогда, когда г = (Ах ,ф) для некоторого ф € Нош(Нх, Ну).
Доказательство. Пусть г = (Ах,ф) для некоторого ф € Нош(#х, Ну). Возьмем про-изовольный элемент € в (Нх ,Ну), = (р\,ф\). Имеют место следующие равенства: г ■ г1 = (Ах,ф) ■ (р1,ф1) = (Ах ■ Р\, Ах ■ ф1) = (р1,ф1) = г\. Это означает, что элемент г является левой единицей полугруппы 5 (Нх ,Ну).
Обратно, пусть элемент г = (р, ф) является левой единицей полугруппы в(Нх, Ну). Тогда для любого г\ = (р\,ф\), принадлежащего полугруппе Б(Нх, Ну), выполняется: г ■ г1 = (р,ф) ■ (р1,ф1) = (р ■ р\,р ■ ф1) = (р1,ф1). Это возможно только в случае р = Ах. Следовательно, г = (Ах,ф). Лемма доказана.
Лемма 3. Пусть Нх = (Х,Ьх),Ну = (У,Ьу) - эффективные гиперграфы с р-определимыми ребрами. Тогда для, произвольных элементов 8,в1 € в(Нх, Ну) следующие условия равносильны:
1) 8 = (р,ф) и = (р,ф\) для, некоторых р € Епё Нх, ф,ф\ € Нош(Ях,Ну);
2) в ■ г = ■ г для некоторой левой единицы, г € и (Нх, Ну);
3) в ■ г = ■ г для любой левой единицы, г € и (Нх, Ну )•
Доказательство. Очевидно, что из 3) следует 2).
Пусть выполняется условие 1), т.е. в = (р,ф) и = (р, ф{) для некоторых р € Епё Нх, ф,ф1 € Нош(Нх ,Ну), и пусть г - левая единица полугруппы 5 (Нх ,Ну), т.е. г € и (Нх ,Ну). Согласно лемме 2 г = (Ах ,ф') для некоторого ф1 € Нош(Дх ,Ну). Имеют место равенства: 8 ■ г = (р,ф) ■ (Ах, ф') = (рАх, рф') = (р, ф1) ■ (Ах ,ф') = з1 ■ г, т.е. выполняется условие 3).
Остается показать, что из 2) следует 1). Пусть для элементов 8 = (р,ф), §1 = (р1,ф\) выполняется 8 ■ г = §1 ■ г для некоторой левой единицы г € и (Нх, Ну). Согласно лемме 2 г = (Ах ,ф') для некотор ого ф' € Нош(Нх ,Ну). Имеют место следующие равенства:
8 ■ г = (р,ф) ■ (Ах, ф') = (рАх, рф') = (р, рф'), 81 ■ г = (^1, Ф1) ■ (Ах,ф') = (ф1Ах, Р1Ф') = (<р1,<р1ф').
Значит, (р,рф') = (^1 ,^1ф').Следовательно, р = т.е. выполняется условие 1). Лемма доказана.
Лемма 4. Пусть Нх = (Х,Ьх),Ну = (У,Ьу) - эффективные гиперграфы с р-определимыми ребрами. Тогда формула
0,(х, у) = Ф(ж) Л Ф(у) Л (У{)(^({) ^ х ■ г = у ■ г)
теории полугрупп определяет, отношение эквивалентности е на множестве правых нулей 2(Нх, Ну) такое, чт,о выполняются следующие условия:
1) для любых элементов 8,81 € 2(Нх, Ну) выполняется в = 81(е) тогда и только тогда, когда в = (Са, Сь), = (Са, Сь1) для некоторых а € Х,Ъ,Ъ1 € У;
2) для любого правого нуля, в = (Са,Сь) полугруппы в(Нх, Ну) класс эквивалентности е(з) = {(Са, Су): у € У}.
Доказательство. В самом деле, нетрудно проверить, что отношение е рефлексивно, симметрично и транзитивно, т.е. является эквивалентностью на множестве правых нулей 2(Нх, Ну). Пусть для произвольных элементов в, в1 € 2(Нх, Ну) выполняется в = з^е). Согласно лемме
= (Са,Сь),81 = (Са1 ,Сь1 )■ По определению отношения е имеем: в ■ г = ■ г для любого г € и (Нх ,Ну). Согласно лемме 2 имеем Са = Са1- Обратно, пусть § = (Са,Съ),81 = (Са,Сь1) для некоторых а € Х,Ь,Ь1 € У. Тогда согласно лемме 2 ■ г = §1 ■ г для любой левой единицы г € и (Нх ,Ну). По определению отношения е получаем в = в1(е).
Для любых элементов 5,51 € 2(Нх,Ну) выполняется = в1 (е) тогда и только тогда, когда в = (Са,Сь), в1 = (Са,Сь1) для некоторых а € Х,Ъ,Ъ1 € У. Это означает, что
= {(Са,СУ) : у € У}. Лемма доказана.
Лемма 5. Пусть Нх, Ну, Нх1, Ну1 - эффективные гиперграфы с р-определимыми ребрами, / - изоморфизм гиперграфа Нх на гиперграф Нх1, 9 - изоморфизм гиперграфа Ну на гиперграф Ну1 и от,обра,же ние ж : в (Нх, Ну) —> Б(Нх1 ,Ну1) определяется по формуле ж = а2х д), т.е. для любых (р,ф) € Б (Нх, Ну) выполняется равенство п(р,ф) = (/2(р), (/ х д)(ф)). Тогда справедливы следующие утверждения:
1) отображение ж является изоморфизмом полугруппы в(Нх, Ну) на, полугруппу
в (Нх 1, Ну1);
2) упорядоченная тройка отображений 7 = (¡,к,д) является изоморфизмом автомата А1ш(Нх, Ну) на автомат А1ш(Нх1 ,Ну1);
3) если для отображения х ■ 8(Нх, Ну) —> Б(Нх1 ,Ну1) упорядоченная тройка отображений 7 = (¡,х, 9) является изоморфизмом автомата А1т(Нх, Ну) на автомат АЬт(Нх1 ,Ну1), тох = к.
Доказательство. Пусть отображение ж ■ в(Нх, Ну) —> Б(Нх1, Ну1) определяется по формуле ж = (/2, / х д), где $ ■ Нх —> Нх1: д ■ Ну —> Ну1 - изоморфизмы гиперграфов. Так как для произвольной пары (р,ф) € в(Нх, Ну) отображение р - эндоморфизм гиперграфа Нх и отображе ние ф - гомоморфизм гиперграфа Нх в гипергр аф Ну, то очевидно образ f 2((р) = f- эндоморфизм гиперграфа Нх1 и образ f х д(ф) = f-1фд - гомоморфизм гиперграфа Нх1 в гипергр аф Ну1. Это означает, что п((р,ф) € Б (Нх1 ,Ну1). Ясно, что ж -биекция Б (Нх, Ну) на в(Нх1 ,Ну1).
Возьмем произвольные элементы = (р,ф),81 = (ф1, ф\) полугруппы Б(Нх,Ну). Так как ««1 = (рр1,рф\), то выполняются равенства
Ф) • ф1) = ф) • п(^1,ф1) = а 2(<р), а х д)(ф)) • а 2&1), а х д)^ =
= а 2(Ф)! 2ы,/ 2(<р)и х д)(ф1)) = а-1^1 -1ф19) =
= (//-1^Ф19) = (/2(^1),(/ х 9)(^Ф1)) = фз{).
Таким образом, ■к - изоморфизм полугруппы в(Нх,Ну) на полугруппу 5(Нх1, Ну1), т.е справедливо утверждение 1).
Более того, для произвольных х € Х,8 = (р, ф) € в (Нх, Ну) имеют место равенства:
} (5(х,8)) =} (ф)) =} ш-1а (Х)))) =}-1ч>} и (Х)) =} 2(р)а (Х)) =
= Ш(X), а2(р), а х д)(ф))) = б1(/(х),п(з)), д(Х(х, з)) = д(ф(х)) = д(ф(/-1(/(х)))) = /-1фд(/(х)) = = (! х д)(ф)(/(х)) = \1 (/(х), а2(ср), а х д)(ф))) = А1 (/(х),ф)).
Это означает, что 7 = (/,к, д) является изоморфизмом автомата А1т(Нх, Ну) на автомат А1т(Нх1 ,Ну1), т.е справедливо утверждение 2).
Пусть для отображения % ■ в(Нх ,Ну) —> Б(Нх1 ,Ну1) упорядоченная тройка отображений 7 = (/, х, д) - изоморфизм автомата А1т(Нх, Ну) на автомат А1т(Нх1, Ну1). Тогда для любых элементов х € X, (р,ф) € в (Нх ,Ну) имеют место равенства:
/ (6(Х,8)) = 61а (Х),Х(8)), д(Х(х,8)) = \1(/(Х),Х(8)). По определению универсального гиперграфического автомата выполняются равенства: 5(х, 8) = 5(х, (<р, ф)) = ф), Х(х, 8) = Х(х, (<р, ф)) = ф(х).
Обозначим х(в) = (ф1, ф1) тогда /(р(х)) = р1(/(х)),д(ф(х)) = ф1(/(ж)), т.е. = Ф9 = !Ф1) следовательно, = = /2(р), ф1 = /-1фд = (/ х д)(ф). Значит,
X = (12, / х д) = к, т.е справедливо утверждение 3). Лемма доказана.
Описанный в лемме 5 с помощью изоморфизмов гиперграфов / ■ Нх —> Нх1, д ■ Ну —у Ну1 изоморфизм ж = (/2, f х д) полугрупп входных сигналов универсальных гиперграфических автоматов А1т(Нх, Ну), АЬш(Нх1 ,Ну1) называется каноническим изоморфизмом таких полугрупп. Помимо канонических изоморфизмов такие полугруппы могут иметь иные, более сложные изоморфизмы. Например, для произвольного натурального числа р рассмотрим универсальный гиперграфический автомат А1т(Нх ,Ну) над эффективными гиперграфами Нх = (Х,Ьх),Ну = (У,Ьу), ребра которых образуют разбиения множеств вершин X и У на такие классы эквивалентностей ех и еу, что каждый класс эквивалентности содержит более р вершин. Очевидно, что Нх, Ну - эффективные гиперграфы с ^-определимыми
ребрами. Для элементов х € X произвольно выберем такие автоморфизмы дх гиперграфа Ну, которые сохраняют все классы эквивалентности еу, т.е. выполняется дх(г) = г для любого х € X и любого ребра г € Ьу.
Для произвольных отображений р : X —> Х,ф : X —> У обозначим ж(р,ф) = (р,ф^), где отображение ф^ : X —> У определяется по формуле: ф^(х) = д<р(х)(ф(х)) для всех х € X. Покажем, что ■к является автоморфизмом полугруппы входных сигналов 5(Нх,Ну) универсального гиперграфического автомата А1ш(Нх, Ну). Если (р,ф) € Б(Нх, Ну), то р эндоморфизм гиперграфа Нх и ф - гомоморфизм гиперграфа Нх в гиперграф Ну. Убедимся, что в этом случае отображение ф^ : X —> У также будет гомоморфизмом гиперграфа Нх в гипергр аф Ну. Пусть I - некоторое ребро гиперграфа Нх. По определению гомоморфизма ф : Нх —> Ну найдется такое ребро I' гиперграфа Ну, что ф(1) С I'. С другой стороны, для любого элемента х € X по определению автоморфизма дх : Ну —> Ну выполняется равенство дх(1') = I'. Тогда для любого элемента а € I выполняется условие ф^(а) = д^а) (ф(а)) С д^(а)(1') = ¿'.Следовательно, ф^(1) С I', ф^ - гомоморфизмом гиперграфа Нх в гипергр аф Ну и элемент ф) принадлежит полугруппе 5 (Нх ,Ну). Значит, эт : Б(НХ,Ну) Б(Нх,Ну).
Возьмем произвольные элементы (р,ф), (^1 ,ф{) € в (Нх ,Ну). По определению имеет место равенство: (р,ф) ■ (р1,ф1) = (рр1,рф1). Обозначим = р',рф1 = ф'. Тогда
к((р,ф) ■ (р1,ф1)) = п(^,ф') = (<р',ф'^ ). По определению
ф) ■ к(р1,ф1) = (<р, фП ■ (<р1, ф^1) = (^^1, рф^1) = (<р>, ф' V), т.к. для любого х € X выполняется
рф^1 (х) = ф^1 (р(х)) = д)(ф1(р(х))) = д^х)(^ф1(х)) = (х)(Ф'(х)) = ф'* (х).
Это означает, что эт - эндоморфизм полугруппы 5(Нх ,Ну).
Покажем, что для различных € в(Нх, Ну) их образы также различ-
ны. Очевидно, что это выполняется для всех (р,ф) и (р1,ф\) € Б(Нх,Ну), когда р = Рассмотрим теперь (р,ф), (р,ф1) € в(Нх, Ну), где ф = ф1. Поскольку ф = ф1, то найдется такой х € X, что ф(х) = ф1 (х). В силу того, что - биекция, выполняются следующие условия: ф^(х) = (ф(х)) = д^(х)(ф1(х)) = ф1 ^(х), т.е. ф^ = ф^. Значит, к(р,ф) = (р,ф^) = (р,ф\= к(<р,ф\). Следовательно, отображение ж взаимно однозначное.
Покажем теперь, что п - сюръекция.
Рассмотрим произвольный элемент (р,ф) € в (Нх ,Ну). Для любого элемента х € X найдется элемент у € У, для которого ф(х) = у. Поскольку д^(х) - автоморфизм, сохраняющий ребра, то найдется такой элемент г € У, что д^(х)(г) = у и, значит, г = у(еу). Обозначим г = ф' (х). В результате получаем отображение ф' : X —> У, для которого при любом х € X выполняется ф'(х) = ф(х)(еу). Очевидно, что по построению для любого х € X выполняется равенство ф'(х) = д~1х)(ф(х)). Так как ф € Нош(^х, Ну), то для любого ребра I гиперграфа Нх найдется такое ребро V гиперграфа Ну, что ф(1) С I' и, значит, ф'(х)(1) С I'. Следовательно, ф' - гомоморфизм гиперграфа Нх в гипергр аф Ну, удовлетворяющий для любого х € X свойству ф'^(х) = д^(х)(ф'(х)) = д<р(х)(д~1х)(ф(х))) = ф(х). Следовательно, ж(р,ф') = (р,ф'= (<р, ф) и отображение эт сюръективно.
Таким образом, отображение ж : в(Нх, Ну) —> в(Нх, Ну) является автоморфизмом полугруппы 5 (Нх ,Ну).
Ясно, что в общем случае этот автоморфизм не будет каноническим в силу произвольного построения семейства автоморфизмов дх : Ну —> Ну, (х € X).
Основной результат этого раздела показывает, что универсальные гиперграфические автоматы над эффективными гиперграфами с р—определимыми ребрами полностью определяются своими полугруппами входных сигналов.
Теорема 1. Пусть А1т(Нх,Ну), А1т(Нх1 ,Ну1) универсальные гиперграфические автоматы над эффективными гиперграфами с р—определимыми ребрами Нх, Ну и Нх1, Ну1 соответственно. Тогда полугруппы входных сигналов этих автоматов изом,орфны, в том и только том случае, если автоматы А1т(Нх, Ну), А1т(Нх1 ,Ну1) изоморфны.
Доказательство. По определению из изоморфизма автоматов АЬт(Нх, Ну), АЬт(Нх1, Ну1) следует изоморфизм полугрупп входных сигналов этих автоматов.
Обратно, пусть ж ■ в(Нх, Ну) —^ Б (Нх1 ,Ну1) - изоморфизм полугруппы Б (Нх, Ну) на полугруппу 5(Нх1 ,Ну1). Изоморфизм ■к сохраняет истинностные значения формул Ф(ж), Ф(ж), 0,(х, у) теории полугрупп. Следовательно ■к сохраняет правые нули этих полугрупп и, значит, отображает множество 2(Нх, Ну) правых нулей полугруппы 5(Нх, Ну) на множество 2 (Нх1 ,Ну1) правых нулей полугруппы 5 (Нх1 ,Ну1), а множество и (Нх ,Ну) левых единиц полугруппы 5(Нх ,Ну) на множество и(Нх1 ,Ну1) левых единиц полугруппы Б(Нх1 ,Ну1). Кроме того, согласно лемме 4 ж2 отображает отношение эквивалентности е на множестве правых нулей 2(Нх, Ну) на отношение эквивалентности 61 на множестве правых нулей 2 (Нх1 ,Ну1). Из леммы 1 для л юбых а € Х,Ь € У тар а (Са,Съ) € 2 (Нх ,Ну). При этом ж(Са,Съ) = (Са1 ,Съ1) для некотор ых а1 € Х1,Ъ1 € У, т.е. обр аз ж(Са,Съ) является правым нулем полугруппы 5(Нх1 ,Ну1), и ■к отображает класс эквивалентности е(Са,Съ) на класс эквивалентности £1(Са1 ,Съ1).
Этот факт позволяет определить отображения / ■ X —у Х1, да ■ У —у У1, (а € X) по правилу: для любых а € Х,Ъ € У значения f(а) = а1,да(Ъ) = Ъ^ если ж(Са,Съ) = (Са1 ,Съ1) для соответствующих а1 € Х1,Ь1 € У[. Тогда по определению выполняется равенство К(Са,Са1) = (С1 (а),Сда(а1))-
Нетрудно проверить, что отображение / является биекцией множества X на множество Х1 и для любого а € X отображение да является биекцией множества У на множество Уь Действительно, сюрьективность отображений /, да следует из равенства
ж(2 (Нх ,Ну )) = 2 (НХ1 ,Ну1).
Кроме того, для любых Х1,Х2 € X, у € У эквивалентны следующие условия:
f(х1) = f(х2), Ы) = {Х2), (С{{Х1 ),СдХ1 (у)) = (С{(Х2),СдХ2(у))(е1), к(СХ1 ,Су) = ж(Сх2,Су)(е1), (Сх1 ,Су) = (СХ2,Су)(е), СхЛ = СХ2, Х1 = Х2.
Значит, отображение / взаимно-однозначное и / - биекция множества X на множество Х1.
Аналогично для любого а € X и любых У1,У2 € У эквивалентны следующие условия:
9а(У1) = да(У2), Сда(у1) = Сда(у2), (С{(а),Сда(ш)) = (С/(а),Сда(у2)),
к(Са,Су1 )= ж(Са,Су2 ), Су1 = Су2 , У1 = у 2.
Значит, отображение да взаимно-однозначное и да - биекция множества У на множество Уь
Для произвольных (р, ф) € Б и а € X рассмотрим значения р(а) = Ь, ф(а) = й. Тогда для любого с € У имеет место
(Са,Сс) • (р,ф) = (СаР,СаФ) = (Сф), Сф(а)) = (СЬ,СЛ), и, значит, для гомоморфизма ■к выполняется равенство:
АСа,Сс) • Ф,Ф)= ж(Съ,СЛ).
(1)
По определению отображений f, да (а & X) вычислим значения
П(Са,Сс) = (Cf(a),Cga(c)), -K(Cb,Cd) = (Cf(b),Cgb(d)).
Обозначим п(р,ф) = (р\,ф\). Тогда по формуле (1) получаем
(Cf(а),Сда(с)) • (pl^l) = (Cf(b),Cgb(d)). С другой стороны, по определению умножения выполняются равенства
(Cf (а), C9a(c)) • (pl^l) = (Cf (a)<Pl,Cf (а)ф1) = (CVl(f (a)),CMf (а))) = (Cf (b),Cgb(d)))
и, следовательно, pi(¡(а)) = f(b) = f(<p(a)), ф(¡(а)) = gb(d) = д^(а)(ф(а)).
Таким образом, выполняются равенства jp\ = pf, pi = f-1pf = f2(p) и ф\ = фv, где отображение фv : Х\ —> Y\, определяется по формуле: ф1р(/(а)) = д^(а)(ф(а)) для всех а & X. В результате получаем, что для любой пары (p, ф) & S выполняется равенство
ж(р,ф) = (/ 2(р),фП. (2)
Обозначим f2 = ^i. Очевидно, что отображение является биекцией полугруппы End Нх па полугруппу EndHxj^- Кроме того, выполняется равенство:
^ (рР) = f(pp') = f-1pp'f = f-1pf f-1p'f = (f-1pf)(f-1p'f) = f(p) f(p') =
= Ж1 (p)TTi(p').
Следовательно, отображение является изоморфизмом полугруппы End Нх па полугруппу End Нх1 • Согласно основному результату работы [17] отображение f является изоморфизмом гиперграфа Нх па гипергр аф Нх1.
Покажем, что для любого а & X биекция да является изоморфизмом гиперграфа Ну на гиперграф Ну1. Рассмотрим произвольное ребро I & Ly. По определению гиперграфа с р-определимыми ребрами всякое ребро содержит по меньшей мере р + 1 вершин, т. е. найдутся различные вершины у\,..., yP+i & Y, принадлежащие ребру I.
Возьмем произвольное ребро г & Lx. В силv р—определимости гиперграфа Нх это ребро содержит по меньшей мере р + 1 вершин х\, ...,хр+\.
Построим отображение ф : X —> Y по правилу:
. ( ) = ( Уг, если х = Xi для некотор ого 1 < г < р;
I Ур+1, в остальных случаях.
Ясно, что отображение ф будет гомоморфизмом гиперграфа Нх в гипергр аф Ну.
Рассмотрим элемент (Ca,ф) & S для произвольного а & X. Тогда по формуле (2) и определению отображения f имеем K(Ca^) = (Cf(а),фСа), где фСа(f(хг)) = дса(х^(ф(хг)) = 9а(уг) для всех i = 1,р + 1. Ясно, что фСа & Нот(Нх1, Ну1).
Нх Нх1
шипы f(хг),..., f (хр+\) однозначно определяют ребро Г\ = f(r), Г\ & Lx1. Тогда условие фса & Нот(Нх1 ,Ну1) равносильно тому, что множество
{фс ( ¡(хг),...,фСа и(хр+1)} = [да(у г),..., ga(yP+i)}
- ограниченное (р +1)—элементное множество в гиперграфе Ну1, т. е. найдется ребро 1\ & Ly1, для которого выполняется {да(уг),..., да(yP+i)} С 1г. Это означает, что да(1) С 1г.
С другой стороны, аналогичным образом можно показать, что для ребра 1\ гиперграфа HYl выполняется ga-l(h) Ç I' для некоторого ребра I' G Ly. По построению множество ga-l(h) содержит р + н у\,..., Ур+i, которые принадлежат ребру I G Ly. В силу р—определимости ребер гиперграфа Ну выполняется I = I'. Следовательно, ga-l(h) Ç I- Значит, ga(l) = h-
Таким образом, биекция да является изоморфизмом гиперграфа Ну на гиперграф Ну1. Тогда в силу леммы 5 упорядоченная тройка отображений (f, (f2, f х да),да) является каноническим изоморфизмом автомата Atm(Hx, Ну) на автомат Atm(Hx1 ,HY1). Теорема доказана.
Таким образом, полученный результат показывает, что универсальные гиперграфические автоматы над эффективными гиперграфами с р—определимыми ребрами определяются с точностью до изоморфизма своими полугруппами входных сигналов.
сле дствие 1. Пусть Atm(Hx,Ну), Atm(Hx1 ,Ну1 ) — универсальные гиперграфические автоматы над эффективными гиперграфам,и с р—определимыми ре брам,и Нх, Ну и Нх1, Ну1 соответственно. Тогда следующие условия эквивалентны:
1 ) гиперграфы Нх, Ну изоморфны соответственно гиперграфам Нх1, Ну1 ;
2) существует изоморфизм полугруппы входных сигналов S(Hx, Ну ) автомата Atm(Hx, Ну) на полугруппу входных сигналов S(Нх1, Ну1 ) автомата Atm(Hx1 ,Ну1 );
3) существует канонический изоморфизм полугруппы входных сигналов S (Нх, Ну ) авт,о-мата Atm(Hx, Ну ) на, полугруппу входных сигналов S(Hx1 ,Ну1 ) автомата
Atm(HX1 ,HY1 );
4) автоматы Atm(Hx, Ну), Atm(Hx1, HY1 ) изоморфны.
Доказательство. Из теоремы 1 следует равносильность условий 2) и 4). По определению изоморфизма автоматов из условия 4) следует условие 1). В силу леммы 5 из условия 1) следуют условия 3),4). Очевидно, что из условия 3) следует условие 2). Следствие доказано.
4. Заключение
Таким образом, полученный результат показывает, что универсальные гиперграфические автоматы над эффективными гиперграфами с р—определимыми ребрами полностью (с точностью до изоморфизма) определяются полугруппами своих входных сигналов. Это обосновывает изучение таких автоматов с помощью исследования их полугрупп входных символов и, в частности, обосновывает актуальность исследования взаимосвязи свойств таких автоматов и их полугрупп входных символов.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Плоткин Б. П., Гринглаз Л. Я., Гварамия А. А. Элементы алгебраической теории автоматов. М.: Высшая школа, 1994. 192 с.
2. Molchanov V. A. Semigroups of mappings on graphs // Semigroup Forum. 1983. № 27. P. 155— 199.
3. Свердловская тетрадь: Сборник нерешенных проблем теории полугрупп. Свердловск: Урал. гос. ун-т, 1979. 41 с.
4. Ленд ер В. Б. Об эндоморфизмах проективных геометрий / / Исследования алгебраических систем (Матем.записки Урал, ун-та). 1984. С. 48-50.
5. Молчанов В. А. Как проективные плоскости определяются своими полугруппами // Теория полугрупп и ее приложения. Полугруппы и связанные с ними алгебраические системы, Саратов, гос. ун-т. 1984. С. 42-50.
6. Molchanov V. A universal planar automaton is determined by its semigroup of input symbols // Semigroup Forum. 2011. № 82. P. 1-9.
7. Bretto A. Hvpergraph theory. An Introduction. Cham: Springer, 2013. 133 p. DOI: 10.1007/9783-319-00080-0.
8. Улам С. Нерешенные математические задачи. М. : Наука, 1964. 168 с.
9. Молчанов В. А., Хворостухина Е. В. О задаче абстрактной характеризации универсальных гиперграфических автоматов // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. - Саратов: Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского, 2017. Т. 17, № 2. С. 148-159.
10. Молчанов В. А., Хворостухина Е. В. Об абстрактной определяемости универсальных гиперграфических автоматов полугруппами их входных сигналов // Материалы XIV Международной конференции «Алгебра и теория чисел: современные проблемы и приложения», посвященная 70-ти летию со дня рождения С. М. Воронина и Г. И. Архипова. — Саратов: Изд-во Саратовского гос. ун-та, Издательский центр «Наука», 2016. С. 67-69.
11. Клиффорд А., Престон Г. Алгебраическая теория полугрупп. М. : Мир, 1972. Т. 1. 286 с.
12. Вагнер В. В. Теория отношений и алгебра частичных отображений // Теория полугрупп и ее приложения; Сб. научн. тр. 1965. № 1. С. 3-178.
13. Молчанов А. В. Полугруппы эндоморфизмов слабых р—гиперграфов // Известия вузов. Математика. Саратов. 2000. № 3(454). С. 80-83.
14. Molchanov А. V. On definability of hvpergraphs by their semigroups of homomorphisms // Semigroup Forum. 2001. № 62. P. 53-65.
15. Молчанов А. В. Об определяемости гиперграфических автоматов их выходными функциями // Теоретические проблемы информатики и ее приложений. Саратов. 1998. № 2. С. 7484.
16. Хартсхорн Р. Основы проективной геометрии. М.: Мир, 1970. 161 с.
17. Хворостухина Е. В. Об одном классе гиперграфических автоматов // Теорет. проблемы информатики и ее приложений. Саратов. 2008. № 8. С. 112-118.
REFERENCES
1. Plotkin, В. I., Geenglaz, L. Ja., Gvaramija, A. A. 1992, Algebraic structures in automata and databases theory, River Edge, World Scientific, Singapore, NJ, 192 p.
2. Molchanov, V. A. 1983, "Semigroups of mappings on graphs", Semigroup Forum, № 27, pp. 155199.
3. Sverdlovskaja tetrad: Sb. nereshjonnyh zadach po teorii polugrupp. [Sverdlovsk notebook: A collection of unsolved problems of semigroup theory], 1979, Ural, univ., Sverdlovsk, 41 p.
4. Lender, V. В. 1984, "On edomorphisms of projective geometries", Issledovanija algebraicheskih sistem (Matem. zapiski Ural.un.), pp. 48-50.
5. Molchanov V. A. 1984,"Projective planes are determined by their semigroups", Teorija polugrupp i ejo prilozhenija. Polugruppy i svjazannye s nimi algebraicheskie sistemy, pp. 42-50.
6. Molchanov, V. 2011, "A universal planar automaton is determined by its semigroup of input symbols", Semigroup Forum, № 82, pp. 1-9.
7. Bretto, A. 2013, Hypergraph theory. An Introduction. Springer, Cham, 133 p. doi: 10.1007/9783-319-00080-0
8. Ulam, S. 1960, A Collection of Mathematical Problems. Interscience, New York, 168 p.
9. Molchanov, V. A., Khvorostukhina, E. V. 2017, "On problem of abstract characterization of universal hypergraphic automata ", Izv. Saratov Univ. (N. S.), Ser. Math. Mech. Inform,., vol. 17, iss. 2, pp. 148—159.
10. Molchanov, V. A., Khvorostukhina, E. V. 2016, "On problem of abstract definability of universal hypergraphic automata by semigroups of their input symbols", Materialy XIV Mezhdunarodnoj konferencii "Algebra i teorija chisel: sovremennye problemy i prilozhenija", posvjashhennaja 70-ti letiju, so dnja rozhdenija S.M. Voronina i G.I. Arhipova (XIV Int. Conf. "Algebra and Number theory"), Saratov, pp. 67-69.
11. Clifford, A. H., Preston, G. B. 1961, The algebraic theory of semigroups, volume 1, American Mathematical society, Providence, 224 p.
12. Vagner, V. V. 1965, "Relation theory and algebra of partial mappings", Teorija polugrup i ejo prilozhenija, sbornik nauch.trud., № 1, pp. 3-178.
matics (Izvestiya VUZ. Matematika), vol. 44, № 3, pp. 77-80.
14. Molchanov, A. V. 2001, "On definability of hypergraphs by their semigroups of homo-morphisms", Semigroup Forum, № 62, pp. 53-65.
15. Molchanov, A. V. 1998, "Ob opredeljaemosti gipergraficheskih avtomatov ih vvhodnvmi funkcijami", Teoreticheskie problemy informatiki, iss. 2, pp. 74-84.
16. Hartshorne, R. 2009, Foundations of Projective Geometry, New York, 190 p.
17. Khvorostukhina, E. V. 2008, "On a class of hypergraphic automata", Teoreticheskie problemy inform,atiki and its applications, Saratov, iss. 8, pp. 112-118.
Получено 18.03.2017 г.
Принято в печать 12.07.2019 г.