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

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

Авторы: Твердохлебов В. А.

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

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

Авторы: Вагарина Н. С.

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

АВТОМАТНАЯ ИНТЕРПРЕТАЦИЯ ЦЕЛОЧИСЛЕННЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ

Авторы: Епифанов А. С.

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

МОРФИЗМЫ ПО СТАБИЛЬНЫМ ТОЛЕРАНТНОСТЯМ КОНЕЧНЫХ АВТОМАТОВ

Авторы: Мангушева И. П.

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

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

Авторы: Мангушева И. П.

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