聖塔非研究所 連續時間計算的上限與下限 2026-03-18 · 工作論文 · 更新 2026/03/18 下午07:56 摘要 我們考慮香農通用模擬計算機的各種擴展和修改，香農通用模擬計算機是連續時間微分方程的計算模型。我們證明了幾個經典計算類別具有自然的模擬對應物，包括原始遞歸函數、初等函數、Grzegorczyk 層次結構的層級以及算術和分析層次結構。 原文連結PDF 來源 本頁只刊出中文翻譯與中文說明；英文原文請見下方原文連結。 原文連結 原文連結 PDF 來源 論文資訊 類型：工作論文 編號：工作論文 #879 日期：2026-03-18 摘要 我們考慮香農通用模擬計算機的各種擴展和修改，香農通用模擬計算機是連續時間微分方程的計算模型。我們證明了幾個經典計算類別具有自然的模擬對應物，包括原始遞歸函數、初等函數、Grzegorczyk 層次結構的層級以及算術和分析層次結構。