C++ 深入遞歸

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

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