チャーチ＝チューリングのテーゼ
Aside from a Turing machine, other equivalent (See: Church–Turing thesis) models of computation are in use.