ビリヤードボール・コンピュータ
ビリヤードボール・コンピュータは、摩擦のない理想的なビリヤードボールの慣性による等速直線運動と完全弾性衝突による反発が情報を運び論理演算を行う。
論理回路は次のように構成する。ボールの通る道筋が回路にあたり、回線上の信号はボールがその場に存在するかどうかで表される。論理ゲートはボールの道筋の衝突する交点になる。特に、箱やパイプを適切に配置することでトフォリゲートを作ることができ、これを使って他のどのような可逆論理ゲートも構成することができる。つまり、適切に設計すればどのような計算でもビリヤードボール・コンピュータ上で行うことができる。
ビリヤードボール・コンピュータはチューリング完全である。したがって一見単純そうではあるけれども、(停止性問題の証明の方法などと同種の手法を利用することで)複雑なコンピュータでは、ある地点をボールが通過することが起こり得るか起こり得ないかは決定不能かもしれない。