在數學與藝術交匯的領域中,圖靈繪畫(Turing Drawings)作為一個引人入勝的實驗,多年來持續吸引著科技愛好者。這個基於 JavaScript 和 HTML5 的演示程式生成隨機的圖靈機,在二維畫布上產生引人注目的視覺模式,為我們提供了一個窺探計算過程之美的視窗。
從簡單規則到複雜視覺
圖靈繪畫展示了相對簡單的計算規則如何生成令人驚訝的複雜且具有美感的圖案。在各種討論論壇上,使用者們分享著他們發現的特別有趣的配置,從類似分形的結構到resembling自然現象的動畫。該專案允許任何人探索計算中隨機性和確定性的交叉點,一些模式呈現出有組織的結構,而其他則陷入明顯的混沌狀態。
「我發現這非常引人入勝。小規模計算(探索圖靈機行為、元胞自動機等)目前主要被視為愛好者領域內的一種好奇心,但我懷疑隨著我們開發出更好的工具來表徵計算,這種情況會隨著時間的推移而改變。」
Turing Drawings 生成的圖案型別
- Fractal(分形)
- Scan(掃描)
- Matrix(矩陣)
- Movement(運動)
- Computation(計算)
- Complex(複雜)
- Quads(四邊形)
- Fins(鰭狀)
- Blades(刀片狀)
- Chaos(混沌)
- Rapids(急流)
- Filler(填充)
- Seizures(抽搐)
- Spill(溢位)
- Pangaea(泛大陸)
- Shooting Stars(流星)
- Holes(洞)
社群增強與靈感
原始專案已經啟發了眾多分支和類似專案。一位社群成員透過增加額外功能增強了原始版本,包括評級和共享機器、可變模擬速度和可調整的畫布大小。其他人則建立了自己的實現,採用不同的方法,例如基於堆疊的表示式,這使得設計特定影像更容易,但代價是計算靈活性降低。
社群討論揭示了這些看似簡單的計算玩具如何既作為娛樂,又作為對數學概念的深入探索。許多使用者分享了他們喜愛的配置連結,建立了一個非正式的有趣模式目錄,從有機外觀的急流到長時間觀看會產生光學錯覺的配置。
社群討論中提到的類似專案
- IBNIZ
- https://c50.fingswotidun.com/ (基於棧的表示式方法)
- https://tixy.land/
- https://www.dwitter.net
- https://susam.net/cfrs.html (僅使用6個命令的海龜圖形)
- https://susam.net/fxyt.html (基於棧的36條指令)
計算理論的實踐
對於技術思維的人來說,圖靈繪畫之所以特別引人入勝,是因為它展示了計算理論中的基本概念。關於某些配置是否會達到靜態狀態的討論觸及了計算機科學中著名的停機問題。一些評論者指出,雖然這些技術上是有限狀態機(因為磁帶是有限的),但預測它們的行為仍然具有挑戰性。
該專案還與元胞自動機和 Stephen Wolfram 的計算系統分類進行了比較。使用者觀察到,最有趣的配置是那些在大尺度上展示模式,同時在微觀層面繼續不可預測地演變的配置——這是 Wolfram 將其歸類為複雜系統的特徵。
對於那些有興趣探索藝術與計算這一迷人交叉點的人來說,圖靈繪畫仍然可以在網上免費獲取,活躍的社群繼續發現和分享新的模式。無論是作為數學好奇心、藝術工具,還是計算概念的教學輔助工具,它都提供了一個獨特且易於訪問的視窗,讓人們看到簡單演算法規則可以產生的美。