Computational Power of Particle Methods
share
The computational power of a compute model determines the class of problems it can solve. Automata theory allows describing the computational power of abstract machines (automata) and the problems they can solve. At the top of the Chomsky hierarchy of formal languages and grammars are Turing machines, the most powerful automata, which resemble the concept on which most modern computers are built. Here, we investigate the computational power of particle methods, a well-established class of algorithms with applications in scientific computing and computer simulation. Although particle methods can be interpreted as automata based on their formal definition, their computational power has so far not been studied. We address this by analyzing Turing completeness of particle methods. In particular, we prove two sets of restrictions under which a particle method is still Turing complete, and we show when it loses Turing completeness. This contributes to understanding the theoretical foundations of particle methods and provides insight into the powerfulness of computer simulations.
READ FULL TEXT