私はビー玉を動力源とする機械式コンピュータを作りました。その理論上の制限は何ですか？

ここ数年、私はビー玉で動く機械式コンピューターを作り、それからゲームを作りました。これは、2つの重要な違いを除いて、古いDigi-Comp IIに似ています。

1. 部品はボード上で再配置可能です。
2. ギアを使用して複数の「ビット」を接続できます。これらのビットの1つが反転すると、それに接続されている他のビットが反転します。

上記のリンクは、それがどのように機能するかを説明しています。私の質問は、その理論的な限界は何ですか？私の理論的なコンピューティングの背景は弱いので、ELI5をお試しください。

編集：私は明らかな制限には興味がありません：速度（そこでレースに勝つことはありません...）、ボードサイズ、またはビー玉の数。私はその理論的な限界にもっと興味があります。多分それはそれを2つの質問に分けるのに役立つでしょう：

1. チューリング完全であることをどのように証明（または反証）できますか？
2. 3つ以上のギアビットが接続されている場合、摩擦が大きくなり、大理石が一度にすべてを回転させることができません。追加の制限はありますか？

ありがとうございます-回答を読んで本当に興奮しています！私はこれについて長い間考えてきました。

あなたが今持っているのは具体的なコンピューターです。適切に形式化されるまで、それを計算モデルと比較することはできません。

私の直感は、ボードはデータフローアーキテクチャとしてモデル化できるということです。このパラダイムに従って考案された計算モデルはチューリング完全である可能性がありますが、（コメントで述べられているように）具体的なコンピューターがチューリングと同等になることはありません。これについて心配する必要はないと思います。すべての実際のコンピューターは、正式な計算モデルの単なる（不完全な）メタファーです。

チューリング相当のデータフローマシンをより厳密に模倣するという考えに出くわした場合、いわば「比喩を強化する」ために対処できるいくつかの問題があります。私の意見では、サイクルとマシンの構成を導入することは2つの最も重要なことですが、あなたのマシンはすでにかなり素晴らしいと思います。それはその目的を非常によく果たし、これらの「改善」はそのユーザビリティを犠牲にする可能性があります。