10.3969/j.issn.1674-2117.2017.05.015
"活"过来的经典计算机——马尔科夫重写系统
如果有一台机器,它所做的事情十分单一,就是把一个符号串中的一些字符替换成另外一些,反复替换后,这台机器就能实现通用计算.换句话说,人们给通用计算机编写的程序,都可以移植到这台简单的字符替换机器上.这听上去让人惊讶,但基于马尔科夫算法(Markov algorithm)的字符串重写系统(String Rewriting System)证明,这不仅在理论上可行,而且若真的想用这个系统来编写程序实现特定任务,也不是特别难的事情.这个系统在理论计算科学的发展历史中具有很重要的意义.
经典计算机、马尔科夫、字符串重写系统、机器、通用、理论、计算科学、程序实现、符号串、定任务、证明、移植、算法、历史
TP3;G64
2017-04-10(万方平台首次上网日期,不代表论文的发表时间)
共3页
31,72,110