In this paper we define a class of mechanical systems consisting of rigid objects (defined by linear or quadratic surface patches) connected by frictional contact linkages between surfaces. (This class of mechanisms is similar to the analytical engine developed by Babbage in the 1800s, except that we assume frictional surfaces instead of toothed gears.) We prove that a universal Turing Machine (TM) can be simulated by a (universal) frictional mechanical system in this class consisting of a constant number of parts. Our universal frictional mechanical system has the property that it can reach a distinguished final configuration through a sequence of legal movements if and only if the universal TM accepts the input string encoded by its initial configuration. There are two implications from this result. First, the robotic mover's problem is undecidable when there are frictional linkages. Second, a mechanical computer can be constructed that has the computational power of any conventional electronic computer and yet has only a constant number of mechanical parts.
Previous constructions for mechanical computing devices (such as Babbage's analytical engine) either provided no general construction for finite state control or the control was provided by electronic devices (as was common in electromechanical computers such as Mark I subsequent to Turing's result). Our result seems to be the first to provide a general proof of the simulation of a universal TM via a purely mechanical mechanism.
In addition, we discuss the universal frictional mechanical system in the context of an error model that allows an error up to $\epsilon$ in each mechanical operation. We first show that, for a universal TM M, a frictional mechanical system in this $\epsilon$-error model can be constructed such that, given any space bound S, the system can simulate the computation of M on any input string $\omega$ if M decides $\omega$ in space bound S, provided that $\epsilon < 2^{-cS}$ for some constant c. We also show that, for any universal TM M and space bound S, there exists a frictional mechanical system in the $\epsilon$-error model with $\epsilon = \Omega(1)$; it has O(S) parts and can simulate M on any input $\omega$ that M decides in space bound S.
[1]
Jean-Claude Latombe,et al.
Motion planning in the presence of moving obstacles
,
1992
.
[2]
John F. Canny,et al.
New lower bound techniques for robot motion planning problems
,
1987,
28th Annual Symposium on Foundations of Computer Science (sfcs 1987).
[3]
Yong K. Hwang,et al.
Practical path planning among movable obstacles
,
1991,
Proceedings. 1991 IEEE International Conference on Robotics and Automation.
[4]
John E. Hopcroft,et al.
Movement Problems for 2-Dimensional Linkages
,
1984,
SIAM J. Comput..
[5]
Gordon T. Wilfong,et al.
Motion planning in the presence of movable obstacles
,
1988,
SCG '88.
[6]
Hongyan Wang,et al.
The complexity of the two dimensional curvature-constrained shortest-path problem
,
1998
.
[7]
Jürgen Sellen,et al.
Lower Bounds for Geometrical and Physical Problems
,
1996,
SIAM J. Comput..
[8]
Michael A. Erdmann,et al.
On a Representation of Friction in Configuration Space
,
1994,
Int. J. Robotics Res..
[9]
John H. Reif,et al.
Complexity of the mover's problem and generalizations
,
1979,
20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
[10]
Zheng Sun,et al.
Movement Planning in the Presence of Flows
,
2003,
Algorithmica.
[11]
Paul G. Spirakis,et al.
Strong NP-Hardness of Moving Many Discs
,
1984,
Inf. Process. Lett..
[12]
E. J.,et al.
ON THE COMPLEXITY OF MOTION PLANNING FOR MULTIPLE INDEPENDENT OBJECTS ; PSPACE HARDNESS OF THE " WAREHOUSEMAN ' S PROBLEM " . * * )
,
2022
.
[13]
Tetsuo Asano,et al.
d1-optimal motion for a rod (extended abstract)
,
1996,
SCG '96.
[14]
J. Schwartz,et al.
On the Complexity of Motion Planning for Multiple Independent Objects; PSPACE- Hardness of the "Warehouseman's Problem"
,
1984
.
[15]
John F. Canny,et al.
Some algebraic and geometric computations in PSPACE
,
1988,
STOC '88.
[16]
Rachid Alami,et al.
Motion planning for a robot and a movable object amidst polygonal obstacles
,
1992,
Proceedings 1992 IEEE International Conference on Robotics and Automation.