C++ 深入遞歸

到目前為止，我們只學(xué)習(xí)了C++的一個(gè)子集，但是你可能有興趣知道，這個(gè)子集可以算作一個(gè)完整的編程語言，任何可計(jì)算的事物都可以用該子集表達(dá)。任何現(xiàn)有的程序都能通過我們學(xué)過的這些僅有的語言特征來重寫(實(shí)際上，我們還需要一些控制鍵盤、鼠標(biāo)、硬盤等設(shè)備的命令，就這些了)。

證明這個(gè)論斷并不是個(gè)簡單的練習(xí)，最早由阿蘭圖靈完成，他是最早的計(jì)算機(jī)科學(xué)家之一(很多人可能爭辯說他是數(shù)學(xué)家，但是很多早期的計(jì)算機(jī)科學(xué)家都是從數(shù)學(xué)家開始的)。相應(yīng)地，這個(gè)結(jié)論也稱為圖靈理論。如果你選了計(jì)算理論課程的話，你有機(jī)會(huì)看到相關(guān)證明的。