Turing machine
チューリングマシンには、いわゆるハードウェアに相当するものとして、