C++ 深入遞歸

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

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