本頁只刊出中文翻譯與中文說明；英文原文請見下方原文連結。
原文連結
論文資訊
- 類型：工作論文
- 編號：工作論文 #1218
- 日期：2026-03-18
摘要
簡介 元胞自動機 (CA) 是分散的、空間擴展的系統，由大量具有局部連接性的簡單相同組件組成。此類系統有潛力以高度的效率和穩健性執行複雜的計算，以及對自然界中複雜系統的行為進行建模。由於這些原因，CA 和相關架構在自然科學、數學和計算機科學領域中得到了廣泛的研究。它們已被用作物理和生物現象的模型，例如流體流動、星系形成、地震和生物模式形成。它們被認為是可以證明形式屬性的數學對象。它們已被用作並行計算設備，用於科學模型的高速模擬和影像處理等計算任務。此外，CA 已被用作研究複雜系統中緊急合作或集體行為的抽像模型。有關所有這些領域的論文集，請參見 Burks (1970a)； Fogelman-Soulie、Robert 和 Tchuente (1987)； Farmer、Toffoli 和 Wolfram (1984)；福雷斯特（1990）；古托維茲（1990）； Jese、J1984)。在本章中，我將回顧與 CA 中的計算相關的選定主題。該演示將假設您具備計算理論的基本知識，包括形式語言理論和可計算性。