终止康托尔集字符串重写系统

问题描述

我在字符串重写系统中设置的 Cantor 可以很容易地用这两个规则创建

A : A B A
B : B B B

导致

A
A B A
A B A B B B A B A
...

这个系列如何在字符串重写系统中终止？例如，如果我想将前四次迭代声明为 1 1 1 1 = ，其中 = 是终止符号。

我想到的一个想法是书写头，它从右向左移动，从 1 = 开始。为了让书写头停止，我用

在两侧添加了边界

= : L R
1 L : L 1

然而，到目前为止，我所有的努力都导致一团糟，因为尽管我采用了写作方法，但行为仍然是不确定的。

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）