抽象機械とはなんですか？

ページ名：抽象機械とはなんですか？

A. 抽象機械とは、計算モデルのうち、チューリングマシンなどのような「機械っぽい」ものを指す語です。具体的には、計算を行うための何らかの「機構」や「手続き」を持ち、それに従って計算を行うことができるモデルのことを指します。抽象機械は、計算理論において重要な役割を果たしており、例えば、計算複雑性理論や計算可能性理論などの研究で利用されます。