12.07.2015 Views

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

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

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

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

451/1 1/11/11/00/10/11/00/10/01/0Рис. 12. Граф переходов эвристически построенного автоматаЗадача состояла в эволюционном построении автомата, способногокак можно более точно в смысле какой-либо разумной функцииприспособленности от входа и выхода (<strong>на</strong>пример, числа совпавшихсимволов) предсказывать среду – угадывать следующий символпоследовательности. Кроме того, Л. Фогель <strong>на</strong>кладывал ограничения <strong>на</strong>сложность порождаемого автомата, так как строить автоматы с числомсостояний, равным длине обозреваемой последовательности, непредставляет труда. Таким образом, предпочтение отдавалось автоматам,угадывающим как можно лучше, и в то же время имеющим как можноменьше состояний.В <strong>на</strong>чале эксперимента задавалась периодическаяпоследовательность символов <strong>на</strong>д двоичным алфавитом, <strong>на</strong>пример(101110011101) * . На <strong>на</strong>чальной фазе выбирался префикс даннойпоследовательности малой длины. После этого создавалась популяция<strong>автоматов</strong> с небольшим числом состояний (около пяти). Затем каждый из<strong>автоматов</strong> путем одной из пяти мутаций (выбираемой случайным образомравновероятно) производил потомка. Далее <strong>на</strong>д потомком подобнымобразом производилось еще несколько мутаций (их число определялосьслучайным образом). Получившийся в результате мутаций автоматдобавлялся в популяцию. Были допустимы следующие мутации автомата: добавление состояния; удаление состояния (в случае, если число состояний большеединицы); заме<strong>на</strong> <strong>на</strong>чального состояния (в случае, если число состоянийбольше единицы);

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!