автоматы

Решение некоторых задач для конечных автоматов на основе анализа их поведения

Авторы: Тяпаев Л. Б.

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

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

Авторы: Тяпаев Л. Б., Василенко Д. В., Карандашов М. В.

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

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

Авторы: Скобелев В. В.

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

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

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

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