▽ machne〔数学〕チューリングマシン《計算・自動操作理論で考えられた概念的・仮説的計算機》.