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

193Обозначим список переходов из состояния номер i автомата P1 какP1.T[i], а список переходов из состояния номер i автомата P2 как P2.T[i].Для выполнения «скрещивания состояний» с равной вероятностью можетбыть выбран один из двух методов.При использовании традиционного метода скрещивания (рис. 4)списки переходов S1.T[i] и S2.T[i] строятся следующим образом:1. Переходы состояния первого автомата P1.T[i]распределяются случайным образом между спискамиS1.T[i] и S2.T[i].2. Переходы состояния второго автомата P2.T[i]распределяются случайным образом между спискамиS1.T[i] и S2.T[i]. При этом, если в одном из списков ужеприсутствует соответствующий переход (из спискаP1.T[i]), то переход добавляется в список переходовдругого состояния.Действия в самих состояниях распределяются также случайнымобразом.T / 30 2A / 0T / 2T / 32 0A / 0T / 2Рис. 4. Пример традиционного метода скрещивания для состоянийПри использовании метода скрещивания с учетом тестовскрещивание производится аналогичным образом, за тем исключением,что некоторые переходы и состояния переходят напрямую из