Методы построения конечных автоматов на основе ...

80Например, для автомата управления часами с будильником, графпереходов которого приведен на рис. 6, результат обработки элементавходной последовательности (H, true) в состоянии «1. Будильниквыключен» является последовательность, содержащее одно выходноевоздействие – z 1 , результат обработки элемента входнойпоследовательности (A, true) в состоянии «2. Установка временибудильника» – пустая последовательность, результат обработки элементавходной последовательности (T, !x 2 &x 1 ) в состоянии «3. Будильниквключен» – последовательность из двух элементов z 5 , z 6 , а результатобработки элемента (T, x 2 &x 1 ) в состоянии «3. Будильник включен» неопределен.Результат обработки входной последовательности (A, true), (M, true)при начале из состояния «1. Будильник выключен» – последовательностьиз одного элемента z 4 , а результат обработки входной последовательности(A, true), (A, true), (T, x 2 &x 1 ) при начале из того же состояния не определен.2.1.3. Представление управляющего конечного автомата в видеособи в эволюционных алгоритмахКонечный автомат в эволюционных алгоритмах предлагаетсяпредставлять в виде объекта, который содержит описания переходов длякаждого из состояний. Во всех автоматах, рассматриваемых в процессеработы эволюционных алгоритмов, номер начального состояния равеннулю. Для каждого из состояний хранится список переходов. Каждыйпереход описывается событием, при поступлении которого этот переходвыполняется, условием перехода и числом выходных воздействий, которыедолжны быть сгенерированы при выборе этого перехода. При этом вкачестве условий переходов используются булевы формулы,встречающиеся во входных последовательностях тестов. На рис. 19приведен пример автомата и его представления в виде особиэволюционного алгоритма.