量子チューリングマシンと言うのが定式化されている。