finite state machine

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

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

Алгоритм проверки транзитивности отображений, ассоциированных с конечными автоматами из групп ASp

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