CellularAutomaton

• rule の可能な形：

• CellularAutomaton[{n, k}, ...]はCellularAutomaton[{n, {k, {k^2, k, 1}}}, ...]に等しい．

• 2Dのセルオートマトンの一般的な形：

• セルオートマトンの可能な規則の数は次の通りである．

• 一般に，initと進化のリストの全要素はゼロからまでの整数である．

• 一般関数または置換えリストが用いられる場合は，initと進化のリストの要素は任意の式でよい． »

• 明示的な置換規則のlhs_i->rhs_iにはパターンが含まれている．

• 1次元のセルオートマトンの場合，置換規則や明示的な関数fun は常に近傍の1次元のリストに適用されると解釈される．近傍が明示的なオフセットで指定されている場合，その近傍はオフセットの順に与えられる．

• 多次元セルオートマトンにおける近隣が{r₁, r₂, ...}のような範囲指定で定義されている場合，近傍のリストは次元が2{r₁, r₂, ...}+1の完全配列であると解釈される．

• 多次元セルオートマトンの近傍がオフセットの明示的なリストで指定されている場合，その近傍は1次元のリストにオフセットの順序で与えられる．

• 明示的な関数fun が与えられた場合，この関数の第1引数は近傍のリストである．第2引数は0から始まるステップ数である．

• {rule, kspec, rspec, s}で指定されるs次のセルオートマトンでは，各ステップがs 個前のステップに依存する．

• 初期条件は以下のようにinit によって設定される．

• aspec の第1要素は，各座標で原点に対して正の方向に最初の位置で背景に重ねられる．つまり，bspec[[1, 1, ...]]はaspec[[1, 1, ...]]と並ぶことになる．

• CellularAutomaton[rule, init, t]は，長さの進化リストを生成する．

• s 次のセルオートマトンについては，init がシステムの進化における最初のs ステップを与えるリストである．

• {tspec, xspec, ...}における時間指定tspec は次のようにできる．

• 初期条件はステップ0であると考えられる．

• CellularAutomaton[rule, init, {tspec}]は，xspec にデフォルトのAutomaticを使う．

• 空間指定xspec は次のようにできる．

• 1次元ではaspec の最初の要素はデフォルトで空間オフセット0を持つとされる．

• 何次元であっても，aspec[[1, 1, 1, ...]]はデフォルトで空間オフセット{0, 0, 0, ...}を持つとされる．

• CellularAutomatonで作成される進化リストの各要素は常に同じサイズである．

• 幅 のaspec によって指定される初期条件により，領域 の規則を持つセルオートマトンの ステップ後に影響を受ける領域は幅になる．

• 背景bspec が指定されていなければ，AllとAutomatic空間オフセットはaspec にあるすべてのセルを含む．

• Allの空間オフセットは初期条件の影響を受けるすべてのセルを含む．

• Automaticの空間オフセットはセルオートマトンのパターンの側面から背景をカットするために使うことができる．

• どれくらいの領域を保持すればよいかを決める際，Automaticはoff_t で指定したステップの結果のみを使う．

• CellularAutomaton[rule][init]は，CellularAutomaton[rule, init]と等価である．