CC BY
59
УДК 519.7 ББК 22.18
АНАЛИЗ ГЕОМЕТРИЧЕСКИХ ОБРАЗОВ ЗАКОНОВ ФУНКЦИОНИРОВАНИЯ АВТОМАТОВ
Епифанов А. С.1
(Учреждение Российской академии наук Институт проблем точной механики и управления РАН,
Саратов)
В работе осуществляется анализ свойств законов функционирования дискретных детерминированных динамических систем (автоматов), представленных в виде геометрических образов -графиков с числовыми координатами точек. В качестве геометрических образов рассматриваются классические геометрические кривые: спираль Фибоначчи, лемниската Бернулли, баллистическая кривая, эвольвента круга, логарифмическая спираль, спираль Архимеда, астроида, спираль Галилео, брахистохрона и т.д. Исследуется зависимость числа состояний у минимального автомата, построенного по кривой, от мощности входного алфавита автомата.
Конечный детерминированный автомат, фазовая картина дискретной детерминированной динамической системы, оценка сложности
1. Введение
Используемые традиционные математические модели дискретных детерминированных динамических систем задаются символьными структурами: таблицами, графами, матрицами, логическими уравнениями. Данные модели не пригодны для
1 Епифанов Антон Сергеевич, аспирант, г. Саратов, ул.Рабочая д. 24 (epifanovas@list.ru)
использования при анализе и синтезе больших и сложных систем ввиду огромной размерности. Твердохлебовым В. А. в работе [8] предложен и разработан новый подход для задания законов функционирования дискретных детерминированных динамических систем, основанный на числовых структурах. Данный подход позволяет использовать мощные идеализации классической непрерывной математики: бесконечно малой
величины, актуальной бесконечности, суммирования бесконечных рядов, предельного перехода и т.п. Предложенный подход позволяет задавать законы функционирования геометрическими фигурами, которые в свою очередь могут быть заданы аналитически, совместить средства диагностирования различной природы в единую форму - эксперимент с автоматом, использовать классические методы интерполяции и экстраполяции для доопределения частично заданных законов функционирования. Разработанный геометрический образ представляет собой фазовую картину объекта диагностирования, в котором сечениями представлены конкретные варианты функционирования объекта
- фазовые траектории (см. рис. 1 (а)).
2. Геометрические образы законов функционирования автоматов
Геометрический образ % законов функционирования (см. работы [4-8]) - функции переходов 8: Б XX® Б и функции выходов Я: £ X X ® У инициального конечного детерминированного автомата А5 = (Б, X, У, 8, Я, 5) с множествами состояний £ , входных сигналов X и выходных сигналов У, - определяется на основе введения линейного порядка (О в автоматном отображении Р' = У {(р, Я(5, р))} , где Я(5,р) = Я(8(5,р'), х)
р е X *
при р = р'х.
Автоматное отображение р5 (множество пар) упорядочивается линейным порядком ш, определенным на основе порядка ш1 на и заданным следующими правилами:
Правило 1. На множестве Х вводим некоторый линейный порядок щ (который будем обозначать !1).
Правило 2. Порядок щ на Х распространим до линейного порядка на множестве Х, полагая, что
- для любых слов р1, р2 є X неодинаковой длины (|р1| Ф р2|)
^ Рі !і Р2;
- для любых слов р1, р2єХ, для которых Рі = р2| и р1 Фр2, их отношение по порядку й повторяет отношение ближайших слева несовпадающих букв слов р1 и р2. Аналогично определяется порядок й на множестве слов У*
После введения на множестве X линейного порядка щ получаем линейно упорядоченное множество р5 = (р/, ю/), где щ - порядок на р/, индуцированный порядком щ на X.
Определив на множестве У линейный порядок щ и разместив множество точек р в системе координат 01 с осью абсцисс (X, щ) и осью ординат (У, щ), получаем геометрический образ законов функционирования инициального конечного детерминированного автомата А5 = (£, X, У, 8,1, 5). Линейные порядки й и (йі позволяют заменять элементы множеств X и У их номерами г1(р) и г2(р) по этим порядкам. В результате определяются две формы геометрических образов: символьная структура в системе координат 01 и числовая структура в системе координат с целочисленными или вещественными положительными полуосями.
Представление геометрического образа как числовой структуры позволяет при постановках и в методах решения задач использовать аппарат непрерывной математики: задание законов функционирования автоматов числовыми уравнениями, использование числовых процедур, интерполяцию и аппроксимацию частично заданных законов функционирования и т.п.
Предложенный Твердохлебовым В. А. [8] геометрический подход позволяет использовать для задания законов функционирования сложных систем следующую схему: законы функционирования дискретной детерминированной динамической
системы представляются как фазовая картина; фазовая картина совмещается с автоматным отображением, которое линейно упорядочивается и взаимнооднозначно представляется в форме дискретного числового графика; точки графика, соответствующего фазовой картине, рассматриваются на геометрической кривой линии в евклидовой плоскости, что позволяет для представления фазовых картин динамических систем использовать мощные идеализации непрерывной математики.
(а)
Рис. 1. Общие схемы: геометрического образа у, законов функционирования автомата и конкретного процесса функционирования у/р) - часть (а), и расположения геометрического образа на непрерывной кривой Ь с указанием расширения законов функционирования включением пары (р',у') - часть (Ь)
В геометрических образах законов функционирования автоматов (см. [4-8]) связь входных и выходных сигналов представлена явно, так как геометрические образы являются результатом
введения линейного порядка на автоматном отображении. В геометрических образах законов функционирования дискретных детерминированных динамических систем (т.е. дискретных детерминированных автоматов с конечным или бесконечным множеством состояний) функция изменения состояний определяется явно и точно, если в качестве множества состояний рассматривать множество £ = {ур \р£Х> , а функцию изменения состояний 8: Б X X ® Б определять правилом: для любых х е X и р е X 8(ур, х) = spx, а s£ - начальное состояние, для которого 8(se, р) = sp. В соответствии с правилами построения геометрических образов законов функционирования систем с дискретными множествами состояний, входных и выходных сигналов на оси абсцисс системы координат, в которой изображается геометрический образ, для каждого состояния sp системы имеется взаимооднозначно определяемый отрезок из т точек, где т = X Такими точками являются рх1, рх2, ..., рхт. Для каждой из точек рх, 1 < / < т, геометрический образ определяет точку Уу = 1 (у, рх.), где 1 (у., рх1) - последний выходной сигнал в
последовательности выходных сигналов Я(5£, рхг), определяемый расширенной функцией выходов 1. (Если выходные сигналы являются метками состояний, как в автоматах типа Мура, то уу = V(у ), где V - функция отметок состояний). На рис. 2
показаны связь состояний системы с отрезками оси абсцисс и представление фазовой траектории у., 8 (у., х^),
8 (8(у., х4), х^), ., 8 (8 (у., р), х. ), ••• последовательностью
точек (х4, Уу), (хг1 хг2, Уу2), •••, (рхъ, У]ъ), ••• геометрического
образа законов функционирования системы. После преобразования частичной фазовой картины в частичный геометрический образ поиск решения задачи определения всех воздействий, формирующих полную фазовую картину, может быть осуществлён на основе доопределения геометрического образа законов
функционирования системы. Такое доопределение без дополнительных условий и ограничений неоднозначно.
Рис. 2. Схема связи фазовой траектории аи а2,...,аь... с последовательностью состояний системы и геометрическим образом законов функционирования
3. Метод синтеза автомата по заданной геометрической кривой
Предполагается, что плоская геометрическая фигура Ф' размещена в главном квадранте (первом квадрате) декартовой системы координат. Точки фигуры имеют интерпретацию в некоторой прикладной области как представители свойств, характеристик, значений параметров и т.п. В связи с этим обход фигуры рассматривается как «движение» (изменение в реальном или абстрактном времени) этих свойств, характеристик, значений параметров и т.п.
Для множества состояний инициального конечного детерминированного автомата (А, s0), А = (£, X, У, 8, Я) будем использовать обозначение: £ = { яр} ., где для любых х е X и р е!*
1 р-,реХ 1
8(яр, х) = ярх, я0 = яе. Это позволяет ввести и использовать стандартное определение функции переходов ё с возможной последующей минимизацией автомата по числу состояний и соответствующей коррекцией функции ё .
Метод состоит из реализации следующих этапов, включающих действия в двух вариантах главного квадранта классической системы координат.
Действия, выполняемые в первом варианте главного квадранта:
1 этап. Заданная фигура Ф' (возможно, но не обязательно) заменяется конгруэнтной фигурой Ф с более удобным её расположением относительно осей системы координат (рис. 3, (6)).
2 этап. Выбирается обход фигуры Ф, имеющий интерпретацию (или порождающий интерпретацию) как изменение свойств, характеристик, значений параметров моделируемого объекта, процесса, события и т.п. (рис. 3, (с)).
3 этап. Выбирается прямая линия Z, которая параллельна оси ординат и имеет одну или несколько общих точек с фигурой Ф (касается или пересекает фигуру).
4 этап. Одна из общих точек а\ линии Z и фигуры Ф выбирается начальной точкой обхода (см. рис. 3, (ф).
5 этап. Строится сеть прямых линий, пересекающих фигуру Ф, по следующим правилам:
- фигура Ф пересекается и прямыми линиями (при выбранной величине и), параллельными оси ординат;
- фигуру Ф пересекает конечное число прямых, параллельных оси абсцисс и проходящих через точки пересечения фигуры Ф с построенными прямыми, параллельными оси ординат;
- точки, в которых в фигуре Ф одновременно пересекаются прямые, параллельные оси ординат, и прямые, параллельные оси абсцисс, обозначаются аь а2, ..., а^ в соответствии с порядком обхода фигуры Ф.
6 этап. Точки оси ординат, полученные пересечением прямых, параллельных оси абсцисс и проходящих через точки аь а2, ай, обозначаются от начала системы координат симво-
лами уьу2, уI, где I < й, интерпретируемыми как выходные сигналы автомата (рис. 3, (е) ).
Рис. 3. Иллюстрация этапов 1-6 синтеза автомата по геометрической фигуре
Действия, выполняемые во втором варианте главного квадранта:
7этап. По последовательности точек а1, а2, аа строится
ломаная линия по правилам:
- на оси абсцисс при и < dоткладывается dточек 1, 2, ..d;
- через каждую точку і, и < і < d, проводится прямая, параллельная оси ординат;
- каждой точке і, и < і < d, оси абсцисс сопоставляется вторая координата точки аі фигуры Ф и определяется точка (і, рг2(а)) - вершина ломаной линии.
(Ь)
и
(<і)
Полученная последовательность точек (г, pr2(ai)), где
1 < г < й, полагается базовой ломаной линией ув, определяющей геометрический образ автомата (А, sE). Возможен один из двух случаев:
- ув периодическая ломаная линия с наименьшим периодом у в;
- ув непериодическая ломаная линия.
Если ломаная линия ув содержит конечное число вершин, то для ее продолжения на всю ось абсцисс требуется выбрать правила доопределения. В случае, когда ув - периодическая ломаная линия с наименьшим периодом ув, ломаная линия может быть бесконечно продолжена как периодическая линия с периодом Ув . Если ув непериодическая ломаная линия, то выбирается некоторый способ ее доопределения.
Следующие этапы метода синтеза автомата по заданной геометрической фигуре реализуются для заданного периода периодического геометрического образа у автомата (А, 5£).
8 этап. Выбирается целое положительное число т,
2 < т < й, и полагается, что X = (х1, х2, хт}.
9 этап. Выбираем на оси абсцисс (счетно) бесконечную последовательность точек, нумеруем точки числами натурального ряда и сопоставляем взаимнооднозначно точкам элементы множества всех конечных слов X по порядку ю1 , введенному в части 2. Полученная бесконечная ломаная линия полагается геометрическим образом у5 инициального автомата (А, 5£).
10 этап. По заданному числу т, принятым обозначениям состояний 50 = 5е и (5(5р, х) = ,?рх стандартно, без учета специфических свойств функции ё, заполняется часть Т'8 таблицы переходов Т 5 для функции ё.
11 этап. По определению геометрического образа и
выбору целого положительного числа т (числа входных сигналов автомата) на оси абсцисс множество точек (линейно упорядоченное порядком (0\ множество X) слева направо разбивается
на отрезки по т точек. Каждому отрезку сопоставляется состояние автомата в соответствии с порядком состояний, определяемым порядком их индексов: ЭЕ, 5 ", 5Хт, 5 ", эр, " .
12 этап. Каждым выделенным на этапе 11 отрезком (рх1, рх2,..., рхт) оси абсцисс, где р е X*, и соответствующей
частью ломаной линии ^( рх1, уЛ), (рх2, у2),..., (рхт, yj. )^, где уЛ,у;2,- -,у]т еУ, определяется часть расширенной функции выходов 1 ^ , Рх1 ) = ун , 1 ^ , рх2 ) = Уj2,■■■, 1 5 , РХт ) = у;т , т-е-равенства Я^, х1 ) = у;1 , 1 ^, Х2 )= у;-2 1 ^, хт ) = у]т •
Приведённый метод синтеза законов функционирования дискретного детерминированного автомата по заданной геометрической фигуре устанавливает взаимнооднозначное соответствие между функциями и 1 и геометрической фигурой на основании выбранных и зафиксированных обходов линии и точек на кривой. Фактически в методе кривая линия представлена последовательностью точек, выбор которой без дополнительных условий неоднозначен. Кроме того, любая последовательность элементов из произвольного конечного множества может быть рассмотрена как последовательность вторых координат вершин геометрического образа законов функционирования дискретного детерминированного автомата. К последовательности должны быть добавлены конечное множество X с интерпретацией его как множества входных сигналов и линейный порядок щ на X*. Это позволяет любое «движение», т.е. изменение параметров, свойств, показателей, характеристик и т.п., систематизированное в форму точек кривой линии, представить в любом из следующих видов:
- геометрический образ законов функционирования дискретной детерминированной динамической системы;
- сечение геометрического образа, соответствующим конкретному процессу функционирования.
Следовательно, выбранные точки на кривой линии и ориентация их обхода могут быть рассмотрены как фазовая картина или как конкретная фазовая траектория.
4. Классификация и оценка сложности законов функционирования дискретных детерминированных систем
Предложенный и разработанный в работе [8] аппарат геометрических образов автоматов позволяет рассматривать кривую на плоскости как фазовую картину законов функционирования дискретной детерминированной динамической системы. Новый геометрический подход позволяет сопоставить произвольной кривой на плоскости автомат и осуществлять классификацию и оценку сложности кривых на основе свойств автоматов. В данной работе общие свойства кривых и специфические свойства определяются на основе определения числа состояний в минимальном автомате, сопоставленном кривой.
Для анализа выбран банк 2D- и ID-кривых и фракталов, представленный в сети интернет по адресу [10]. Данный банк собран коллективом французских математиков и обозначен авторами как «Энциклопедия фундаментальных математических структур» (далее для обозначения банка ENCYCLOPEDIE DES FORMES MATHEMATIQUES REMARQUABLES используется аббревиатура EFMR). В данной работе исследованию подвергаются только 2D-кривые, извлеченные из EFMR. Для анализа выбраны 50 наиболее известных и распространенных геометрических кривых на плоскости: спираль Фибоначчи, лемниската Бернулли, баллистическая кривая, эвольвента круга, логарифмическая спираль, спираль Архимеда, астроида, спираль Галилео брахистохрона, кардиоида, кривая преследования, циссоида, кривая Гаусса, корноида и др. Проведенное исследование свойств 2D-кривых включило:
- построение по каждой кривой трёх автоматов (при |X| = 2, 5, 10);
- минимизация построенных автоматов по числу состояний;
- разбиение класса из 150 автоматов на подклассы по числу состояний в минимальном автомате.
Исследование банка кривых проводилось в предположении, что для представления специфических свойств кривых достаточно их приближения, заданного 30 точками (соответственно извлеченные последовательности состоят из 30 элементов). Существенным является способ доопределения функции переходов ё автомата. Исследованы циклическое доопределение, доопределение в начальное состояние, генерация состояния псевдослучайным образом (из множества возможных состоя-
ний). В случае, когда
к
т
к
.X.
где 1X1 - мощность входного
алфавита автомата, а к - число точек на кривой (по которой строятся законы функционирования автомата), доопределение требуется и для функции выходов X. В данной работе доопределение функции переходов осуществляется всеми указанными способами, а значение мощности входного алфавита и количе-
к к
ство точек выбраны таким образом, что ------= ---- , поэтому
1X1 [1X1]
доопределение функции X не требуется. В таблицах 1, 2 приведено табличное задание автомата (при IX = 2), построенного по спирали Фибоначчи при циклическом доопределении функции переходов.
Таблица 1. Таблица переходов автомата, построенного по
ё 50 51 52 53 54 55 56 57 58 59 510 511 512 513 514
Х1 51 53 55 57 59 511 513 50 52 54 56 58 510 512 514
Х2 52 54 56 58 510 512 514 51 53 55 57 59 511 513 50
Таблица 2. Таблица выходов автомата (имеющего два входных сигнала), построенного по спирали Фибоначчи_________________
X 5о 5і •^2 5з 54 55 56 57 58 59 5іо 5іі 5і2 5із 5і4
XI У5 Уз Уб Уб Уз Уі Уі У3 У8 Уіо Уі2 Уі4 Уіб Уі8 Уі8
Х2 У4 У5 У7 У5 У2 Уо У2 У7 У9 Уіі Уіз Уі5 Уі7 Уі8 Уі7
Построенные по спирали Фибоначчи три автомата (так же как и по любой из анализируемых геометрических кривых) имеют соответственно 15, 6 и 3 состояния. Проведенное выделение классов эквивалентных состояний показало, что у всех 150 автоматов, построенных по 50 геометрическим кривым количество классов эквивалентности совпадает с числом состояний автомата, т. е. автоматы уже являются минимальными по числу состояний. Данное свойство присутствует у всех 150 автоматов, построенных при всех использованных способах доопределения функции переходов автомата: при циклическом доопределении функции переходов, при доопределении в начальное состояние, при доопределении с использованием генератора случайных чисел (состояние выбирается случайным образом из множества возможных состояний). В качестве примера автомата, построенного при доопределении функции переходов в начальное состояние в таблице 3 приведен автомат, имеющий 5 входных сигналов (построенный по лемнискате Бернулли). Все три использованных способа доопределения функции переходов автомата дали одинаковые результаты (по числу состояний автомата после минимизации). В общем случае от способа доопределения существенно зависит число состояний у автомата после минимизации. В результате проведенного исследования определены классы эквивалентных по сложности кривых и стоящих за ними законов функционирования дискретных динамических систем.
Таблица 3. Таблицы переходов и выходов автомата (имеющего 5 входных сигналов), построенного по лемнискате Бернулли
ё 50 51 52 53 54 55
Х1 51 50 50 50 50 50
Х2 52 50 50 50 50 50
Х3 53 50 50 50 50 50
х4 54 50 50 50 50 50
Х5 55 50 50 50 50 50
X 50 51 52 53 54 55
Х1 у3 У 7 у2 у3 У 7 у2
Х2 у 5 у6 у1 у5 у6 у1
Х3 у6 у5 у0 у6 у 5 у0
х4 У 7 у4 у1 у7 у4 у1
Х5 у8 у3 у2 у8 у3 у2
Проведенное исследование банка ЕЕМЯ включило также построение и анализ спектров О для числовых последовательностей, извлеченных из 50 выбранных для исследования геометрических кривых. Спектр динамических параметров рекуррентного определения числовых последовательностей, предложенный и разработанный в работе [8], характеризует сложность последовательности с позиции взаиморасположения элементов в последовательности. Спектр О(^) для последовательности X имеет 5 уровней: Q(X) = (^0(£), Д(£), П2(£), П3(£), П4(Х)), на которых числовыми значениями представлены порядки рекуррентных форм, длины отрезков последовательности, определяемые отдельными рекуррентными формами и количества смен рекуррентных форм. По определению П0(£) = т0(Х), где т0(£) - наименьший порядок рекуррентной формы, определяющей всю последовательность X. На уровне П1(Х) спектра П(£) расположено т0 чисел (т0 е Л+), определяющих для рекуррентных форм порядков от 1 до т0 размеры наибольших определяемых начальных отрезков последовательности X- Уровень П2(£) содержит т0 чисел, показывающих, сколько раз для рассматриваемого порядка рекуррентных форм потребовалось заменять рекуррентные формы при определении последовательности X- На уровне П3(Х) каждое число смен рекуррентных форм, показанное на уровне П2(Х), заменено длинами отрезков последовательности X, определяемых отдельными рекуррентными формами. С
использованием введенных обозначений спектр О(£) имеет структуру:
О o(X) = (т 0(Г ));
^1 (X) = (л), л 2(Xла (X});
^2 (X) = ), г 2(X),..., г“ (X ));
^) = (0^), о 2(X где а = т0(Х) и О3(X) = 1л((X),л((X),...,л^^)); п - номер последнего отрезка в определении последовательности X как последовательности отрезков, определяемых отдельными рекуррентными формами порядка -; = 0(W3(X)), где 0 -
оператор замены в ^(^ величин длин отрезков весами использованных рекуррентных форм для определения отрезков.
Характеристика разбиений Р0, Р1, Р2, Р3 множества из 50 анализируемых последовательностей длины 30, полученная в результате построения спектров и разбиений по показателям спектров, представлены в таблице 4. На рис. 4, в качестве примера, изображены кривые, эквивалентные на нулевом уровне О0 спектра О . В данном классе эквивалентности находится логарифмическая спираль (см. рис. 4.(3)), а также кривые, информация о которых представлена в таблице 5. Минимальный порядок рекуррентной формы, необходимый для определения последовательности, сопоставляемой кривой, в данном классе эквивалентности равен 3.
Таблица 4. Информация о разбиениях множества последовательностей, сопоставленных геометрическим кривым на классы эквивалентности по спектру О
Характеристика Ро Рі Р 2 Р3
Число подклассов в разбиении 9 44 46 47
Максимальная мощность подкласса і8 3 3 3
Минимальная мощность подкласса і і і і
Рис. 4. Геометрические кривые, эквивалентные по показателям нулевого уровня О0 спектра О
Таблица 5. Геометрические кривые, эквивалентные на нулевом уровне О0 спектра О_______________________________________
№ Название кривой в банке ЕЕМЯ Аналитическое задание (извлеченное из ЕЕМК) Ссылка на изображение
1. Оеуе1орраМе ёе сегс1е / \ ав = ± д/р2 - а2 - а агссо8 а 1 р рис. 4(1)
2. Ышасоп trisecteur р = а(1 + 2соб в) рис. 4(2)
3. Брт1е Logarithmique р = аекв рис. 4(3)
5. Краткие выводы
В работе построены и проанализированы классы дискретных детерминированных автоматов, определенные на основе математических свойств геометрических образов, задающих законы функционирования автоматов. Используемый геометрический подход позволяет исследовать свойства законов функционирования дискретных детерминированных динамических систем на основе анализа свойств геометрических кривых и числовых последовательностей. Изложенные в статье результаты показывают возможность практического использования аппарата геометрических образов для задания и исследования свойств законов функционирования дискретных детерминированных динамических систем. Определены эквивалентные по сложности геометрические кривые, т.е. эквивалентные по сложности законы функционирования автоматов.
Литература
1. ЕПИФАНОВ А. С. Анализ фазовых картин дискретных динамических систем. - Саратов: Изд-во «Научная книга», 2008. - 156 с.
2. ЕПИФАНОВ А. С. Интерпретация спектра характеристик дискретных систем при проектировании / Материалы 6-ой международной конф. «Автоматизация проектирования дискретных систем». - Минск, 2007. - Т.1.
3. ЕПИФАНОВ А. С. Интерполяция фазовых картин дискретных детерминированных систем // Радіоелектронні і комп’ютерні системи. - 2008. - №5. - С. 128-132.
4. ТВЕРДОХЛЕБОВ В. А. Геометрические образы конечных детерминированных автоматов // Известия Сарат. ун-та (Новая серия), Саратов. - 2005. - Т.5. Вып.1. - С. 141-153.
5. ТВЕРДОХЛЕБОВ В. А. Геометрические образы поведения дискретных детерминированных систем // Радіоелектронні
і комп’ютерні системи. - 2006. - №5. - С. 161-165.
6. ТВЕРДОХЛЕБОВ В. А. Рекуррентно-автоматные характеристики динамических систем / Материалы 9-ой Между-нар.конф. «Интеллектуальные системы и компьютерные науки». - Москва, 2006. - Т.1, Ч.2. - С.168-171.
7. ТВЕРДОХЛЕБОВ В. А. Методы интерполяции в техническом диагностировании / Ж-л «Проблемы управления», Москва. - 2007. - №2. - С.28-34.
8. ТВЕРДОХЛЕБОВ В. А. Геометрические образы законов функционирования автоматов. - Саратов: изд-во «Научная книга», 2008. - 183 с.
9. http://www.research.att.com/~njas/sequences/Seis.html (дата обращения: 20.11.2008).
10. www.mathcurve.com (дата обращения: 22.11.2008).
THE ANALYSIS OF GEOMETRICAL IMAGES OF FINITE STATE MASHINE OPERATION RULES
Anton Epifanov, Institute of problems of precision mechanics and Control Sciences of RAS, Saratov, PhD student (epifanovas@list.ru).
Operations rules are analyzed of the discrete determined dynamic systems (finite state machine) presented in the form of geometrical images - schedules with numerical coordinates of points. As geometrical images are considered classical geometrical curves: golden spiral, Lemniscate of Bernouilli, a ballistic curve,Equiangular spiral, Archimedian spiral, Astroid, Galileo's spiral, Brachistochrone (or brachistochronous) curve etc. In article is researched dependence of number of conditions at the minimal finite state machine constructed on a curve, from power of the entrance alphabet of the finite state machine.
Keywords: finite state machine, phase picture of the discrete determined dynamic system, estimation of complexity
Статья представлена к публикации членом редакционной коллегии М. Ф. Караваем
