蘭頓螞蟻是由克里斯托夫·蘭頓提出的細胞自動機的例子，這款APP的開發是為了讓用戶們更好的了解蘭頓螞蟻的運行軌跡，用戶可以自行輸入讓螞蟻走的步數，觀察軌跡，驗證這個猜想，平時當一個解壓的娛樂工具來玩玩也不錯。

軟件介紹

蘭頓螞蟻(英語: Langton ant)是細胞自動機的例子。它由克里斯托夫蘭頓在1986年提出,它由黑白格子和一只"螞蚊”構成,是一個二維圖靈機。

蘭頓螞蟻擁有非常簡單的邏輯和復雜的表現。在2000年蘭頓螞蚊的圖靈完備性被證明。蘭頓螞蟻的想法后來被推廣,比如使用多種顏色來驗證。

平時喜歡C語言和編程的小伙伴們可以下載玩一玩。

運動規則

在平面上的正方形格被填上黑色或白色。在其中一格正方形有一只"螞蚊"。它的頭部朝向上下左右其中一方。

若螞蟻在白格,右轉90度,將該格改為黑格,向前移一步。

若螞蟻在黑格,左轉90度,將該格改為白格,向前移一步。

軟件相關

若從全白的背景開始,在一開始的數百步,螞蚊留下的路線會出現許多對稱或重復的形狀然后會出現類似混沌的假隨機,至約一萬步后會出現以104步為周期無限重復的高速公路朝固定方向移動。

在目前試過的所有起始狀態,螞蟻的路線最終都會變成高速公路,但尚無法證明這是無論任何起始狀態都會導致的必然結果。

除了兩種顏色分別讓螞蟻左轉或右轉,也可以定義更多種顏色進行循環。通用的表示方法是用L和R依序表示各顏色是左轉還是右轉,蘭頓螞蚊的規則即可表示為RL。

有些規則會產生對稱或重復的形狀（不信的可以自己動手發掘一下，會有驚喜的）。另外除了用方格,也可以用其他如六角形的格子。

使用測評

一萬步之后有驚喜！！！