抽象機械
抽象機械()とは、計算モデルのうち、チューリングマシンなどのような「機械っぽい」ものを指す語である。