автомат

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

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

Универсальный графический автомат 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), которые называются универсальными гиперграфическими автоматами.

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

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

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

 

Аффинные преобразования геометрических образов конечных автоматов

Авторы: Матов Д. О.

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

Идентификация структуры автомата фрагментами поведения

Авторы: Богомолов С. А.

Изучается задача идентификации структуры автомата конечным фрагментом его поведения. Под поведением автомата понимается множество различных о.-д. функций, реализуемых в автомате, а под конечным фрагментом поведения – следы о.-д. функций и автоматов. Ведено понятие идентифицирующего следа для автомата, “неизбыточного” относительно его реализации. Предложен подход, позволяющий в множестве следов, идентифицирующих автомат, выделить и описать конечное множество “неизбыточных” следов, содержащих только необходимую информацию для идентификации автомата.