蘭頓螞蟻(Langtons ant)

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

軟件介紹

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

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

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

運動規(guī)則

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

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

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

軟件相關(guān)

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

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

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

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

使用測評

一萬步之后有驚喜�。�！