Метод синтеза генераторов детерминированных тестов на сетях клеточных автоматов (СКА)

дипломная работа

1.2 Основные свойства классической модели клеточных автоматов

Отметим основные свойства классической модели клеточных автоматов.

1 Локальность правил. На новое состояние клетки могут влиять только элементы её окрестности и, возможно, она сама.

2 Однородность системы. Ни одна область решётки не может быть отличена от другой по каким-либо особенностям ландшафта, правил и т.п. Однако на практике решётка оказывается конечным множеством клеток (ведь не возможно выделить неограниченный объём данных). В результате могут иметь место краевые эффекты, клетки стоящие на границе решётки будут отличны от остальных по числу соседей. Во избежание этого можно ввести краевые условия, завернуть решётку в тор или, например, лист Мёбиуса.

3 Множество возможных состояний клетки - конечно. Это условие необходимо, чтобы для получения нового состояния клетки требовалось конечное число операций.

4 Значения во всех клетках меняются единовременно, в конце итерации, а не по мере вычисления. В противном случае порядок перебора клеток решётки, при совершении итерации, существенно влиял бы на результат. Необходимо отметить, что на практике, при решении определённых задач, возникает потребность в том, чтобы отказаться от последних трёх свойств. Поэтому выше было оговорено, что это - свойства "классических" клеточных автоматов.

сеть клеточный автомат мониторинг

Делись добром ;)