セル・オートマトン

セル・オートマトン（、略称：CA）とは、格子状のセルと単純な規則による、離散的計算モデルである。

計算可能性理論、数学、物理学、複雑適応系、数理生物学、微小構造モデリングなどの研究で利用される。非常に単純化されたモデルであるが、生命現象、結晶の成長、乱流といった複雑な自然現象を模した、豊かな結果を与えることが知られている。

正確な発音に近いセルラ・オートマトンとも呼ばれることがある。セルは「細胞」「小部屋」、セルラは「細胞状の」、オートマトンは「からくり」「自動機械」を意味する。他に「セル空間」「埋め尽くしオートマトン」「」「」「」といった呼称もある。

 基本的なモデル 
セル・オートマトンは、有限種類の（多くは2から数十種類の）状態を持つセル（細胞のような単位）によって構成され、離散的な時間で個々のセルの状態が変化する。その変化は、ある時刻 t においてのセルの状態、および近傍のセルの内部状態によって、次の時刻t+1 、すなわち新たな「ジェネレーション」（世代）での各セルの状態が決定される。

初期状態（時刻 t=0）は、各セルの状態を設定することで選択される。次の世代（t が1進んだ状態）は、事前に設定された「規則」（一般に何らかの数学的関数）に従って初期状態でのそのセルおよび近傍の状態から決定される。セルの状態を更新する規則は一般にどのセルでも同一であり、途中で変更されず、並んでいる全セルに同時に適用される。ただしや非同期セル・オートマトンは例外である。

2次元の(つまり面状の)セル・オートマトンの例として、無限に広がる方眼紙を考える。方眼紙のひとつのマス目がセルにあたる。それぞれのセルは「黒」と「白」の2つの内部状態をもつ。セルの「近傍」とは、そのセルの周辺のセル群であり、通常は隣接するセルを指す。近傍には、四方を近傍とすると八方を近傍とするという2種類の典型的な定義がある。前者はセル・オートマトンの考案者の名を冠しており、直交して接する4つのセルを近傍とする。後者はフォン・ノイマン近傍を含み、さらに斜め方向の4つのセルも加えた中心のセルを囲む8つのセルの状態を考慮する。ムーア近傍の場合、それら9つのセルが取ることができる状態は全部で29 = 512個存在する。セル・オートマトンの時間発展の様子を表すルールは表で与えられる。すなわち次の時間ステップ（ t+1 ）で、中心のセルが「黒」「白」いずれになるかは、現在の時間ステップ（ t ）でとり得る512個のパターンそれぞれについての一覧表により決定される。ライフゲームはこのモデルの有名な例である。もう1つのよく知られている近傍の定義として「拡張フォン・ノイマン近傍」があり、直交する4方向それぞれの最も近い2つのセルを近傍とし、全部で8つのセルを近傍とする。セルがとりうる状態数を k、次の状態を決定するのに使われる近傍のセル数（自身も含める場合がある）を s とすると、このようなシステムの規則は kks という式で表される。したがって2次元のシステムでムーア近傍の場合、考えられるオートマトンの総数は 229 または  となる。

例えば1次元セル・オートマトンでは、時刻（ステップ）を t、位置を i としたとき、セル i の時刻 t における状態 xit は、時刻 t-1 における近傍の状態（例えば {xi−1t−1, xit−1, xi+1t−1}）に依存して決定される。

2次元のセル・オートマトンで最も有名なものがライフゲームである。ライフゲームは以下のようなルールで記述される。
 誕生: 死んでいるセル（「白」）の周囲に3つの生きているセル（「黒」）があれば次の時間ステップでは生きる（「黒」になる）。 
 維持: 生きているセル（「黒」）の周囲に2つか3つの生きているセル（「黒」）があれば次の世代でも生き残る（「黒」のままである）。 
 死亡: 上以外の場合には次の世代では死ぬ（「白」になる）。
このライフゲームのルールは細菌などの生物の繁殖のアナロジーである。すなわち、孤独でも人口過密でも死んでしまう。最も快適な人口密度では子孫を残し繁栄する性質を持つ。実際、ライフゲームは生物の増殖のような複雑で多様な振舞いを示す。

一般に各セルは同じ状態から開始し、一部の有限個のセルだけがそれ以外の状態から開始する。これを「コンフィギュレーション」と呼ぶ。また、全体が周期的なパターンを形成し、一部がそのパターンから外れた状態で開始する場合もある。後者は1次元のセル・オートマトンでは一般的である。

多くのセル・オートマトンのシミュレーションでは有限の格子を使う。2次元の場合、無限の平面ではなく、有限の四角形で表される。有限の格子での明らかな問題は端のセルの扱いであり、端のセルの扱いが格子全体のセルの状態に影響を与えるため重要な問題である。1つの手法は、端のセルを全て変化しない定数を状態として持つとする手法である。別の手法は端のセルの近傍を一般のセルとは違う内容にする手法である。つまり、端のセルの近傍を通常より少なく定義できるが、その場合は規則も新たに定義する必要がある。別の手法として、2次元の場合に四角形の平面の端の上下と左右を繋げて、トーラス形にする手法もある。これは、ある意味で無限の平面が同じ四角形で平面充填されている状態に近い。1次元であれば、線の端を繋いでループにする空間に相当する。これは端の問題を回避するために行うが、モジュロ演算関数を使って容易にプログラム可能という利点もある。

 歴史 
1940年代にロスアラモス国立研究所で働いていたスタニスワフ・ウラムは結晶の成長について研究していたとき、モデルとして単純な格子ネットワークを使用していた。同じころロスアラモスで一緒に働いていたジョン・フォン・ノイマンは自己複製機械を研究していた。フォン・ノイマンはまず、あるロボットの記述に基づいて別のロボットの記述を行うという設計を考えていた。この設計は運動学モデル（Kinematic model）と呼ばれているJohn von Neumann, “The general and logical theory of automata,” in L.A. Jeffress, ed., Cerebral Mechanisms in Behavior – The Hixon Symposium, John Wiley & Sons, New York, 1951, pp. 1-31.John G. Kemeny, “Man viewed as a machine,” Sci. Amer. 192(April 1955):58-67; Sci. Amer. 192(June 1955):6 (errata).。設計を進めるに連れ、フォン・ノイマンは、複製を作るための「部品の海」をロボットに与えることのコストの膨大さやあるロボットが別のロボットを作るということを記述する大変さを徐々に理解していった。ノイマンは1948年の Hixon Symposium にて "The general and logical theory of automata" と題した論文を読む。またウラムはフォン・ノイマンに自己複製の還元主義的モデルとして離散系を使ってはどうかと示唆した。Nils Aall Barricelli はそういったモデルを使って人工生命を研究していた。

1950年代、ウラムとノイマンは液体の動きを計算する方法を生み出した。その中心となった考え方は液体を離散的単位の集まりとみなすということで、各単位の動作をその近傍の挙動に基づいて計算する。それらが元となってセル・オートマトンが生まれた。ウラムの格子ネットワークのように、は2次元で、その中に自己複製機械がアルゴリズム的に埋め込まれた。これがであり、近傍として隣接する4つのセルのみ（ノイマン近傍）を考慮し、1つのセルあたり29の内部状態を持っている。このモデルで彼は自己複製機械として動作するパターンを20万個のセルを使ってデザインし、それが無限に自己複製を繰り返すことを数学的に証明した。この設計は平面充填モデルとして知られている。1968年、エドガー・F・コッドは 8 状態で自己複製を繰り返すコッドのセル・オートマトンを考案している。

同じく1940年代、ノーバート・ウィーナーとがセル・オートマトンを開発しのモデルに採用した。その具体的な目的は、心筋におけるインパルス伝導の数学的説明であった。その業績は不整脈や興奮性媒質についての後の研究でよく引用されている。

1960年代、セル・オートマトンは力学系の特殊形として研究され、数学の一分野であると関連して研究され始めた。1969年、はその観点で数多くの成果をまとめ、それがセル・オートマトンの数学的研究における重要な論文とされている。

1969年、ドイツのコンピュータのパイオニアの1人であるコンラート・ツーゼは、著書 Calculating Space の中で、宇宙の物理法則は本質的には離散的であり、宇宙全体が一種の巨大なセル・オートマトン上の決定的な計算の結果であると主張した。この著書が今日デジタル物理学と呼ばれている分野の基礎を築いた。

1970年代、2状態で2次元のセル・オートマトンであるライフゲームが特にコンピュータコミュニティでよく知られるようになった。ジョン・コンウェイの発明によるもので、マーティン・ガードナーがサイエンティフィック・アメリカン誌（日本では日経サイエンス誌）で紹介したことで有名となったのである。ライフゲームは単純だが、システムとして興味深い挙動を示し、ランダム性と規則性の間で変動する。ライフゲームの最も顕著な特徴として「グライダー」（格子を横断して移動していくセル群）が頻繁に発生することが挙げられる。グライダーをうまく配置すると一種の相互作用が生まれる。長年の研究により、ライフゲームがチューリングマシンをエミュレートできることが判明したPaul Chapman. Life universal computer. November 2002。この発見は当時の主流な学術研究において大きく取り上げられることは少なかった。

1981年、熱力学第二法則に反するように見える自然界の様々な複雑なパターンを検討していたスティーブン・ウルフラムは、セル・オートマトンの研究を始めた。当初の動機はセル・オートマトンで神経ネットワークなどのシステムをモデリングできるのではないかというものだった。1983年6月、Reviews of Modern Physics 誌にて（特にルール30）についての最初の論文を発表。ウルフラムは、単純な規則で示される振る舞いの予期せぬ複雑さを見て、自然界の複雑さも同様の機構によって生まれているのではないかと考えた。しかし、彼の研究によってセル・オートマトンは神経ネットワークのモデリングには貧弱すぎることが判明した。さらにウルフラムは真の無作為性との概念を定式化し、がチューリング完全であると推測した（1990年代にウルフラムの助手 Matthew Cook がそれを証明した）。

ウルフラムは1980年代中盤以降に学界を去ってMathematicaを開発し、彼のそれまでの研究結果を広い範囲の単純で抽象的な系に拡張して適用するのに Mathematica を使った。2002年、ウルフラムはそれらの成果を1280頁の著書 A New Kind of Science として発表した。この中でセル・オートマトンがあらゆる科学にとって重要な関わりを持つことを主張している。一部で誤解されているように、同書は物理法則がセル・オートマトンに基づいているとは言っていない（ツーゼとは異なる）が、セル・オートマトンに基づいた物理モデルをいくつか記述しており、他にも各種抽象系に基づいたモデルを示している。

 分類 
ウルフラムはあらゆる1次元のセル・オートマトンの時間発展の仕方を調べ上げ、セル・オートマトンを含む単純な計算モデルの4つのクラスを定義した。それまでのセル・オートマトンの研究では、パターンの種類から規則群を分類する傾向があったのに対して、ウルフラムの分類は規則自体を分類する最初の試みだった。4つのクラスは次の通りである。
 クラス1 - 秩序状態。ほぼ全ての初期状態で素早く安定した均質な状態になる。初期状態に無作為性があっても消滅する。
 クラス2 - 周期状態。ほぼ全ての初期状態で素早く安定状態または周期的に振動する状態になる。初期状態の無作為性は消滅する場合もあるが、残存する場合もある。初期状態を部分的に変更した場合、その影響は局所的となる傾向がある。
 クラス3 - カオス状態。ほぼ全ての初期状態でセル全体がランダムな変化を続ける。安定した構造が現れても、すぐに周囲のノイズによって破壊される。初期状態の部分的変更は全体に拡散していく傾向がある。
 クラス4 - ほぼ全ての初期状態で規則的なパターンとランダムなパターンが共存し、複雑なパターンを形成する。局所的に形成された構造は長期間存続することができる。
秩序状態であるクラス1、クラス2は新しい変化を生み出さない、いわば死んだ世界である。カオス状態であるクラス3はランダムすぎて、意味のある情報を生み出すことができない。ウルフラムは秩序状態とカオス状態の間にあるクラス4の様な状態こそが、生命現象などの現実世界で見られる複雑な現象を引き起こす源だと考えた。この研究は、複雑系と呼ばれる新しい科学分野の発展に寄与した。

これらの定義は質的なもので、その解釈には若干の幅がある。ウルフラムは「どんな一般分類体系でも、ある定義ではこのクラスになるが、別の定義では別のクラスになるというケースが必然的に存在する。セル・オートマトンでもそれは変わらない。あるクラスの特徴と別のクラスの特徴を備えた規則群は時として存在する」としている。ウルフラムの分類は、セル・オートマトンの出力を圧縮した長さの分類と経験的に合致している。

CulikとYuによって、ウルフラムの4つのクラスの算術的階層における位置が証明されている。クラス1と2は-完全、クラス3は-完全に所属する。

ウルフラムの分類に触発され、CAを形式的に厳密に分類しようとする試みもなされてきた。例えば、CulikとYuは3つのwell-definedなクラス（そしてそれらのどれにも分類されない4番目のクラス）を提案した。これを Culik-Yu クラスなどと呼び、ある規則群がどのクラスに属するかの判定は決定不能だと証明された。

 可逆型 
現在状態から1つ前の状態（プレイメージ）が一意に求められるセル・オートマトンを「可逆的」(reversible) であるという。セル・オートマトンを状態から状態への関数と考えると、可逆性はその関数が全単射であることを意味する。可逆型のセル・オートマトンは、時間を遡った際の挙動もセル・オートマトンとして記述できる。これは、セル・オートマトンを位相幾何学的に説明したの帰結である。可逆でない有限のセル・オートマトンには、どんな状態からも絶対生成（到達）できない配置が存在する。そのような配置を「エデンの園配置」と呼ぶ。換言すれば、エデンの園パターンにはプレイメージが存在しない。

1次元のセル・オートマトンについては、プレイメージを探すアルゴリズムが知られていて、各ルールについて可逆的かそうでないかは既に判明しているSerafino Amoroso, Yale N. Patt, Decision Procedures for Surjectivity and Injectivity of Parallel Maps for Tessellation Structures. J. Comput. Syst. Sci. 6(5): 448-464 (1972)。2次元以上のセル・オートマトンについては、任意のルールの可逆性は決定不能であることが証明されている。Jarkko Kari による証明は、ワンのタイルのタイル並べ問題と関連している。

可逆型セル・オートマトンは、熱力学の法則に従う気体や液体の力学現象のシミュレーションに使われることが多い。その場合のセル・オートマトンは特別に可逆性を持つよう設計される。この種のシステムの研究者としてトマソ・トフォリやらがいる。意識的に可逆型セル・オートマトンを作る手法はいくつか存在する。やがそれで、どちらもセル・オートマトンの定義に何らかの修正を施す。これらは厳密には上に挙げたようなセル・オートマトンの定義から外れているが、十分に大きな近傍と多数の状態を持つ従来型のセル・オートマトンでエミュレートできることが判っており、従来型のセル・オートマトンのサブセットと見なすことができる。逆に全ての可逆型セル・オートマトンはブロック・セル・オートマトンでエミュレートできる。

 総和型 
特殊なセル・オートマトンとして、総和型 (totalistic) セル・オートマトンがある。総和型セル・オートマトンでの各セルの状態は数値で表され（通常、有限個の整数値）、時刻 t におけるセルの値は、時刻 t−1 における近傍（自身も含むこともある）のセル群の値の総和だけに依存して決定される。時刻 t におけるセルの状態が自身の t−1 での状態に依存する場合、そのようなセル・オートマトンを「外部総和型」(outer totalistic) と呼ぶ。ライフゲームは、値として 0 と 1 をとる外部総和型のセル・オートマトンの例である。同じく外部総和型でムーア近傍だが、規則をライフゲームとは変えたセル・オートマトンを欧米では "life-like" と呼ぶ"life-like cellular automaton" という用語の初出は少なくとも  まで遡るが、この文献では外部総和型全般をそのように呼んでおり、2次元に限定していない。 - こちらはより限定的な意味で "life-like" と呼んでいる。。

 その他 
CAの概念は様々な拡張が可能である。

例えば、矩形の格子ではなく別の多角形を使うという拡張がある。例えば六角形を平面に敷き詰めたとき、個々の六角形をセルとして扱うことができる。多くの場合そのようなセル・オートマトンは、矩形格子で近傍と規則をうまく調整したものと等価である。他にもペンローズ・タイルのような平面充填で格子を形成することもできるhttps://www.newscientist.com/article/dn22134-first-gliders-navigate-ever-changing-penrose-universe/。

また、規則を決定的なものではなく確率的なものにする拡張もある。そのようなCAをと呼ぶ。この場合、時刻 t のパターンから時刻 t+1 のとりうる各パターンの遷移確率が確率的規則により指定される。もっと単純な規則を使うこともあり、例えば「基本的にライフゲームの規則に従うが、毎回0.001%の確率で本来とは反対の色になる」といった規則を設定する。

時間や場所によって近傍の定義や規則を変化させるという拡張もある。例えば、最初の世代では水平方向の隣接したセルを近傍とするが、次の世代では垂直方向の隣接するセルを近傍とする、といった具合である。

CAでは、あるセルの新たな状態は、他のセルの新たな状態に影響されない。この原則を変更することもできる。

と呼ばれるものもある。総和型と似ているが、規則や状態が離散値ではなく連続な値（一般に単位区間の値）を用いる。つまり、セルの状態は有限個の実数で表される。例えば、液体における拡散パターンのモデルなどに使われる。

Continuous spatial automata では位置が連続的である。ある位置の状態は有限個の実数である。時間も連続的に推移し、状態は微分方程式にしたがって変化する。重要な例として反応拡散系があり、アラン・チューリングはシマウマの縞模様やヒョウのドット模様を生み出した化学反応を説明する微分方程式を提案した。そのようなパターンをCAで近似的に生成することも可能である。continuous spatial automata でライフゲームのグライダーのような現象が生じる例も知られているPivato, M: "RealLife: The continuum limit of Larger than Life cellular automata",  Theoretical Computer Science, 372 (1), March 2007, pp.46-68。

 1次元セル・オートマトン 
最も単純だが自明ではないCAは、1次元で各セルは2つの状態をとることができ、近傍は両側に接している隣のセルという場合である。あるセルとその両側の3つのセルで近傍を構成するので、1つの近傍がとりうるパターンは 23=8 種類となる。規則はそれらパターンについて、そのセルが次世代に1と0のどちら状態となるかを決定する。したがって規則群の組合せは 28=256 通り存在する。それら256種類のCAは一般にウルフラムが考案した0から255までのルール番号で参照され、これをウルフラム・コードと呼ぶ。これら256種類のCAはいくつかの論文で研究・比較されている。ルール30とのCAは特に興味深い。下図は、1カ所だけ1にした初期状態からのそれらCAの変化の様子を示している。図の各行がCAの1世代の履歴であり、一番上の行が t =0 である。各ピクセルは、0を白、1を黒で描画している。

ルール30セル・オートマトン
thumb

現在の状態 111  110  101  100  011  010  001  000中央のセルの次の状態 0 0 0 1 1 1 1 0

ルール110セル・オートマトン
thumb

現在の状態 111  110  101  100  011  010  001  000中央のセルの次の状態 0 1 1 0 1 1 1 0

例えば「ルール30」と呼ばれるのは、上の表のように時刻t+1における中央のセルの内部状態一覧を並べると0,0,0,1,1,1,1,0となっており、この2進数の数を10進数に直すと30であるためであり、これをウルフラム・コードと呼ぶ。

ルール30は「クラス3」の挙動を示し、単純な初期状態からもカオス的な経過を示し、無作為な履歴になっている。

ルール110はライフゲームのように「クラス4」の挙動を示し、完全な無作為でもなく、完全な反復でもない。局所的構造が現れ、様々な複雑な形で相互作用する。1994年ウルフラムの研究助手だったマシュー・クックは、それら構造の一部がチューリング完全性をサポートするのに十分であることを証明した。ルール110は非常に単純な1次元のシステムであり、具体的なことを実行するよう設計するのは困難であるため、この成果は興味深い。この結果からウルフラムはクラス4のセル・オートマトンが本質的にチューリング完全である可能性を示唆した。1998年、セル・オートマトンの学会がサンタフェ研究所で開催され、クックはその成果を発表したが、ウルフラムは  の出版前にその証明の詳細を公表したくなかったため、証明の詳細は発表されなかった。2004年、Cookの証明がウルフラムの発行する雑誌 Complex Systems (Vol. 15, No. 1) で発表された。実に証明してから10年が経過している。ルール110をベースとして極小の万能チューリングマシンが構築されている。

ルール90
また、ルール90の1次元セル・オートマトンは典型的なフラクタル図形であるシェルピンスキーのギャスケットを生成する。（でルール90を見る→rule 90）

現在の状態中央のセルの次の状態<tr><td>0<td>0<td>0<tr><td><td>0<td><tr><td>0<td>0<td>1<tr><td><td>1<td><tr><td>0<td>1<td>0<tr><td><td>0<td><tr><td>0<td>1<td>1<tr><td><td>1<td><tr><td>1<td>0<td>0<tr><td><td>1<td><tr><td>1<td>0<td>1<tr><td><td>0<td><tr><td>1<td>1<td>0<tr><td><td>1<td><tr><td>1<td>1<td>1<tr><td><td>0<td>

 生物学における例 
一部の生物学的過程はセル・オートマトンでシミュレートできる。

イモガイやガクフボラといった貝の貝殻の模様はセル・オートマトンの描くパターンによく似ている。貝殻の辺縁に狭い帯状に色素細胞がある。各色素細胞は活性化されると色素を分泌し、同時に近傍の色素細胞の活性化を阻害するようになっており、天然のセル・オートマトンの規則のように作用する。この色素細胞の帯が貝殻に色の模様を残しつつ、少しずつ貝殻が成長していく。例えば、イモガイの一種タガヤサンミナシはウルフラムが研究したルール30CAとよく似た模様である。

植物はCA的機構で気体の吸入と排出を行っている。葉に多数存在する気孔がセル・オートマトンのセルのように振る舞う。

頭足類は表皮に色素胞があり、体表の模様を変化させるが、これを2状態で2次元のセル・オートマトンでシミュレートできる。各状態は色素胞を広げた状態と縮めた状態に対応するhttp://gilly.stanford.edu/past_research_files/APackardneuralnet.pdf。

神経細胞をシミュレートするしきい値型CAが考案されており、認知や学習といった複雑な挙動をシミュレートできる。

線維芽細胞もセル・オートマトンと似た挙動を示す。個々の線維芽細胞はその近傍の細胞としか相互作用しない。

 化学における例 
ベロウソフ・ジャボチンスキー反応はセル・オートマトンを使ってシミュレートできる。1950年代、A・M・ジャボチンスキーはソ連のの研究成果をさらに進め、マロン酸、酸化した臭素酸塩、セリウム塩の混合物の薄い均一な層を置いておくと、同心円や渦巻き模様などの幾何学的模様が生じることを発見した。1988年8月、サイエンティフィック・アメリカン（日本では日経サイエンス）誌上の "Computer Recreation" という記事でA. K. Dewdney, The hodgepodge machine makes waves, Scientific American, p. 104, August 1988.、A. K. Dewdney はベロウソフ・ジャボチンスキー反応に非常によく似た挙動を示すセル・オートマトンを紹介したM. Gerhardt and H. Schuster, A cellular automaton describing the formation of spatially ordered structures in chemical systems, Physica D 36, 209-221, 1989.。ベロウソフ・ジャボチンスキー反応が、分子レベルでそのセル・オートマトンと同じような仕組みで発生しているのかどうかは不明である。BZ反応のように、非生物系でセル・オートマトン的なパターンを示す化学反応が（実験室外の）自然界で観察された例は知られていない。

 物理における例 
ソリトンのようなふるまいを見せる、箱玉系（ボール・ボックス・システム）と呼ばれるセル・オートマトンがある。これは1次元の格子（箱）に有限個の「玉」を配置し、玉が一定の規則に従って隣の箱へ移動するモデルである。この系では、複数の玉の集団が安定したパルス（ソリトン）として振る舞い、ソリトン同士が衝突しても、互いに形を崩さずにすり抜ける（ただし位相のシフトは生じる）といった、ソリトン特有の性質が離散系において厳密に再現されるDaisuke Takahashi and Junkichi Satsuma, “A soliton cellular automaton”, J. Phys. Soc. Japan 67 (1998), 1809-1810.。

 応用 
 並列コンピュータ 
離散的(非連続的)時間で記述され、時刻t+1における1つのセルの内部状態は、時刻tにおける状態によって決定されるといった点で、セル・オートマトンはチューリングマシンとよく似ている。実際、万能チューリングマシンと等価な動作をするセル・オートマトンが存在することが知られている。しかし、チューリングマシンは「逐次的な処理を行うデジタルコンピュータ」のモデルであるのに対し、セル・オートマトンは各セルが並列に演算処理を実現しており、いわば "並列コンピュータ" であるという点で大きく異なる。

セル・オートマトンの概念をハードウェアで実装して情報処理を行おうとする試みも行われている。処理要素は格子状に配置され、2次元か3次元の平面充填構造とされる。それ以外の並べ方も可能だが、まだ試されたことはない。各処理要素（すなわちセル）は隣接する少数のセルだけとやり取りする。遠いセルとの直接通信手段は存在しない。セルの相互作用には、電荷、磁化、振動などの物理的な手段を使う。いずれにしても各処理要素間を結線する必要はない。これは、今日のノイマン型コンピュータのプロセッサとはかなり違う。

例えばはCAプロセッサアレイの一例である。

 創発計算と進化的アルゴリズム 
センサーネットワークやさらに微細な構造をネットワークとして設計し、分散処理を行わせることに関心が集まっている。分散システムを使い大域的なレベルで情報処理するという考え方から創発計算というアイデアが生まれたThe Evolution of Emergent Computation, James P. Crutchfield and Melanie Mitchell (SFI Technical Report 94-03-012)。ポートランド州立大学の教授でサンタフェ研究所にも所属しているhttp://www.santafe.edu/about/people/profile/Melanie%20Mitchellは、そのために自己進化するセルの格子を使うアイデアに取り組んでいる。ミッチェルらはセル格子のプログラムに進化的アルゴリズムを採用しているThe Evolutionary Design of Collective Computation in Cellular Automata, James P. Crutchfeld, Melanie Mitchell, Rajarshi Das (In J. P. Crutch¯eld and P. K. Schuster (editors), Evolutionary Dynamics|Exploring the Interplay of Selection, Neutrality, Accident, and Function. New York: Oxford University Press, 2002.)。分散型システムにおける計算は古典的なコンピュータとは大きく異なり、大域的および局所的なパターンの変化という形で情報処理がなされる。

この手法の発想の元になっているのは、社会性昆虫、神経系、経済システムといった自然界に見られる複雑なシステムである。研究の焦点は、進化する分散型システムでいかにして計算が発生するかを解明することである。モデルを構築しどのようにして創発計算が生じるかを解明するため、ミッチェルらはセル・オートマトン内のパターンを進化させるべく遺伝的アルゴリズム (GA) を適用した。既にGAによって洗練された創発計算戦略が生じる規則を発見しているEvolving Cellular Automata with Genetic Algorithms: A Review of Recent Work, Melanie Mitchell, James P. Crutchfeld, Rajarshi Das (In Proceedings of the First International Conference on Evolutionary Computation and Its Applications (EvCA'96). Moscow, Russia: Russian Academy of Sciences, 1996.)。ミッチェルらが採用したのは1次元2値で6個の近傍を持つセル・オートマトンである。先頭と末尾は繋がっているので、環状になっている。

 乱数 
2次元セル・オートマトンを擬似乱数発生に使った例がある。

 暗号 
ルール30は、ブロック暗号に応用可能という提案がある。Wolfram, S. "Cryptography with Cellular Automata", In Advances in Cryptology: CRYPTO '85 Proceedings [Williams, H. C. (Ed.)]. Lecture Notes in Computer Science 218. Springer-Verlag, 429–432, 1986.

セル・オートマトンを公開鍵暗号に使うという提案もある。"Cellular Automaton Public-Key Cryptosystem", Complex Systems, Vol. 1, No. 1 (1987).

 誤り訂正符号 
セル・オートマトンを誤り訂正符号の設計に応用した例として、D. Roy Chowdhury、S. Basu、I. Sen Gupta、P. Pal Chaudhuri の論文 "Design of CAECC - Cellular Automata Based Error Correcting Code" がある。この論文ではセル・オートマトンを使って SEC-DED符号（1ビット誤り訂正-2ビット誤り検出符号）を構築する新たな手法が定義されており、その符号の高速ハードウェアデコーダも報告されている。

 物質世界の基盤のモデルとしてのCA 

Andrew Ilachinski は著書 Cellular Automata で、多くの学者が宇宙自体がセル・オートマトンなのではないかという疑問を投げかけていると指摘した。Ilachinskiは、この問題の重要性を示すには簡単な観察をしてみるのがよいと主張し、例えばの発展するパターンをどうやったらうまく説明できるか考えてみるのがよいとした。そして、もしそのイメージの生成方法を知らないとしたら、何らかの粒子状のオブジェクトの運動の軌跡ではないかと推測するだろうと述べている。実際、物理学者 James Crutchfield はその考え方から厳密な数学的理論を構築したJ. P. Crutchfield, "The Calculi of Emergence: Computation, Dynamics, and Induction", Physica D 75, 11-54, 1994.。この考え方を推し進めていくと、素粒子物理学で説明されている我々の世界も根底ではCAと見なせるのではないかという考え方に到達する。

その考え方に沿った理論はまだ発展途中だが、この仮説に興味を惹かれた学者らが離散的フレームワークで世界を理解することについて興味深い憶測と有益な直観を示している。AI研究者マービン・ミンスキーは、4次元CA格子で素粒子の相互作用を理解する方法を研究したM. Minsky, "Cellular Vacuum", International Journal of Theoretical Physics 21, 537-551, 1982.。コンピュータの先駆者コンラート・ツーゼは、素粒子の持つ情報についての問題を解くため、不規則な格子を考案したK. Zuse, "The Computing Universe", Int. Jour. of Theo. Phy. 21, 589-600, 1982.。またエドワード・フレドキンは "finite nature hypothesis" と名付けた仮説を提唱。「最終的に時間や空間を含む全ての物理量は離散的で有限だと判明するだろう」としたE. Fredkin, "Digital mechanics: an informational process based on reversible universal cellular automata", Physica D 45, 254-270, 1990。フレドキンとウルフラムはデジタル物理学の支持者である。

21世紀に入ると、非標準計算についての著作からこの考え方に沿った示唆が生まれている。ウルフラムの A New Kind of Science では、CAが物理学を含めた様々な主題を理解する鍵だとしている。（Francesco Berto が創始し、Gabriele Rossi と Jacopo Tagliabue が発展させた）iLabsiLabsが2010年に出版した Mathematics Of the Models of Reference では「菱形十二面体」をベースとする格子と独特の規則で2次元および3次元の宇宙を説明するモデルを提案している。このモデルはチューリングマシンと等価であり、完全な可逆性を有し（様々な量を保存し、情報を決して失わない）、宇宙の発展についての質的な論述を計算できる論理が組み込まれているF. Berto, G. Rossi, J. Tagliabue, The Mathematics of the Models of Reference, College Publications, 2010。

 デザイン・アート 
 フランシス・ビトンティは、ライフゲームのアルゴリズムを使用して靴のデザインを自動生成する手法を発表した。この手法では、生成プロセスごとに色のグラデーションやフォルムがわずかに異なるデザインが生み出されるhttp://www.dezeen.com/2014/09/26/francis-bitonti-3d-printed-molecule-shoes-adobe-stratasys/。

 ポップカルチャーにおけるセル・オートマトン 
 『NUMBERS 天才数学者の事件ファイル』シーズン2のエピソード「誘拐事件の真相」にて、1次元セルオートマトンへの言及がある。
 エリック・レイモンドはハッカー文化のシンボルとして、ライフゲームのグライダーを描いたエンブレムを提案したthe Hacker Emblem page on Eric S. Raymond's site。
 グレッグ・イーガンの小説『順列都市』（早川文庫）では、オートヴァースと呼ばれる人工生命シミュレータが登場する。
 ウィル・マッカーシイの小説 Bloom では、セル・オートマトンを論じている。
 ロバート・J・ソウヤーの WWW 三部作ではセル・オートマトンが重要な役割を演じ、ウェブ上の人工生命が意識を獲得する方法に関係しているhttp://www.sfwriter.com/syw1.htm。

 具体例 
 コッドのセル・オートマトン
 ライフゲーム
 ラングトンのループ
 ラングトンのアリ
 ワイヤワールド
 非同期セル・オートマトン

 脚注 

 参考文献 

 『アインシュタインの部屋』上・下 - エド・レジス著／大貫昌子訳　工作舎　ISBN 978-4-87502-171-1・ISBN 978-4-87502-172-8
 『コンピューターレクリエーションI 遊びの発想』 - A.K.デュードニー著 別冊サイエンス32
 『哲学者クロサキと工学者アイハラの神はカオスに宿りたもう』 - 合原 一幸、 黒崎 政男 共著
 『箱玉系の数理』 - 時弘哲治 朝倉書店

Cellular automaton FAQ from the newsgroup comp.theory.cell-automata
A. D. Wissner-Gross. 2007. Pattern formation without favored local interactions, Journal of Cellular Automata 4, 27-36 (2008).
"Neighbourhood Survey" 三角格子や大きな近傍のセル・オートマトンなどを論じている
 von Neumann, John, 1966, The Theory of Self-reproducing Automata, A. Burks, ed., Univ. of Illinois Press, Urbana, IL.
『自己増殖オートマトンの理論』- フォン・ノイマン著 岩波書店
Cosma Shalizi's Cellular Automata Notebook 書誌情報が豊富
Wolfram's papers on CAs
"History of Cellular Automata" from Stephen Wolfram's A New Kind of Science 
 Wolfram, Stephen, 1985, Cryptography with Cellular Automata, CRYPTO'85. 
 A.M. Turing. 1952. The Chemical Basis of Morphogenesis. Phil. Trans. Royal Society, vol. B237, pp. 37 – 72. - 連続的オートマトンの一種を提唱している。
 Evolving Cellular Automata with Genetic Algorithms: A Review of Recent Work, Melanie Mitchell, James P. Crutchfeld, Rajarshi Das (In Proceedings of the First International Conference on Evolutionary Computation and Its Applications (EvCA'96). Moscow, Russia: Russian Academy of Sciences, 1996.)
 The Evolutionary Design of Collective Computation in Cellular Automata, James P. Crutchfeld, Melanie Mitchell, Rajarshi Das (In J. P. Crutch¯eld and P. K. Schuster (editors), Evolutionary Dynamics|Exploring the Interplay of Selection, Neutrality, Accident, and Function. New York: Oxford University Press, 2002.)
The Evolution of Emergent Computation, James P. Crutchfield and Melanie Mitchell (SFI Technical Report 94-03-012)
Ganguly, Sikdar, Deutsch and Chaudhuri "A Survey on Cellular Automata"
Zuse´s publications on CA-based physics (1967, 1969, 1970), with comments by Juergen Schmidhuber
 Klaus  Sutner. 1989. A  Note on Culik-Yu Classes Complex Systems  3 (1989) 107-115.

 関連項目 
 オートマトン
 λパラメータ
 パーコレーション
 格子ボルツマン法
 格子気体法
 光速 (セル・オートマトン)
 ドゥッチ数列
 一斉射撃問題
 群知能

 外部リンク 

Mirek's Cellebration - フリーなセル・オートマトン探索ソフトウェア MCell（Windows）と MJCell（Javaアプレット）のホームページ。1次元と2次元の各種セル・オートマトンをサポートしたソフトウェア。ルールとイメージも豊富にある。ソースコードもある。
Modern Cellular Automata - 各種2次元セル・オートマトンが見られる（Javaアプレット）。
Self-replication loops in Cellular Space - 自己複製ループのJavaアプレット
Cellular Automata - セル・オートマトンのアプレット群がある (Monash University's Virtual Lab)
Golly ライフゲームをはじめとする各種セル・オートマトンのシミュレータ。フォン・ノイマンのセル・オートマトンもシミュレートできる。
Wolfram Atlas – 各種1次元セル・オートマトンの一覧
Conway Life
First replicating creature spawned in life simulator
The Mathematics of the Models of Reference
Fourmilab Cellular Automata Laboratory
Busy Boxes, a 3-D, reversible, SALT-architecture CA

*
Category:研究の計算分野
Category:数学に関する記事
Category:ジョン・フォン・ノイマン
Category:スタニスワフ・ウラム
Category:ロボット制御