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

如何解决终止康托尔集字符串重写系统

我在字符串重写系统中设置的 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

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