|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Об абстрактной определяемости универсальных гиперграфических автоматов полугруппами входных сигналов
В. А. Молчановa, Е. В. Хворостухинаb a Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского (г. Саратов)
b Саратовский государственный технический университет имени Ю. А. Гагарина (г. Саратов)
Аннотация:
Гиперграфическими автоматами называются автоматы, у которых множества состояний и выходных символов
наделены структурами гиперграфов, сохраняющимися функциями переходов и выходными функциями. Универсальные притягивающие объекты в категории таких
автоматов называются универсальными гиперграфическими автоматами. Для таких автоматов полугруппы входных символов являются производными алгебрами
отображений, свойства которых взаимосвязаны со свойствами алгебраических структур данных автоматов. Это позволяет изучать универсальные гиперграфические
автоматы с помощью исследования их полугрупп входных символов. В работе исследуется проблема абстрактной определяемости таких автоматов их полугруппами
входных символов, суть которой заключается в нахождении условий изоморфности полугрупп входных символов универсальных гиперграфических автоматов.
Основной результат работы дает решение этой задачи для универсальных гиперграфических автоматов над эффективными гиперграфами с p-определимыми
ребрами. Это достаточно широкий и весьма важный класс автоматов, так как он содержит, в частности, автоматы, у которых гиперграфы состояний и выходных
символов являются плоскостями (например, проективными или аффинными), а также автоматы, у которых множества состояний и
выходных символов разбиваются на классы некоторой эквивалентности без одноэлементных классов. В настоящей работе доказано, что универсальные гиперграфические
автоматы над эффективными гиперграфами с p-определимыми ребрами полностью (с точностью до изоморфизма) определяются своими полугруппами входных
символов, а также описано строение измоморфизмов таких автоматов.
Ключевые слова:
проблема абстрактной определяемости, автомат, гиперграф, полугруппа.
Поступила в редакцию: 18.03.2017 Принята в печать: 12.07.2019
Образец цитирования:
В. А. Молчанов, Е. В. Хворостухина, “Об абстрактной определяемости универсальных гиперграфических автоматов полугруппами входных сигналов”, Чебышевский сб., 20:2 (2019), 259–272
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/cheb768 https://www.mathnet.ru/rus/cheb/v20/i2/p259
|
|