主張：數學領域之一的計算理論，電腦科學家爲了對計算進行嚴謹的研究會使用圖靈機。
領域：其他
判定：supports