Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > 数学とアルゴリズム > 計算システム > CellularAutomaton >
Mathematica > 数学とアルゴリズム > 離散数学 > 計算システム > CellularAutomaton >

CellularAutomaton

CellularAutomaton
指定した条件でセルオートマトンを初期条件 init から t ステップ実行した進化を表すリストを生成する.
CellularAutomaton
1ステップ分の init の進化の結果を返す.
CellularAutomaton
tspec等で指定された進化の部分だけを返す.
CellularAutomaton[rule, init, {t, All, ...}]
t ステップの間に影響を受けるであろうすべてのセルを各ステップに含む.
  • rule の可能な形:
n, ルール番号 n の初期ルール
{n,k}k 色の一般的な最近傍ルール
{n,k,r}k 色で範囲 の一般ルール
{n,k,{r1,r2,...,rd}}d 次元の 近傍ルール
{n,k,{{off1},{off2},...,{offs}}} 指定のオフセットの近傍ルール
{n,k,rspec,s}s 次ルール
{n,{k,1}}k 色の最近傍の総和型ルール
{n,{k,1},r}k 色で範囲 r の総和型ルール
{n,{k,{wt1,wt2,...}},rspec}近傍 i に重み が割り当てられているルール
{lhs1->rhs1,lhs2->rhs2,...}近傍のリストの明示的置換え
{fun,{},rspec}各近傍のリストに適用する一般関数 fun
bfun近傍集合に適用するブール関数
  • 2Dのセルオートマトンの一般的な形:
{n,{k,1},{1,1}}9近傍の総和型ルール
{n,{k,{{0,1,0},{1,1,1},{0,1,0}}},{1,1}}
5近傍の総和型ルール
{n,{k,{{0,k,0},{k,1,k},{0,k,0}}},{1,1}}
5近傍の外部総和型ルール
  • セルオートマトンの可能な規則の数は次の通りである.
初期ルール256
1D一般ルール
1D総和型ルール
2D一般ルール
2D 9近傍総和型ルール
2D 5近傍総和型ルール
2D 5近傍外部総和型ルール
  • 一般に,initと進化のリストの全要素はゼロからまでの整数である.
  • 一般関数または置換えリストが用いられる場合は,initと進化のリストの要素は任意の式でよい. »
  • 明示的な置換規則のにはパターンが含まれている.
  • 一次元のセルオートマトンの場合,置換規則や明示的な関数 fun は常に近傍の一次元のリストに適用されると解釈される.近傍が明示的なオフセットで指定されている場合,その近傍はオフセットの順に与えられる.
  • 多次元セルオートマトンにおける近隣がのような範囲指定で定義されている場合,近傍のリストは次元がの完全配列であると解釈される.
  • 多次元セルオートマトンの近傍がオフセットの明示的なリストで指定されている場合,その近傍は一次元のリストにオフセットの順序で与えられる.
  • 明示的な関数 fun が与えられた場合,この関数の第1引数は近傍のリストである.第2引数は0から始まるステップ数である.
  • 完全なルール指定は,BooleanVariables[bfun]が整数 v を返す場合は,純ブール関数 bfun であるとみなされる.この場合,bfun は各ステップの v 個のセルの近傍に適用される.近傍は左側のCeiling個のセルまで拡張される.
  • で指定される 次のセルオートマトンでは,各ステップが 個前のステップに依存する.
  • 初期条件は以下のように によって設定される.
{a1,a2,...}周期的であると考えられる,値 の明示的なリスト
{{a1,a2,...},b}背景 に重ねられた値
{{a1,a2,...},{b1,b2,...}}, , ... の反復である背景に重ねられた値
{{{{a11,a12,...},off1}, {{a21,...},off2},...},bspec}
背景上のオフセット の値
{{a11,a12,...},{a21,...},...}二次元の値の明示的リスト
{aspec,bspec}d 次元で 次元のパディングを伴う値
  • aspec の第1要素は,各座標で原点に対して正の方向に最初の位置で背景に重ねられる.つまり,と並ぶことになる.
  • s 次のセルオートマトンについては,init がシステムの進化における最初の ステップを与えるリストである.
  • における時間指定 は次のようにできる.
t0からt までの全ステップ
{t}t ステップしか含まないリスト
{{t}}ステップ t のみ
{t1,t2} から までのステップ
{t1,t2,dt}ステップ , , ...
  • 初期条件はステップ0であると考えられる.
  • 空間指定 は次のようにできる.
All指定された初期条件に影響されるすべてのセル
Automatic領域内の背景と異なるすべてのセル
0aspec の始めと並んでいるセル
x右側に最大 x のオフセットを持つセル
-x左側に最大 x のオフセットを持つセル
{x}右側に x のオフセットを持つセル
{-x}左側に最大 x のオフセットを持つセル
{x1,x2} から までのオフセットを持つセル
{x1,x2,dx}, , ... のセル
  • 一次元では aspec の最初の要素はデフォルトで空間オフセット0を持つとされる.
  • 何次元であっても,はデフォルトで空間オフセットを持つとされる.
  • CellularAutomatonで作成される進化リストの各要素は常に同じサイズである.
  • aspec によって指定される初期条件により,領域 の規則を持つセルオートマトンの ステップ後に影響を受ける領域は幅 になる.
  • 背景 bspec が指定されていなければ,AllAutomatic空間オフセットは aspec にあるすべてのセルを含む.
  • Allの空間オフセットは初期条件の影響を受けるすべてのセルを含む.
  • Automaticの空間オフセットはセルオートマトンのパターンの側面から背景をカットするために使うことができる.
  • どれくらいの領域を保持すればよいかを決める際,Automatic で指定したステップの結果のみを使う.
ルール30を2ステップ実行する:
0を背景とし単一の1から始めて50ステップ実行する:
ルール30を2ステップ実行する:
In[1]:=
Click for copyable input
Out[1]=
 
0を背景とし単一の1から始めて50ステップ実行する:
In[1]:=
Click for copyable input
Out[1]=
初期ルール73:
3色ルール679458:
3色総和型ルール,コード867:
範囲 (左に2近傍,右に1近傍)の2色ルール23898:
一般範囲 ルール:
の総和型ルール(コード10):
近隣のセルに明示的なオフセットを与えることによって指定されたルール30:
オフセットを変更したルール30に類似の規則:
2近傍のルール:
近隣セルに明示的な重みを与えることで指定したルール30:
3色の総和型ルール:
総和型ルールでは,近隣の各オフセットが重み1を持つ:
3色の外部総和型ルール:
近傍に明示的な置換を与えてルール90を指定する:
単一の「代数的な」置換規則を与えることでルール90を指定する:
TrueおよびFalseという状態に作用する明示的なブール公式をルール30に適用する:
セルオートマトン中の値は任意の記号式でよい:
範囲1の近傍に適用する規則として任意の記号関数を使う:
オフセットがの近傍に関数を適用する:
「パスカル(Pascal)の三角形のセルオートマトン」を設定する:
明示的な関数としてルール90を指定する:
4を法とした付加的なセルオートマトン:
関数の第2引数はステップ数である:
連続するステップで規則を変更する.はステップ数である:
セルの連続する値を使う:
ルール90を純ブール関数として指定する:
ルール90の の類推は純ブール関数を使って指定される:
明示的な初期条件は循環的であると想定される:
最も左側のセルの左近傍は最も右側のセルであり,逆もまた真である:
ランダムな初期条件:
0に囲まれたブロック1101からなる「シード」から始める:
1に囲まれた単独の0から始める:
10個のブロックを繰り返す背景上の111から始める:
「シード」を疎な配列として指定する:
SparseArrayを使って完全に循環的な初期条件を与える:
オフセットのブロック101とオフセットのブロックから始める:
進化の2ステップ:
別の形:
第2ステップのみを含むリスト:
リストにはない第2ステップ:
50番目から80番目までのステップ:
初期条件はステップ0である:
0番目から100番目まで,3つおきのステップを示す:
デフォルトで,CellularAutomatonはパターンでカバーされない範囲を自動的に削除する:
これと等価の形:
規則の枠組みを与えられると影響を受ける可能性があるすべてのセルを含む:
背景とは違う範囲だけを含む:
影響を受ける可能性があるすべてのセルを含ませる:
デフォルトで,規則が違うと与えられる範囲の幅も異なる:
同じ型のすべての規則が同じ幅の範囲を与えるように強制する:
影響を受ける可能性がある範囲は規則の範囲による:
セル0(最初の1の位置)からセル40までの範囲だけを示す:
負の位置は左になる:
各ステップがセル0だけからなる範囲を与える:
セル0の値だけを含み,リストには含まれない:
時間と空間で1つおきのセルだけを示す:
セル0は常に,初期条件の明示的部分で最も左側になる:
有限ブロックを反復して位置からまでの初期条件の範囲を埋める:
範囲1の2D(9近傍)総和型コード14を2ステップ実行する:
2ステップ後の結果だけを与える:
30ステップ後の結果を示す:
各セルの平均色を示す:
各1セルの位置で立方体を示す:
オフセット0で におけるすべての の値についての50ステップの時空スライス:
特定の の位置におけるすべてのセルの平均的な色:
5近傍総和型ルール:
5近傍外部総和型ルール:
疎な配列内で指定された2つの黒いセルを持つ初期条件を使う:
3D最近傍総和型セルオートマトン:
ルール30は明示的に「一階ルール」として書き出される:
初期条件の2ステップを含むルール30に相当する二階ルール:
出力に両方の初期条件ステップを含む:
二階ルール1008は,両方の初期条件ステップで単一の1から始まる:
初期条件に両方のステップを含む:
2色,範囲1の二階総和型ルール10:
同じ規則を12階にしてみる:
ルール150R—二階の反転可能な2を法とする規則:
2色範囲1の二階総和型ルールの時空スライス:
同じ規則のステップ50:
ルール30の1ステップの進化の結果を与える:
上とは別の形:
単一ステップを3回繰り返す:
3ステップの進化の結果を与える:
繰り返される背景に囲まれた中央部分として結果を与える:
ルール45は1ステップの後1による背景を与える:
ルール45の単一ステップを繰り返す:
ルール30のカラー画像を作成する:
最初の32の初歩的セルオートマトンの画像を作成する:
2色で範囲が2の総和型コード20のセルオートマトンを一連の初期条件から示す:
異なる初期条件での3色で範囲が3の総和型コード1599の結果を示す:
各パターンの端を3つの0で充填する:
単一の進化を複数の「パネル」で示す:
各セルを厳密に1画素で表して,ルール30の200ステップを示す:
ルール30の中央列のセルの値から「ランダム」ウォークを作成する:
連続する幅の循環的領域におけるルール90の繰返し周期を求める:
サイズ7の領域でルール110の状態遷移のグラフを描く:
初期条件が1ビット異なる2つのセルオートマトンについて異なるパターンを生成する:
共通の進化は灰色で示す:
「人生ゲーム」の「グライダー」を示す:
「人生ゲーム」の「汽車ぽっぽ」の進化を示す:
ランダムな初期条件からの「人生ゲーム」,平均100ステップ:
平均した時空スライス:
2Dの9近傍ルールの連続によって生成したパターン:
中央セルの値:
2Dセルオートマトンの進化を球体を使って3Dで描画する:
3Dセルオートマトンの進化におけるステップの連続を示す:
3Dセルオートマトンの高さの連続におけるスライスの時間平均を示す:
パスカル(Pascal)の三角形を構築する:
複素整数の乗算に基づいたセルオートマトン:
3を法とする加法規則を代数的に簡約する:
メッシュラインを含む:
セルにラベルを付ける:
セルの中央列をハイライトする:
ステップのセルオートマトンの進化のリストの長さは になる:
明示的なリストとして与えられた初期条件は循環的であるとみなされる:
可能なすべてのタプルから始まる中央セルはルール番号の桁数を与える:
デフォルトでは,各進化のリストは必要な長さにしか作成されない:
{t, All}を使って,特定の型のすべての規則について同じ長さのリストを得る:
背景と異なるセルがない場合は,自動的に選ばれた範囲は常に空白となる:
代替となる背景を持つ規則は,0だけを含むリストを与えることができる:
進化が2ステップ続けられた場合は,1ステップの結果に明示的な1が含まれる:
この形式では,背景指定が含まれる:
デフォルトでは,各進化は必要なだけの広さしか持たない:
{t, All}を使って一定の幅にする:
CellularAutomatonのセルとステップは,その部分番号によって番号を付けられる訳ではない:
オフセットが異なる順番で指定されると,ルール番号も異なる意味を持つ:
バージョン 4.2 の新機能 | バージョン 7 での修正機能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
フォーマット:   HTML  |  CDF