полугруппа

Об определяемости универсальных графических автоматов своими полугруппами входных сигналов

Авторы: Фарахутдинов Р. А., Молчанов В. А.

Универсальный графический автомат Atm(G, G′ ) — это универсально притягивающий объект в категории автоматов, у которых множество состояний наделено структурой графа G и множество выходных сигналов — структурой графа G′ , сохраняющимися функциями переходов и выходов автоматов. Полугруппа входных сигналов такого автомата имеет вид S(G, G′ ) = End G × Hom(G, G′ ). Она может рассматриваться как производная алгебраическая система математического объекта Atm(G, G′ ), которая содержит полезную информацию об исходном объекте.

О задаче абстрактной характеризации универсальных гиперграфических автоматов

Авторы: Молчанов В. А., Хворостухина Е. В.

Гиперграфическими автоматами называются автоматы, у которых множества состояний и выходных символов наделены структурами гиперграфов, сохраняющимися функциями переходов и выходными функциями. Универсальные притягивающие объекты в категории таких автоматов представляются автоматами Atm (H1,H2) с гиперграфом состояний H1, гиперграфом выходных символов H2 и полугруппой входных символов S = End H1 × Hom(H1,H2), которые называются универсальными гиперграфическими автоматами.

О распознавании языков произвольных слов конечными полугруппами

Авторы: Молчанов В. А.

В настоящей работе на основе методов нестандартного анализа разрабатывается новый подход к теории бесконечных произведений в конечных полугруппах. Основные результаты работы показывают, что бесконечные произведения элементов стандартных последовательностей в конечных полугруппах могут рассматриваться как двухсторонние алгебраические дубликаты конечных произведений специального вида.

Абстрактная характеризация полугрупп входных сигналов универсальных планарных автоматов

Авторы: Молчанов В. А.

Универсальные планарные автоматыявляются универсальными притягивающими объектами в категории автоматов, у которых множества состояний и выходных сигналов наделены структурами плоскостей. Получены необходимые и достаточные условия, при которых произвольный автомат изоморфен универсальному планарному автомату и произвольная полугруппа изоморфна полугруппе входных сигналов универсального планарного автомата.