如何使用這臺圖靈機？

Question

這是小程序LogiCell 1.0的屏幕截圖，我發現它的鏈接here。

作爲左下角所示，這個正在做總和0+1，其結果是01b（底部右側）。

我無法將所顯示的內容與輸入和輸出相關聯。例如，在這種情況下 - 查看快照，您如何確定輸入是0和1，輸出是01？

Answer 1

從the documentation：

的食管理輸出。如果食者吸收滑翔機，則僅顯示紅色顯示的細胞。這個單元格是輸出。

但也注意到，這是一個短暫的情況下，你必須要對測量，具有一定的週期性。如果在方塊設置後繼續運行自動機，則食者的設計將恢復到原來的形式。從PDF：

爲了設計高效電路，我們需要以某種方式阻止滑翔機流，以​​防止滑翔機「污染」計算空間。有緊湊的穩定模式，稱爲吃食者滑翔機，然後恢復到原來的形式。

由於我們有輸出的兩個比特（MSB和LSB）我突出他們的 「食」/輸出：

A B | A+B 
--------- 
0 0 | 0 0 
1 0 | 0 1 
0 1 | 0 1 
1 1 | 1 0 

MSB = A and B 
LSB = (A or B) and (not (A and B)) 

：

加料是根據布爾操作定義

它是有道理的，你可以計算MSB比LSB更快，因此它可以收集「更早」（靠近屏幕的頂部）。只要觀察模擬，看到當比特應該是1時，相應的食用者就會消耗滑翔機 - 當它們應該爲零時，滑翔機流會在它們到達食者之前停止。

至於如何設置輸入，它確實取決於在輸入構造中是否打開或關閉單個正方形。您可以通過點擊輸入看到自己（說了），然後確定，然後再次單擊它：

（術語注：這是使用某些結構在康威生命遊戲系統以實現一些數學運算，聲稱它可以實現圖靈機可以做的任何計算，這將使其成爲「圖靈完成」並且能夠「通用計算」，但不管法國人說什麼：P它是不是Turing Machine，除非有一維磁帶和狀態轉換圖......磁帶頭一次只能檢查一個符號，左右移動一個磁帶正方形！）