Eva Miranda

Two-dimensional billiards are Turing complete

We show that two-dimensional billiard systems can simulate universal Turing machines. Billiards serve as idealized models of particle motion with elastic reflections and arise naturally as limits of smooth Hamiltonian systems under steep confining potentials, and as an exact refo...