主張：數學領域之一的計算理論，爲了對計算進行嚴謹的研究會使用圖靈機。
領域：工程與科技
判定：supports