チューリングマシン

ラムダ計算	ラムダ計算, チューリングマシン
万能チューリングマシン	万能チューリングマシン, チューリングマシン, アラン・チューリング
計算可能性理論	理論, 計算可能性理論, チューリングマシン