“活”过来的经典计算机——马尔科夫重写系统.pdfVIP

tougao4@ 信息技术课 啊！我想到了——信息技术课程内容设计集锦 “活”过来的经典计算机 ——马尔科夫重写系统 陈凯 上海市位育中学 如果有一台机器，它所做的事 ＞1b、a1-＞1a、[1-＞[0。注意在替换 看出，第一步，[0a]变成了[ab0]，第 情十分单一，就是把一个符号串中 时，优先匹配靠前的规则，也就是 二步后变成了[ab1]，第三步后变成 的一些字符替换成另外一些，反复 说，替换时先看写在前面的规则， 了[a1b]，一直做下去会有什么结果 替换后，这台机器就能实现通用计 若前面的规则没能匹配到，再一 呢？仔细观察后可知，当符号“0” 算。换句话说，人们给通用计算机 条条规则往后看。 和“[”碰到一起时，字符a和b的总 编写的程序，都可以移植到这台简 如果初始的字符串是[0a]，那么 数量分别是1、1、2、3、5、8、13、 单的字符替换机器上。这听上去 会有怎样的结果？如果人工来替换 21……这就是斐波拉契数列。这六 让人惊讶，但基于马尔科夫算法 实在太辛苦，所以可以借用马尔科 条替换规则，其实就生成了斐波拉 (Markov algorithm)的字符串重写 夫算法模拟机Yad Studio来进行实 契数列。 系统（String Rewriting System） 验，这款软件（如图1）可在网络上 如果说不愿意去一个一个地数 证明，这不仅在理论上可行，而且 免费下载到。马尔科夫当年构建这 字符的数量，还可以试试另外一套 若真的想用这个系统来编写程序 个重写系统的时候，可没有那么方 规则，把字符数量以数码的形式显 实现特定任务，也不是特别难的事 便的工具可使用。 示出来，接下来的程序会将“[”和 情。这个系统在理论计算科学的发 图1中代码第1行T={[，a， “]”之间的“a”的数量转化成二进 展历史中具有很重要的意义。 b，0，1，]}其实规定了可用的符号，从 制数。将规则写到Yad Studio中是 为了方便大家理解，这里先举 第2行到第7行就是替换规则。可以 图2所示的样子。 一个简单的例子。 如第72页图3所示，第1行规 假设有一个字符串， 定了可用符号，第2行规定了替换 它只能由“[”“a” 结束的条件。如果初始字符串是 “b”“0”“1”“]” [*aaaaaaaaaa]，那么替换了25步后 这六个符号组成， 按以下规则替换： 若看到“0a”就替换 成“ab0”，简写成 0a-＞ab0，另外几 条规则分别是0b- ＞a0、0]-＞1]、b1- 图1 图2 （下转第72页） MAR 2017