Изменения
Нет описания правки
==Определения==
{{Определение|definition=
'''Клеточным автоматом'''(КА) <tex>A</tex> размерности <tex>d</tex> называется четверка <tex><{Z^d}, S, N, \delta></tex>, где
* <tex>S</tex> {{---}} конечное множество, элементы которого являются состояниями <tex>A</tex>.
* <tex>N</tex> {{---}} конечное упорядоченное подмножество <tex>Z^d</tex>, <tex>N=\{{n_j}|{n_j}=(x_{1_j}, \dots, x_{d_j}), j \in \{1 \dots n\}\}</tex>, называемое '''окрестностью''' (''neighborhood'') <tex>A</tex>.
{{Определение|definition=
''Состоянием покоя'' (quiescent state) называется такое состояние автомата <tex>q_0</tex>, что если автомат перешел в состояние <tex>q_0</tex>, то на следующем шаге он также будет находиться в состоянии <tex>q_0</tex>.
}}
{{Определение|definition=
''Спокойной клеткой'' (quiescent cell) назовем клетку, автомат в которой перешел в состояние покоя.
}}
{{Определение|definition=
''Конфигурацией'' (configuraton) <tex>c_i</tex> КА называется распределение состояний автоматов по клеточному пространству, где <tex>i</tex>--- шаг, после которого была получена конфигурация.
Начальная конфиграция---<tex>c_0</tex>.
}}
{{Определение|definition=
''Поддержкой'' (support) конфигурации <tex>c</tex> называется множество спокойных клеток в ней. Обозначается <tex>sup(c)</tex>.
}}
{{Определение|definition=
Конфигурация называется ''пассивной''(passive), если <tex>c = sup(c)</tex>.
}}
{{Определение|definition=Конфигурации называются ''непересекающимися'' (disjoint), если их поддержки не пересекаются как множества.}}
