language-agnostic - このチューリングマシンの使い方は？

Question

これは、アプレットLogiCell 1.0のスクリーンショットであり、ここで見つけたリンクです。

左下隅に示されているように、これは合計を実行して0+1おり、結果は01b（右下）です。

表示されているものを入力と出力にリンクすることができません。たとえば、この場合-スナップショットを見て、入力が0と1であり、出力がであるとどのように判断します01か？

Answer 1

ドキュメントから：

イーターが出力を管理します。赤く表示されたセルは、イーターがグライダーを吸収した場合にのみアクティブになります。このセルが出力です。

ただし、これは一時的な状況であり、一定の周期で測定する必要があることに注意してください。そのマスが設定された後にオートマタを実行し続けると、イーターは元の形に戻るように設計されています。PDF から:

効率的な回路を設計するには、どうにかしてグライダーの流れを止めて、グライダーが計算空間を「汚染」するのを防ぐ必要があります。グライダーを消費して元の形に戻るイーターと呼ばれるコンパクトな安定したパターンがあります。

2 ビットの出力 (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 の場合、対応するイーターがグライダーを消費することを確認してください。ビットが 0 の場合、グライダー ストリームはイーターに到達する前に停止します。

入力をどのように設定するかについては、実際には、入力構成で 1 つの正方形がオンかオフかによって決まります。これは、入力 (たとえば A) をクリックしてから [OK] をクリックし、もう一度クリックすることで確認できます。