Известия Саратовского университета. Новая серия.
Серия Математика. Механика. Информатика
ISSN 1816-9791 (Print)
ISSN 2541-9005 (Online)

конечный детерминированный автомат

Упорядоченные автоматы и толерантные образы КДА

Рассматривается конечный детерминированный автомат (КДА), множества состояний, входных и выходных символов которого частично упорядочены (упорядоченный автомат). Определяется отображение КДА на упорядоченный автомат, названное p-морфизмом. Показано что так называемые толерантные образы, построенные по отношениям стабильной толерантности на множестве состояний КДА, являются частным случаем упорядоченных автоматов, связанных с исходным p-морфизмом.

Морфизмы по стабильным толерантностям конечных автоматов

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

Автоматная интерпретация целочисленных последовательностей

Преобразование фазовых картин в геометрические образы законов функционирования автоматов, предложенное и разработанное В.А. Твердохлебовым, позволило представлять фазовые картины едиными математическими структурами –- ломаными линиями с числовыми координатами точек. В.А.Твердохлебовым показано, что последовательность элементов из конечного множества, совмещенная с линейным порядком на множестве входных слов, определяет законы функционирования дискретной детерминированной динамической системы (автомата).

Критерии универсальности конечного детерминированного автомата для класса КДА без потери информации

Конечный детерминированный автомат является одной из наиболее используемых математических моделей при описании сложных систем дискретного типа. Традиционно поведение моделируемых объектов рассматривается с преобразовательной точки зрения, то есть изучается механизм преобразования входных последовательностей (воздействий) в выходные (реакции).

Геометрические образы конечных детерминированных автоматов

В данной работе вводится новая геометрическая модель автомата и изложены методы анализа, синтеза, распознавания с использованием этой модели.