In this paper, we analyze the problem of finding the minimum dimension $n$ such that a closed-form analytic map/ordinary differential equation can simulate a Turing machine over $\mathbb{R}^{n}$ in a way that is robust to perturbations. We show that one-dimensional closed-form analytic maps are sufficient to robustly simulate Turing machines; but the minimum dimension for the closed-form analytic ordinary differential equations to robustly simulate Turing machines is two, under some reasonable assumptions. We also show that any Turing machine can be simulated by a two-dimensional $C^{\infty}$ ordinary differential equation on the compact sphere $\mathbb{S}^{2}$.


翻译:在本文中,我们分析了找到最小维度($n)的问题,这样封闭式分析图/普通差分方程式就可以模拟图灵机超过$\mathb{R ⁇ n}美元,从而能够以强于扰动的方式模拟图灵机。我们显示一维封闭式分析图象足以强力模拟图灵机;但是封闭式分析普通差分方程式用于强力模拟图灵机的最小维度是两个,根据一些合理的假设。我们还显示,任何图灵机都可以用两维的 $C ⁇ infty}普通差异方程式模拟,在紧凑的球体上为$\mathb{S ⁇ 2}美元。

0
下载
关闭预览

相关内容

专知会员服务
79+阅读 · 2021年3月16日
专知会员服务
52+阅读 · 2020年12月14日
专知会员服务
87+阅读 · 2020年12月5日
Linux导论,Introduction to Linux,96页ppt
专知会员服务
82+阅读 · 2020年7月26日
已删除
将门创投
5+阅读 · 2019年4月29日
Arxiv
0+阅读 · 2021年11月23日
Arxiv
6+阅读 · 2018年10月3日
VIP会员
最新内容
军事域更好使用人工智能的实用指南
专知会员服务
8+阅读 · 10月22日
《衡量语言模型中的作战规划能力》
专知会员服务
13+阅读 · 10月20日
Maven智能系统:帕兰提尔军事人工智能平台详解
专知会员服务
15+阅读 · 10月20日
《测试自动化框架在敏捷软件开发中的角色》
专知会员服务
8+阅读 · 10月20日
俄罗斯如何拦截乌克兰无人机与巡航导弹
专知会员服务
12+阅读 · 10月15日
《武器-目标分配问题:精确与近似求解算法》
专知会员服务
16+阅读 · 10月15日
现代电磁战:集成式系统簇时代如何实现频谱优势
相关资讯
已删除
将门创投
5+阅读 · 2019年4月29日
Top
微信扫码咨询专知VIP会员