automata

Дискретные динамические системы, определяемые геометрическими образами автоматов

Объектом исследования является динамическая система, определяемая геометрическими образами автоматов. Фазовое пространство системы определяется ортогональными и аффинными преобразованиями геометрических образов. Изучаются произведения динамических систем заданного типа и их характеристики.

Автоматы на алгебраических структурах

В работе представлен обзор результатов, полученных при исследовании автоматов над конечными алгебраическими структурами. Объектами исследования являются автоматы над конечным кольцом, автоматы, определенные в терминах идеалов, автоматы на многообразиях и семейства хеш-функций, определяемые автоматами без выхода. Для исследуемыхавтоматов охарактеризованы вычислительная стойкость, сложность построения имитационной модели и гомоморфизмы.

Представление универсальных планарных автоматов автономными входными сигналами

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