チューリングマシン
チューリングマシン () は、アラン・チューリングが「計算可能性」に関する議論のために提示した抽象機械である。