是否可以構建一個編程給定API的圖靈機？

Question

我想知道，是有可能定義一個API，並給它作爲輸入提供給一個TM圖靈機和輸出將在c代碼或任何其它天然/編程語言？

我不這樣想，但我怎麼還原等表現出來正式？

Answer 1

你的問題好像是問是否可以寫一個程序（換句話說，圖靈機），在程序規範需要（你正在撥打的是「API」），並在一些編程輸出程序語言。答案是「當然」。我們來看幾個例子。

1. 比方說，我寫我的輸入規格爲C計劃，我想輸出程序C.我把這種圖靈機程序「複製」，我可以平凡實現它在任何語言（或使用在命令行中輸入cp命令）。

2. 比方說，我寫我的輸入規格爲C程序，我想在輸出彙編代碼的程序。我把這個圖靈機程序稱爲「編譯器」，我可以用任何語言來實現它（或者你可以下載一個已經存在的C編譯器）。

3. 假設我用英文編寫輸入規範，並且想用C語言輸出程序。我把這個圖靈機程序稱爲「軟件工程師」，然後通過將人類送到學校來實現它（或者您可以聘請現有的軟件工程師）。

這裏的道德是圖靈機可以做任何人類可以做的事（人類可以做任何圖靈機可以做的事）。但編寫一個與人類一樣通用的計算機程序確實很難。